On the Semantics and Verification of Normative Multi-Agent Systems.
Lacramioara AstefanoaeiMehdi DastaniJohn-Jules Ch. MeyerFrank S. de BoerPublished in: J. Univers. Comput. Sci. (2009)
Keyphrases
- multi agent systems
- normative systems
- epistemic logic
- multi agent
- agent communication
- cooperative
- logic programming
- autonomous agents
- logical framework
- agent architecture
- software agents
- intelligent agents
- multiagent systems
- game theory
- coalition formation
- formal semantics
- knowledge base
- agent oriented programming language
- conceptual model
- model checking
- semantic information
- agent systems
- transformation rules
- bounded model checking
- database systems