scientific article; zbMATH DE number 1926619

MaRDI QIDQ4707751zbMATH OpenFDO

Authors Francesco Buccafurri, Georg Gottlob

Publication date 11 June 2003

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

Mathematics Subject Classification ID

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

Recommendations

• Constructing Consensus Logic Programs
• Coordination in answer set programming
• Computational Logic in Multi-Agent Systems
• Combining Answer Sets of Nonmonotonic Logic Programs
• Trans-epistemic semantics for logic programs

Cited in

(3)

• Solving abduction by computing joint explanations. Logic programming formalization, applications to P2P data integration, and complexity results
• Generalizing AGM to a multi-agent setting
• Merging Logic Programs under Answer Set Semantics

Describes a project that uses

Uses Software

• Smodels

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 Q4707751)