Logic
JACK Intelligent Agents
Reactive planning
Modal logic
3APL
Belief–desire–intention model
Multi-agent systems
Artificial intelligence
Computing