The following pages link to Peter Schüller (Q460630):
Displaying 20 items.
- Finding explanations of inconsistency in multi-context systems (Q460632) (← links)
- Best-effort inductive logic programming via fine-grained cost-based hypothesis generation. The Inspire system at the inductive logic programming competition (Q1621888) (← links)
- The Hexlite solver. Lightweight and efficient evaluation of HEX programs (Q2296747) (← links)
- Prolog and ASP Inference under One Roof (Q2851242) (← links)
- Flexible Combinatory Categorial Grammar Parsing Using the CYK Algorithm and Answer Set Programming (Q2851280) (← links)
- Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming (Q2900538) (← links)
- Exploiting Unfounded Sets for HEX-Program Evaluation (Q2915067) (← links)
- Pushing Efficient Evaluation of HEX Programs by Modular Decomposition (Q3003246) (← links)
- Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems (Q3003247) (← links)
- Modeling Variations of First-Order Horn Abduction in Answer Set Programming (Q4589246) (← links)
- A model building framework for answer set programming with external computations (Q4593036) (← links)
- (Q4631192) (← links)
- The mcs-ie System for Explaining Inconsistency in Multi-Context Systems (Q4930779) (← links)
- (Q5020542) (← links)
- Answer Set Programming with External Source Access (Q5086220) (← links)
- Partial Compilation of ASP Programs (Q5108506) (← links)
- Finding optimal plans for multiple teams of robots through a mediator: A logic-based approach (Q5398314) (← links)
- Efficient HEX-Program Evaluation Based on Unfounded Sets (Q5404394) (← links)
- Abstraction for non-ground answer set programs (Q5919127) (← links)
- Abstraction for non-ground answer set programs (Q5919432) (← links)
