Research Projects

Automated Planning

  • The planner Pdk

Adaptive Web and Intelligent Web Search

AI in Education and e-Learning

Knowledge Representation and Reasoning

  • Modal and temporal logics
  • Herod and Pilate, two tableau provers for basic hybrid logic

User Modeling and User-Adapted Interaction

Created