Knowledge representation
Science
Mathematics
Knowledge
Formal sciences
Gameplay
Event calculus
Fluent
Logic
Logic programming
Game design
Logic in computer science