scientific article; zbMATH DE number 1931693

zbMATH Open1014.68871MaRDI QIDQ4708952FDOQ4708952

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

Publication date: 20 June 2003

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

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

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

Cited In (13)

• Terminating Evaluation of Logic Programs with Finite Three-Valued Models
• Toward Question Answering in Travel Domains
• An incremental algorithm for generating all minimal models
• Answer set based design of knowledge systems
• Synthesizing Imperative Code from Answer Set Programming Specifications
• The system LD
• Title not available (Why is that?)
• Solving abduction by computing joint explanations. Logic programming formalization, applications to P2P data integration, and complexity results
• The DL-Lite Family and Relations
• Title not available (Why is that?)
• Logic Programming and Nonmonotonic Reasoning
• Title not available (Why is that?)
• A three-valued semantics for querying and repairing inconsistent databases

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)