Proving BDI Properties of Agent-Oriented Programming Languages.
Rafael H. BordiniÁlvaro F. MoreiraPublished in: Ann. Math. Artif. Intell. (2004)
Keyphrases
- programming language
- agent oriented
- agent systems
- multi agent systems
- multi agent
- object oriented
- software engineering
- general purpose
- development process
- high level
- software development
- denotational semantics
- agent technology
- database languages
- strongly typed
- programming environment
- object oriented concepts
- lambda calculus
- agent oriented software engineering
- data abstraction
- virtual organization
- specification language
- intelligent agents
- information processing
- cooperative
- case study
- data mining