scientific article; zbMATH DE number 1926619

zbMath1012.68191MaRDI QIDQ4707751

Georg Gottlob, Francesco Buccafurri

Publication date: 11 June 2003

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17)

Related Items (2)

Solving abduction by computing joint explanations. Logic programming formalization, applications to P2P data integration, and complexity results ⋮ Merging Logic Programs under Answer Set Semantics

Uses Software

• Smodels

This page was built for publication: