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