Logic Programming and Nonmonotonic Reasoning

DOI10.1007/B94792MaRDI QIDQ5424887zbMATH OpenOpenAlexFDO

Authors N. Leone, V. Lio, G. Terracina

Publication date 7 November 2007

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

Full work available at URL https://doi.org/10.1007/b94792

Mathematics Subject Classification ID

Logic programming (68N17) Database theory (68P15)

Recommendations

• scientific article; zbMATH DE number 1890626
• Logic Programming and Nonmonotonic Reasoning
• The ASP system DLV2
• The DLV system for knowledge representation and reasoning
• Declarative problem-solving using the DLV system

Cited in

(5)

• The ASP system DLV2
• The intelligent grounder of DLV
• Contextual data tailoring using ASP
• scientific article; zbMATH DE number 1890626 (Why is no real title available?)
• Experimenting with recursive queries in database and logic programming systems

This page was built for publication: Logic Programming and Nonmonotonic Reasoning

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