Distributed Abductive Reasoning with Constraints

DOI10.1007/978-3-642-20715-0_9MaRDI QIDQ2999244zbMATH OpenOpenAlexFDO

Authors Jiefei Ma, Alessandra Russo, Emil Lupu, Krysia Broda

Publication date 11 May 2011

Published in Declarative Agent Languages and Technologies VIII (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-20715-0_9

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Recommendations

• Abduction with probabilistic logic programming under the distribution semantics
• Distributed constraint satisfaction with partially known constraints
• scientific article; zbMATH DE number 2162299
• Constraint satisfaction in distributed concurrent logic programming
• scientific article; zbMATH DE number 1114454
• Coherent composition of distributed knowledge-bases through abduction
• Distributed reasoning for restricted weakly-linear disjunctive tuple-generating dependencies
• On Computing Constraint Abduction Answers
• Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules

Cited in

(13)

• Distributed reasoning for restricted weakly-linear disjunctive tuple-generating dependencies
• scientific article; zbMATH DE number 1630005 (Why is no real title available?)
• Multi-agent confidential abductive reasoning
• Coherent composition of distributed knowledge-bases through abduction
• Abduction of distributed theories through local interactions
• A Layered Abductive Inference Framework for Diagramming Group Motions
• Designing protocols for abductive hypothesis refinement in dynamic multiagent environments
• scientific article; zbMATH DE number 67447 (Why is no real title available?)
• scientific article; zbMATH DE number 1254026 (Why is no real title available?)
• LAILA: a language for coordinating abductive reasoning among logic agents
• Computational Logic in Multi-Agent Systems
• Computational Logic in Multi-Agent Systems
• Towards refinement of abductive or inductive hypotheses through propagation

Describes a project that uses

Uses Software

• LAILA

This page was built for publication: Distributed Abductive Reasoning with Constraints

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