The intelligent grounder of DLV

DOI10.1007/978-3-642-30743-0_17MaRDI QIDQ2900523zbMATH OpenOpenAlexFDO

Authors Wolfgang Faber, N. Leone, Simona Perri

Publication date 23 July 2012

Published in Correct Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-30743-0_17

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Technical note. Efficiently coupling the \(\mathscr{I}\)-DLV grounder with ASP solvers
• scientific article; zbMATH DE number 1890626
• The ASP system DLV2
• scientific article; zbMATH DE number 1884396
• The DLV system for knowledge representation and reasoning

Cites work

• ASSAT: computing answer sets of a logic program by SAT solvers
• Computable Functions in ASP: Theory and Implementation
• Conflict-Driven Answer Set Enumeration
• Design and implementation of aggregate functions in the DLV system
• Dynamic magic sets and super-coherent answer set programs
• Enhancing DLV instantiator by backjumping techniques
• Experimenting with parallelism for the instantiation of ASP programs
• Experimenting with recursive queries in database and logic programming systems
• External sources of knowledge and value invention in logic programming
• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 1368933 (Why is no real title available?)
• scientific article; zbMATH DE number 1884396 (Why is no real title available?)
• scientific article; zbMATH DE number 1884404 (Why is no real title available?)
• Logic Programming and Nonmonotonic Reasoning
• Logic Programming and Nonmonotonic Reasoning
• On demand indexing for the DLV instantiator
• One More Decidable Class of Finitely Ground Programs
• OntoDLV: An ASP-based System for Enterprise Ontologies
• Parallel instantiation of ASP programs: techniques and experiments
• The DLV system for knowledge representation and reasoning
• Unfolding partiality and disjunctions in stable model semantics

Cited in

(12)

• Estimating grounding sizes of logic programs under answer set semantics
• {\textsc{ASPeRiX}}, a first-order forward chaining approach for answer set computing
• scientific article; zbMATH DE number 1884396 (Why is no real title available?)
• Optimizing answer set computation via heuristic-based decomposition
• Technical note. Efficiently coupling the \(\mathscr{I}\)-DLV grounder with ASP solvers
• Partial compilation of ASP programs
• Incremental maintenance of overgrounded logic programs with tailored simplifications
• Intelligent Instantiation and Supersafe Rules
• System predictor: grounding size estimator for logic programs under answer set semantics
• On the foundations of grounding in answer set programming
• Body-decoupled grounding via reduction: a novel approach on the \textsc{Asp} bottleneck
• Design and results of the Fifth Answer Set Programming Competition

Describes a project that uses

Uses Software

• Gringo
• Lparse
• Datalog
• ASSAT
• Cmodels
• OntoDLV
• DLV-EX
• DLV
• NoMoRe

This page was built for publication: The intelligent grounder of DLV

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2900523)