| |
| 1991 | ||
|---|---|---|
| 6 | Michael Gelfond, Vladimir Lifschitz, Arkady Rabinov: What are the Limitations of the Situation Calculus? Automated Reasoning: Essays in Honor of Woody Bledsoe 1991: 167-180 | |
| 1989 | ||
| 5 | Arkady Rabinov: First Order Theories of Quantification. EPIA 1989: 51-62 | |
| 4 | Vladimir Lifschitz, Arkady Rabinov: Things That Change by Themselves. IJCAI 1989: 864-867 | |
| 3 | Arkady Rabinov: A Generalization of Collapsible Cases of Circumscription. Artif. Intell. 38(1): 111-117 (1989) | |
| 2 | Vladimir Lifschitz, Arkady Rabinov: Miracles in Formal Theories of Action. Artif. Intell. 38(2): 225-237 (1989) | |
| 1988 | ||
| 1 | Arkady Rabinov: A Restriction of Factoring in Binary Resolution. CADE 1988: 582-591 | |
| 1 | Michael Gelfond | [6] |
| 2 | Vladimir Lifschitz | [2] [4] [6] |