A Multi-level Approach to the Formal Semantics of Agent Societies.
Alison R. PanissonRafael H. BordiniAntônio Carlos da Rocha CostaPublished in: BRACIS (2) (2020)
Keyphrases
- formal semantics
- agent societies
- social laws
- multiple agents
- multi agent
- multiagent systems
- multi agent systems
- coalition formation
- logical language
- formal language
- modeling language
- logical reasoning
- agent interactions
- theorem prover
- speech acts
- operational semantics
- modelling language
- first order logic
- artificial intelligence
- open source
- expert systems
- owl dl ontology
- ontology languages
- cooperative
- knowledge base