Speech-Act Based Communication: Progress in the Formal Semantics and in the Implementation of Multi-agent Oriented Programming Languages.
Álvaro F. MoreiraRenata VieiraRafael H. BordiniPublished in: DALT (2011)
Keyphrases
- database design
- formal semantics
- speech acts
- programming language
- object oriented
- agent oriented
- software engineering
- database systems
- er model
- modeling language
- operational semantics
- general purpose
- agent technology
- agent systems
- first order logic
- multi agent
- theorem prover
- high level
- multi agent systems
- development process
- virtual organization
- software development
- user interface
- query language
- mental states
- software agents
- case study
- databases