Logic-Based Agent Verification.
Michael FisherMunindar P. SinghDiana F. SpearsMichael J. WooldridgePublished in: J. Appl. Log. (2007)
Keyphrases
- multi agent systems
- multi agent
- autonomous agents
- decision making
- intelligent agents
- agent model
- multiagent systems
- multiple agents
- mobile agents
- agent technology
- software agents
- machine learning
- artificial agents
- agent oriented
- agent systems
- current situation
- model checking
- knowledge representation
- information systems
- agent environment
- agent architecture
- virtual agents
- social welfare
- case study
- reasoning process
- action selection
- dynamic environments
- cooperative
- decision theoretic
- bdi agents
- real time
- fingerprint verification
- conversational agent
- asynchronous circuits
- agent programming
- verification method
- interacting agents