Evaluating the assignment of behavioral goals to coalitions of agents

DOI10.1007/978-3-319-29473-5_4MaRDI QIDQ2798044zbMATH OpenOpenAlexFDO

Authors Christophe Chareton, Julien Brunel, David Chemouil

Publication date 1 April 2016

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

Full work available at URL https://doi.org/10.1007/978-3-319-29473-5_4

Mathematics Subject Classification ID

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

Recommendations

• A formal treatment of agents, goals and operations using alternating-time temporal logic
• An Argumentation-Based Model for Reasoning About Coalition Structures
• A logical theory of coordination and joint ability
• A verification framework for agent programming with declarative goals
• A coupled operational semantics for goals and commitments

This page was built for publication: Evaluating the assignment of behavioral goals to coalitions of agents

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