Research
My research interests lie in knowledge representation and reasoning in
Artificial Intelligence. In particular, I am interested in the
following research areas:
- Tractable reasoning in incomplete first-order knowledge
bases
- Reasoning about actions
- Verification of agent programs
- Domain axiomatization
- Declarative problem solving