System description: DLV

DOI10.1007/3-540-45402-0_36MaRDI QIDQ4800169zbMATH OpenFDO

Authors Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Christoph Koch, N. Leone, Simona Perri, Gerald Pfeifer

Publication date 18 May 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45402-0_36

Mathematics Subject Classification ID

Logic programming (68N17) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Computing methodologies and applications (68U99)

Recommendations

• Logic Programming and Nonmonotonic Reasoning
• The ASP system DLV2
• The DLV system for knowledge representation and reasoning
• The<scp>dlvhex</scp>system for knowledge representation: recent advances (system description)
• Logic Programming and Nonmonotonic Reasoning

Cited in

(19)

• The Fusemate logic programming system
• Lash 1.0 (system description)
• Disjunctive logic programming with types and objects: the \(\mathrm{DLV}^{+}\) system
• The ASP system DLV2
• TANCS-2000 results for DLP
• System description: DLP
• Declarative problem-solving using the DLV system
• The intelligent grounder of DLV
• OntoDLV: An ASP-based System for Enterprise Ontologies
• System Description: E- KRHyper
• Towards a Type Discipline for Answer Set Programming
• RACER system description
• scientific article; zbMATH DE number 1931692 (Why is no real title available?)
• scientific article; zbMATH DE number 1931693 (Why is no real title available?)
• The Smodels system
• Technical note. Efficiently coupling the \(\mathscr{I}\)-DLV grounder with ASP solvers
• Logic Programming and Nonmonotonic Reasoning
• Logic Programming and Nonmonotonic Reasoning
• Logic Programming and Nonmonotonic Reasoning

This page was built for publication: System description: DLV

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