Artificial Intelligence
Main research topics
- Action Planning
- Adaptive Web
- Automated Deduction
- Context-aware and Social recommendation
- Computer Algebra
- e-Learning
- Logic for Knowledge Representation
- Modal and Temporal Logics
- Parallel Algebraic algorithms
- User Modeling and User-Adapted Interaction