![]() | ![]() |
| 2010 | ||
|---|---|---|
| 4 | Yilan Gu, Mikhail Soutchanski: A description logic based situation calculus. Ann. Math. Artif. Intell. 58(1-2): 3-83 (2010) | |
| 2008 | ||
| 3 | Yilan Gu, Mikhail Soutchanski: Reasoning about Large Taxonomies of Actions. AAAI 2008: 931-937 | |
| 2007 | ||
| 2 | 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] [4] |
Data released under the ODC-BY 1.0 license — See also our legal information page