On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language.
Renata VieiraÁlvaro F. MoreiraMichael J. WooldridgeRafael H. BordiniPublished in: J. Artif. Intell. Res. (2007)
Keyphrases
- owl dl ontology
- formal semantics
- speech acts
- agent oriented programming language
- agent communication
- operational semantics
- first order logic
- ontology languages
- logical language
- theorem prover
- modelling language
- modeling language
- agent oriented programming
- knowledge representation
- reinforcement learning
- knowledge base
- artificial intelligence