in a multi-agent action logic.
Michael MasuchZhisheng HuangPublished in: Comput. Math. Organ. Theory (1996)
Keyphrases
- multi agent
- reinforcement learning
- modal logic
- intelligent agents
- extensive form games
- transition systems
- predicate logic
- reasoning about actions
- multi agent systems
- multiagent systems
- action selection
- computational properties
- logic programming
- automated reasoning
- cooperative
- kripke models
- logical framework
- nonmonotonic logics
- proof theory
- computer vision
- sound and complete axiomatization
- causal knowledge
- multi agent architecture
- practical reasoning
- state space
- classical logic
- probability theory
- temporal logic
- autonomous agents