| |
| 2008 | ||
|---|---|---|
| 3 | Yilan Gu, Mikhail Soutchanski: Reasoning about Large Taxonomies of Actions. AAAI 2008: 931-937 | |
| 2007 | ||
| 2 | EE | Yilan Gu, Mikhail Soutchanski: Decidable Reasoning in a Modified Situation Calculus. IJCAI 2007: 1891-1897 |
| 2006 | ||
| 1 | Yilan Gu, Mikhail Soutchanski: The Two-Variable Situation Calculus. STAIRS 2006: 144-161 | |
| 1 | Mikhail Soutchanski | [1] [2] [3] |