The following pages link to (Q2734932):
Displaying 18 items.
- On reasoning about structural equality in XML: a description logic approach (Q555777) (← links)
- \textsc{Argonauts}: a working system for motivated cooperative agents (Q766275) (← links)
- Enhancing disjunctive logic programming systems by SAT checkers (Q814529) (← links)
- Design and results of the Fifth Answer Set Programming Competition (Q899444) (← links)
- Logic programming and knowledge representation---The A-Prolog perspective (Q1603731) (← links)
- Fixed-parameter complexity in AI and nonmonotonic reasoning (Q1603733) (← links)
- The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference (Q2206456) (← links)
- Disjunctive logic programming with types and objects: the \(\mathrm{DLV}^{+}\) system (Q2372203) (← links)
- Deductive databases for computing certain and consistent answers from mediated data integration systems (Q2386182) (← links)
- Maintenance goals of agents in a dynamic environment: formulation and policy construction (Q2389664) (← links)
- Combining answer set programming with description logics for the semantic web (Q2389666) (← links)
- On look-ahead heuristics in disjunctive logic programming (Q2426102) (← links)
- Nonmonotonic Trust Management for P2P Applications (Q2804936) (← links)
- Disjunctive Programs with Set Constraints (Q2900542) (← links)
- The Design of the Sixth Answer Set Programming Competition (Q3449235) (← links)
- A Logical Approach to Qualitative and Quantitative Reasoning (Q3524928) (← links)
- Answer Set Programming: A Primer (Q3638997) (← links)
- Beyond NP: Quantifying over Answer Sets (Q5108497) (← links)
