The following pages link to Axel Polleres (Q814435):
Displayed 19 items.
- A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system (Q814436) (← links)
- (Q2767106) (← links)
- Debugging Non-ground ASP Programs with Choice Rules, Cardinality and Weight Constraints (Q2851274) (← links)
- Embedding nonground logic programs into autoepistemic logic for knowledge-base combination (Q2946639) (← links)
- (Q3100239) (← links)
- Towards automated integration of guess and check programs in answer set programming: a meta-interpreter and applications (Q3426200) (← links)
- (Q4434167) (← links)
- (Q4460681) (← links)
- On the relation between SPARQL1.1 and Answer Set Programming (Q4583314) (← links)
- (Q4619831) (← links)
- (Q4708917) (← links)
- (Q4708952) (← links)
- (Q4708953) (← links)
- (Q4800170) (← links)
- Knowledge Graphs (Q5014326) (← links)
- A logic programming approach to knowledge-state planning (Q5277695) (← links)
- (Q5398078) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424868) (← links)
- KI 2003: Advances in Artificial Intelligence (Q5897318) (← links)