The following pages link to Thomas Krennwallner (Q254000):
Displaying 21 items.
- Domain expansion for ASP-programs with external sources (Q254002) (← links)
- Exploiting conjunctive queries in description logic programs (Q1028641) (← links)
- FLP answer set semantics without circular justifications for general logic programs (Q2453743) (← links)
- Promoting modular nonmonotonic logic programs (Q2909170) (← links)
- Inconsistency Management for Traffic Regulations: Formalization and Complexity Results (Q2915061) (← links)
- Exploiting Unfounded Sets for HEX-Program Evaluation (Q2915067) (← links)
- Symmetry Breaking for Distributed Multi-Context Systems (Q3003240) (← links)
- Pushing Efficient Evaluation of HEX Programs by Modular Decomposition (Q3003246) (← links)
- Realizing Default Logic over Description Logic Knowledge Bases (Q3638182) (← links)
- Answer Set Programming: A Primer (Q3638997) (← links)
- Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs (Q3643108) (← links)
- Combining Nonmonotonic Knowledge Bases with External Sources (Q3655190) (← links)
- A model building framework for answer set programming with external computations (Q4593036) (← links)
- Modular Nonmonotonic Logic Programming Revisited (Q4649729) (← links)
- (Q4906884) (← links)
- Conflict-driven ASP solving with external sources (Q4911141) (← links)
- Decomposition of Distributed Nonmonotonic Multi-Context Systems (Q4930752) (← links)
- The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems (Q4930777) (← links)
- ASP-Core-2 Input Language Format (Q4957196) (← links)
- Weighted Electoral Control (Q5253761) (← links)
- Efficient HEX-Program Evaluation Based on Unfounded Sets (Q5404394) (← links)
