Declarative problem-solving using the DLV system
From MaRDI portal
Recommendations
Cited in
(24)- The DLV system for knowledge representation and reasoning
- Logic Programming and Nonmonotonic Reasoning
- scientific article; zbMATH DE number 1931693 (Why is no real title available?)
- The Design of the Sixth Answer Set Programming Competition
- Logic Programming and Nonmonotonic Reasoning
- Answer Set Programming: A Primer
- On reasoning about structural equality in XML: a description logic approach
- Nonmonotonic trust management for P2P applications
- Census data repair: a challenging application of disjunctive logic programming
- Disjunctive Programs with Set Constraints
- Maintenance goals of agents in a dynamic environment: formulation and policy construction
- Disjunctive logic programming with types and objects: the \(\mathrm{DLV}^{+}\) system
- Combining answer set programming with description logics for the semantic web
- A Logical Approach to Qualitative and Quantitative Reasoning
- Enhancing DLV instantiator by backjumping techniques
- Design and results of the Fifth Answer Set Programming Competition
- \textsc{Argonauts}: a working system for motivated cooperative agents
- Deductive databases for computing certain and consistent answers from mediated data integration systems
- Beyond NP: quantifying over answer sets
- Fixed-parameter complexity in AI and nonmonotonic reasoning
- Logic programming and knowledge representation---The A-Prolog perspective
- The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference
- Enhancing disjunctive logic programming systems by SAT checkers
- On look-ahead heuristics in disjunctive logic programming
This page was built for publication: Declarative problem-solving using the DLV system
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2734932)
