An implementation for abductive logic agents

DOI10.1007/3-540-46238-4_6MaRDI QIDQ2729720zbMATH OpenFDO

Authors Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli, Paolo Torroni

Publication date 23 October 2001

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

Full work available at URL https://doi.org/10.1007/3-540-46238-4_6

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Computing methodologies and applications (68U99)

Recommendations

• LAILA: a language for coordinating abductive reasoning among logic agents
• Design and implementation of a hybrid agent platform
• Cooperation and competition in ALIAS: A logic framework for agents that negotiate
• Distributed Abductive Reasoning with Constraints
• Computational Logic in Multi-Agent Systems

Cited in

(11)

• Design and implementation of a hybrid agent platform
• Cooperation and competition in ALIAS: A logic framework for agents that negotiate
• Teleo-Reactive Abductive Logic Programs
• A methodology for using a default and abductive reasoning system
• LAILA: a language for coordinating abductive reasoning among logic agents
• Modelling reasoning processes in natural agents: a partial-worlds-based logical framework for elemental non-monotonic inferences and learning
• scientific article; zbMATH DE number 1882065 (Why is no real title available?)
• Probabilistic behaviours of reactive agents
• FLUX: A logic programming method for reasoning agents
• Computational Logic in Multi-Agent Systems
• Towards refinement of abductive or inductive hypotheses through propagation

This page was built for publication: An implementation for abductive logic agents

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