Keyphrases
- formal semantics
- multi agent
- speech acts
- multi agent systems
- logical language
- operational semantics
- intelligent agents
- er model
- modeling language
- autonomous agents
- formal language
- ontology languages
- theorem prover
- agent model
- modelling language
- logical reasoning
- agent architecture
- information systems
- first order logic
- case study
- knowledge management
- open source