The following pages link to Thomas Krennwallner (Q254000):
Displaying 6 items.
- Domain expansion for ASP-programs with external sources (Q254002) (← links)
- Exploiting conjunctive queries in description logic programs (Q1028641) (← links)
- 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)
