The following pages link to Christoph Redl (Q254001):
Displayed 13 items.
- Domain expansion for ASP-programs with external sources (Q254002) (← links)
- Answer set programs with queries over subprograms (Q2401932) (← links)
- Explaining inconsistency in answer set programs and extensions (Q2401933) (← links)
- FLP answer set semantics without circular justifications for general logic programs (Q2453743) (← links)
- Exploiting Unfounded Sets for HEX-Program Evaluation (Q2915067) (← links)
- (Q4580278) (← links)
- A model building framework for answer set programming with external computations (Q4593036) (← links)
- The<scp>dlvhex</scp>system for knowledge representation: recent advances (system description) (Q4593064) (← links)
- Conflict-driven ASP solving with external sources (Q4911141) (← links)
- Inlining External Sources in Answer Set Programs (Q4957183) (← links)
- Answer Set Programming with External Source Access (Q5086220) (← links)
- (Q5398090) (← links)
- Efficient HEX-Program Evaluation Based on Unfounded Sets (Q5404394) (← links)