| |
| 2008 | ||
|---|---|---|
| 3 | Stavros Vassos, Hector J. Levesque: On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture. AAAI 2008: 1004-1009 | |
| 2 | Stavros Vassos, Gerhard Lakemeyer, Hector J. Levesque: First-Order Strong Progression for Local-Effect Basic Action Theories. KR 2008: 662-672 | |
| 2007 | ||
| 1 | EE | Stavros Vassos, Hector J. Levesque: Progression of Situation Calculus Action Theories with Incomplete Information. IJCAI 2007: 2029-2024 |
| 1 | Gerhard Lakemeyer | [2] |
| 2 | Hector J. Levesque | [1] [2] [3] |