Reasoning about belief, goal and exceptions in multi-agent cooperation logics.

Xianwei Lai Shanli Hu Zhengyuan Ning Xiuli Wang

Published in: ISKE (2008)

Keyphrases

multi agent cooperation
multi agent systems
multi agent
modal operators
cooperative problem solving
game theory
modal logic
inheritance reasoning
expressive power
belief revision
nonmonotonic reasoning
artificial intelligence
spatial reasoning