Christoph Redl

Available identifiers

zbMath Open redl.christophMaRDI QIDQ254001

List of research outcomes

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
https://portal.mardi4nfdi.de/entity/Q4580278	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
Answer set programs with queries over subprograms	2017-09-05	Paper
Explaining inconsistency in answer set programs and extensions	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Christoph Redl