Oh no! You're looking for something which just isn't here! Fear not however, errors are to be expected, and luckily there are tools on the sidebar for you to use in your search for what you need.
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)