Formal Specification of Beliefs in Multi-Agent Systems.

Massimo Benerecetti Alessandro Cimatti Enrico Giunchiglia Fausto Giunchiglia Luciano Serafini

Published in: ATAL (1996)

Keyphrases

formal specification
multi agent systems
specification languages
specification language
model checking
object oriented design
process algebra
data abstraction

cooperative
software components
belief revision
autonomous agents
concurrent systems
agent architecture
coalition formation

formal methods
game theory
reverse engineering
multi agent
intelligent agents
model checker
mental states

knowledge management
software systems
distributed systems
knowledge acquisition
real world
high level
decision making