Keyphrases
- theorem prover
- multi agent
- natural deduction
- multi agent systems
- multiagent systems
- software agents
- multiple agents
- cooperative
- agent technology
- intelligent agents
- autonomous agents
- reactive agents
- artificial agents
- agent systems
- rational agents
- mobile agents
- expert systems
- first order logic
- decision making
- coalition formation
- decision theoretic
- mobile robot
- single agent
- incomplete information
- interacting agents
- distributed agents
- multi agent planning