scientific article; zbMATH DE number 1931693
From MaRDI portal
Publication:4708952
zbMath1014.68871MaRDI QIDQ4708952
Tina Dell'Armi, Francesco Calimeri, Christoph Koch, Simona Perri, Thomas Eiter, Giovambattista Ianni, Gerald Pfeifer, Wolfgang Faber, Axel Polleres, Georg Gottlob, Nicola 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: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Computing methodologies and applications (68U99) Logic programming (68N17)
Related Items (7)
Toward Question Answering in Travel Domains ⋮ Solving abduction by computing joint explanations. Logic programming formalization, applications to P2P data integration, and complexity results ⋮ Answer set based design of knowledge systems ⋮ Terminating Evaluation of Logic Programs with Finite Three-Valued Models ⋮ Synthesizing Imperative Code from Answer Set Programming Specifications ⋮ A three-valued semantics for querying and repairing inconsistent databases ⋮ An incremental algorithm for generating all minimal models
This page was built for publication:
