Christoph Redl

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Answer set programming with external source access Reasoning Web. Semantic Interoperability on the Web	2022-07-01	Paper
Inlining external sources in answer set programs Theory and Practice of Logic Programming	2021-09-03	Paper
Exploiting partial assignments for efficient evaluation of answer set programs with external source access	2018-08-14	Paper
A model building framework for answer set programming with external computations Theory and Practice of Logic Programming	2017-11-09	Paper
The<scp>dlvhex</scp>system for knowledge representation: recent advances (system description) Theory and Practice of Logic Programming	2017-11-09	Paper
Explaining inconsistency in answer set programs and extensions	2017-09-05	Paper
Answer set programs with queries over subprograms	2017-09-05	Paper
Domain expansion for ASP-programs with external sources Artificial Intelligence	2016-03-08	Paper
FLP answer set semantics without circular justifications for general logic programs Artificial Intelligence	2014-06-10	Paper
Efficient HEX-Program Evaluation Based on Unfounded Sets Journal of Artificial Intelligence Research	2014-03-24	Paper
Answer set programming with external sources	2014-02-25	Paper
Conflict-driven ASP solving with external sources Theory and Practice of Logic Programming	2013-03-13	Paper
Exploiting unfounded sets for HEX-program evaluation Logics in Artificial Intelligence	2012-09-21	Paper

Research outcomes over time

This page was built for person: Christoph Redl