Software engineering
Automated planning and scheduling
Prolog
Agent-based model
Action language
Logic programming
Multi-agent systems
Artificial intelligence
Computing