- CSB - MetaPress - Google - Bing - Yahoo
 | 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 |  | 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] |