My research concentrates on problems in the areas of artificial intelligence, knowledge representation, logic, nonmonotonic logics, logic programming, automated reasoning, and databases.