Computational Logic in Multi-Agent Systems

DOI10.1007/B104175MaRDI QIDQ5464686zbMATH OpenFDO

Authors Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni

Publication date 19 August 2005

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

Full work available at URL https://doi.org/10.1007/B104175

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Distributed Abductive Reasoning with Constraints
• Computational Logic in Multi-Agent Systems
• scientific article; zbMATH DE number 1931678
• Abduction of distributed theories through local interactions
• scientific article; zbMATH DE number 2044478

Cited in

(13)

• Extraction of the structural environment of mutual system information agreement in multicomplex systems
• Solving abduction by computing joint explanations. Logic programming formalization, applications to P2P data integration, and complexity results
• scientific article; zbMATH DE number 1630005 (Why is no real title available?)
• Multi-agent confidential abductive reasoning
• Invariance Properties of Quantifiers and Multiagent Information Exchange
• Designing protocols for abductive hypothesis refinement in dynamic multiagent environments
• LAILA: a language for coordinating abductive reasoning among logic agents
• scientific article; zbMATH DE number 2044478 (Why is no real title available?)
• Stabilization of Information Sharing for Queries Answering in Multiagent Systems
• Computational Logic in Multi-Agent Systems
• Agents and Peer-to-Peer Computing
• Towards refinement of abductive or inductive hypotheses through propagation
• Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules

This page was built for publication: Computational Logic in Multi-Agent Systems

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