Research interests My current research interests are with knowledge representation and reasoning computational logic algorithms and complexity in AI declarative problem solving nonmonotonic logic programming and databases reasoning about actions and change intelligent agents