Experience
Education
Bio
Research Areas Our research focuses on foundations and formal aspects of knowledge-based systems and Artificial Intelligence, with emphasis on (but not restricted to): Knowledge Representation and Reasoning Computational Logic and Complexity Declarative Problem Solving Intelligent Agents Mobile Robots Knowledge-Based Systems in Engineering