The following pages link to Thomas Eiter (Q171927):
Displaying 5 items.
- Combining Nonmonotonic Knowledge Bases with External Sources (Q3655190) (← links)
- Modular Nonmonotonic Logic Programming Revisited (Q4649729) (← links)
- Conflict-driven ASP solving with external sources (Q4911141) (← links)
- Decomposition of Distributed Nonmonotonic Multi-Context Systems (Q4930752) (← links)
- A logic programming approach to knowledge-state planning (Q5277695) (← links)