Research

---

1. logics, in particular in AI and knowledge representation, including approximate reasoning, non-classical logics, nonmonotonic reasoning, automated reasoning
2. databases: deductive, object-oriented and distributed databases, knowledge databases, paraconsistent databases, knowledge representation and knowledge discovery, data mining
3. multiagent systems: formal models, knowledge fusion, Semantic Web agents, game-theoretical approaches