Agents and classifiers a transaction logic approach.
Manuel SantosJosé NevesOrlando BeloPublished in: KES (3) (1998)
Keyphrases
- dynamic logic
- multi agent
- multi agent systems
- epistemic logic
- logical framework
- alternating time temporal logic
- multiagent systems
- intelligent agents
- cooperative
- modal logic
- multiple agents
- support vector
- autonomous agents
- decision trees
- training set
- agent architecture
- dynamic environments
- resource allocation
- payment scheme
- software agents
- test set
- logic programming
- database
- training data
- coalition logic
- artificial agents
- agent systems
- model checking
- incomplete information
- feature set
- coalition formation
- concurrency control
- ensemble classifier
- classification algorithm
- classical logic
- svm classifier
- mobile agents
- normative systems
- feature selection
- linear classifiers
- naive bayes
- database systems