Propositional Statecharts for Agent Interaction Protocols.
Hywel R. Dunn-DaviesJim CunninghamShamimabi PauroballyPublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- agent interactions
- intelligent agents
- multi agent systems
- multi agent
- software agents
- propositional logic
- first order logic
- agent oriented
- reactive systems
- default logic
- cooperative
- conceptual modeling
- data mining
- petri net
- intelligent systems
- belief revision
- active learning
- multi valued
- artificial intelligence
- logical framework
- security protocols
- learning algorithm