Towards a Formal Semantics of Event-Based Multi-agent Simulations.
Jean-Pierre MüllerPublished in: MABS (2008)
Keyphrases
- formal semantics
- multi agent
- agent based simulations
- formal language
- er model
- logical reasoning
- first order logic
- modeling language
- theorem prover
- logical language
- multi agent systems
- speech acts
- operational semantics
- cooperative
- machine learning
- probability distribution
- bayesian networks
- owl dl ontology
- modelling language
- epistemic logic
- ontology languages
- database design
- artificial intelligence