| 2008 |
|---|
| 10 | | Yilan Gu,
Mikhail Soutchanski:
Reasoning about Large Taxonomies of Actions.
AAAI 2008: 931-937 |
| 9 | EE | Mikhail Soutchanski,
Paulo Santos:
Reasoning about Dynamic Depth Profiles.
ECAI 2008: 30-34 |
| 2007 |
|---|
| 8 | EE | Yilan Gu,
Mikhail Soutchanski:
Decidable Reasoning in a Modified Situation Calculus.
IJCAI 2007: 1891-1897 |
| 2006 |
|---|
| 7 | | Mikhail Soutchanski,
Huy Pham,
John Mylopoulos:
Decision Making in Uncertain Real-World Domains Using DT-Golog.
AAAI 2006 |
| 6 | | Mikhail Soutchanski,
Huy Pham,
John Mylopoulos:
Decision Making in Large-Scale Domains: A Case Study.
ECAI 2006: 773-774 |
| 5 | | Yilan Gu,
Mikhail Soutchanski:
The Two-Variable Situation Calculus.
STAIRS 2006: 144-161 |
| 2001 |
|---|
| 4 | | Mikhail Soutchanski:
An On-line Decision-Theoretic Golog Interpreter.
IJCAI 2001: 19-26 |
| 2000 |
|---|
| 3 | | Craig Boutilier,
Raymond Reiter,
Mikhail Soutchanski,
Sebastian Thrun:
Decision-Theoretic, High-Level Agent Programming in the Situation Calculus.
AAAI/IAAI 2000: 355-362 |
| 1998 |
|---|
| 2 | | Giuseppe De Giacomo,
Raymond Reiter,
Mikhail Soutchanski:
Execution Monitoring of High-Level Robot Programs.
KR 1998: 453-465 |
| 1994 |
|---|
| 1 | | Mikhail Soutchanski,
Eugenia Ternovskaia:
Logical Formalization of Concurrent Actions for Multi-Agent Systems.
ECAI Workshop on Agent Theories, Architectures, and Languages 1994: 129-144 |
