Computational Logic in Multi-Agent Systems

DOI10.1007/B104175zbMATH Open1110.68503MaRDI QIDQ5464686FDOQ5464686

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)

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cited In (13)

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

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)