Project number 9992
The project concerns the integration of epistemic logic in planning algorithms. The idea is to integrate logical frameworks for reasoning about knowledge, beliefs and actions into existing planning algorithm schemes like Hierarchical Task Networks (HTN). The goal of this integration is to build a strong planner suitable for multi-player strategic computer games.
Mikkel Birkegaard Andersen
Andreas Nyberg Garnęs