via [boing boing].
Recent
- A Reasoning Module for Long-Lived Cognitive Agents (Ph.D. Thesis)
- Progressing basic action theories with non-local effect actions (CS-09)
- First-Order Strong Progression for Local-Effect Basic Action Theories (KR-08)
- On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture (AAAI-08)
- Outstanding Paper Honorable Mention Award in AAAI-08!!!
- Progression of Situation Calculus Action Theories with Incomplete Information (IJCAI-07)