Compliance verification of agent interaction: a logic-based software tool.
Marco AlbertiMarco GavanelliEvelina LammaFederico ChesaniPaola MelloPaolo TorroniPublished in: Appl. Artif. Intell. (2006)
Keyphrases
- agent interactions
- intelligent agents
- multi agent systems
- multi agent
- software agents
- model checking
- verification method
- distributed learning
- knowledge representation
- face verification
- complex domains
- machine learning
- theoretical framework
- expert systems
- decision model
- formal methods
- formal analysis
- signature verification
- decision making
- interaction model
- data sets