scientific article; zbMATH DE number 1931693

MaRDI 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

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

• scientific article; zbMATH DE number 1890626
• The ASP system DLV2
• Declarative problem-solving using the DLV system
• scientific article; zbMATH DE number 1614703
• scientific article; zbMATH DE number 1931694

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
• scientific article; zbMATH DE number 1630098 (Why is no real title available?)
• scientific article; zbMATH DE number 1630099 (Why is no real title available?)
• 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:

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