Christoph Redl

According to our database1, Christoph Redl authored at least 35 papers between 2011 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Inlining External Sources in Answer Set Programs.
Theory Pract. Log. Program., 2019

2018
The DLVHEX System.
KI, 2018

Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access.
J. Artif. Intell. Res., 2018

Technical Report: Inconsistency in Answer Set Programs and Extensions.
CoRR, 2018

2017
Answer Set Programming with External Source Access.
Proceedings of the Reasoning Web. Semantic Interoperability on the Web, 2017

Extending Answer Set Programs with Interpreted Functions as First-Class Citizens.
Proceedings of the Practical Aspects of Declarative Languages, 2017

Integrating Answer Set Programming with Object-Oriented Languages.
Proceedings of the Practical Aspects of Declarative Languages, 2017

Explaining Inconsistency in Answer Set Programs and Extensions.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017

Answer Set Programs with Queries over Subprograms.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017

Conflict-driven ASP Solving with External Sources and Program Splits.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

On Equivalence and Inconsistency of Answer Set Programs with External Sources.
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

A model building framework for answer set programming with external computations.
Theory Pract. Log. Program., 2016

Angry-HEX: An Artificial Player for Angry Birds Based on Declarative Knowledge Bases.
IEEE Trans. Comput. Intellig. and AI in Games, 2016

Domain expansion for ASP-programs with external sources.
Artif. Intell., 2016

Problem Solving Using the HEX Family.
Proceedings of the Computational Models of Rationality, 2016

Automated Benchmarking of KR-systems.
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
Efficient HEX-Program Evaluation Based on Unfounded Sets.
J. Artif. Intell. Res., 2014

FLP answer set semantics without circular justifications for general logic programs.
Artif. Intell., 2014

Exploiting Support Sets for Answer Set Programs with External Evaluations.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013
Eliminating Unfounded Set Checking for HEX-Programs
CoRR, 2013

ActHEX: Implementing HEX Programs with Action Atoms.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

VCWC: A Versioning Competition Workflow Compiler.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013


hex-Programs with Existential Quantification.
Proceedings of the Declarative Programming and Knowledge Management, 2013

AngryHEX: an Artificial Player for Angry Birds Based on Declarative Knowledge Bases.
Proceedings of the Workshop Popularize Artificial Intelligence co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), 2013

Liberal Safety for Answer Set Programs with External Sources.
Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012
Conflict-driven ASP solving with external sources.
Theory Pract. Log. Program., 2012

Exploiting Unfounded Sets for HEX-Program Evaluation.
Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

Answer Set Programming with External Sources.
Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

Automatic SLA Matching and Provider Selection in Grid and Cloud Computing Markets.
Proceedings of the 13th ACM/IEEE International Conference on Grid Computing, 2012

2011
Nested HEX-Programs
CoRR, 2011

Declarative Belief Set Merging Using Merging Plans.
Proceedings of the Practical Aspects of Declarative Languages, 2011

HEX-Programs with Nested Program Calls.
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2011


  Loading...