Experience
    Education
    Bio
    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