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] |