Research Interests
Artificial Intelligence
Automated Deduction
Knowledge Representation and Reasoning
Natural Language Processing
Cognitive Science
Information Systems
Databases