Christoph Redl
According to our database1,
Christoph Redl
authored at least 35 papers
between 2011 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
2011
2012
2013
2014
2015
2016
2017
2018
2019
0
1
2
3
4
5
6
7
8
9
1
3
4
2
1
1
1
8
2
1
6
3
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2019
2018
Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access.
J. Artif. Intell. Res., 2018
2017
Proceedings of the Reasoning Web. Semantic Interoperability on the Web, 2017
Proceedings of the Practical Aspects of Declarative Languages, 2017
Proceedings of the Practical Aspects of Declarative Languages, 2017
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017
Efficient Evaluation of Answer Set Programs with External Sources Based on External Source Inlining.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017
2016
The dlvhex system for knowledge representation: recent advances (system description).
Theory Pract. Log. Program., 2016
Theory Pract. Log. Program., 2016
Angry-HEX: An Artificial Player for Angry Birds Based on Declarative Knowledge Bases.
IEEE Trans. Comput. Intell. AI Games, 2016
Problem Solving Using the HEX Family.
Proceedings of the Computational Models of Rationality, 2016
Proceedings of the 23rd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2016 (RCRA 2016) A workshop of the XV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2016), 2016
2014
J. Artif. Intell. Res., 2014
Artif. Intell., 2014
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014
2013
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013
Proceedings of the Declarative Programming and Knowledge Management, 2013
Proceedings of the Workshop Popularize Artificial Intelligence co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), 2013
Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013
2012
Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012
Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012
Proceedings of the 13th ACM/IEEE International Conference on Grid Computing, 2012
2011
Proceedings of the Practical Aspects of Declarative Languages, 2011
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2011