Christoph Redl

Available identifiers

Publication	Date of Publication	Type
Answer set programming with external source access	2022-07-01	Paper
Inlining external sources in answer set programs	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	2017-11-09	Paper
The<scp>dlvhex</scp>system for knowledge representation: recent advances (system description)	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	2016-03-08	Paper
FLP answer set semantics without circular justifications for general logic programs	2014-06-10	Paper
Efficient HEX-Program Evaluation Based on Unfounded Sets	2014-03-24	Paper
Answer set programming with external sources	2014-02-25	Paper
Conflict-driven ASP solving with external sources	2013-03-13	Paper
Exploiting unfounded sets for HEX-program evaluation	2012-09-21	Paper

This page was built for person: Christoph Redl