Multiagent compromises, joint fixpoints, and stable models

DOI10.1007/3-540-45628-7_21MaRDI QIDQ4707751zbMATH OpenFDO

Authors Francesco Buccafurri, Georg Gottlob

Publication date 11 June 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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
• Coordination between logical agents
• 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: Multiagent compromises, joint fixpoints, and stable models

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