Last modified:

Position

Main scientific interests

1. logics, in particular in AI, including approximate reasoning, non-classical logics, automated reasoning
2. databases: deductive, object-oriented and distributed databases, knowledge databases, knowledge representation and knowledge discovery, data mining

Recent research

1. quantifier elimination thory and applications in logics, AI, complexity theory and databases
2. approximate reasoning with applications to commonsense reasoning, knowledge fusion and multiagent systems.