The DLV system

DOI10.1007/3-540-45757-7_50MaRDI QIDQ4708952zbMATH OpenFDO

Authors N. Leone, Gerald Pfeifer, Wolfgang Faber, Francesco Calimeri, Tina Dell'Armi, Thomas Eiter, Georg Gottlob, Giovambattista Ianni, Giuseppe Ielpa, Christoph Koch, Simona Perri, Axel Polleres

Publication date 20 June 2003

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2424/24240537.htm

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27) Computing methodologies and applications (68U99)

Recommendations

• System description: DLV
• The ASP system DLV2
• Declarative problem-solving using the DLV system
• System description: DLP
• The DLV\(^{\mathcal{K}}\) planning system: Progress report

Cited in

(13)

• Solving abduction by computing joint explanations. Logic programming formalization, applications to P2P data integration, and complexity results
• A three-valued semantics for querying and repairing inconsistent databases
• An incremental algorithm for generating all minimal models
• The DEDALE prototype
• The DISCO system
• Toward Question Answering in Travel Domains
• Terminating evaluation of logic programs with finite three-valued models
• The DL-Lite Family and Relations
• scientific article; zbMATH DE number 10089 (Why is no real title available?)
• Synthesizing Imperative Code from Answer Set Programming Specifications
• Logic Programming and Nonmonotonic Reasoning
• The system LD
• Answer set based design of knowledge systems

This page was built for publication: The DLV system

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