DESIGNING PROTOCOLS FOR ABDUCTIVE HYPOTHESIS REFINEMENT IN DYNAMIC MULTIAGENT ENVIRONMENTS

DOI10.1111/j.1467-8640.2012.00468.xzbMath1328.68233OpenAlexW2094857844WikidataQ62043030 ScholiaQ62043030MaRDI QIDQ3462274

Nicolas Maudet, Gauvain Bourgne

Publication date: 5 January 2016

Published in: Computational Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1111/j.1467-8640.2012.00468.x

zbMATH Keywords

agentsabductioncommunication protocolshypothetical reasoning

Mathematics Subject Classification ID

Network protocols (68M12) Agent technology and artificial intelligence (68T42)

Cites Work

• Unnamed Item
• Towards refinement of abductive or inductive hypotheses through propagation
• Cooperation and competition in ALIAS: A logic framework for agents that negotiate
• From logic programming towards multi-agent systems
• Partition-based logical reasoning for first-order and propositional theories
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• Agents that reason and negotiate by arguing

This page was built for publication: DESIGNING PROTOCOLS FOR ABDUCTIVE HYPOTHESIS REFINEMENT IN DYNAMIC MULTIAGENT ENVIRONMENTS