Exploiting Prolog for Projecting Agent Interaction Protocols.
Davide AnconaDaniela BriolaAmal El Fallah SeghrouchniViviana MascardiPatrick TaillibertPublished in: CILC (2014)
Keyphrases
- agent interactions
- software agents
- intelligent agents
- multi agent systems
- multi agent
- expert systems
- knowledge representation
- logic programming
- knowledge base
- abstract machine
- constraint logic programming
- theorem proving
- intelligent systems
- distributed databases
- inductive learning
- reinforcement learning
- inference engine
- security protocols
- distributed learning
- database systems
- cryptographic protocols
- decision making
- logic programming language
- artificial intelligence