dblp.uni-trier.dewww.uni-trier.de

Arkady Rabinov Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*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
1EEArkady Rabinov: A Restriction of Factoring in Binary Resolution. CADE 1988: 582-591

Coauthor Index

1Michael Gelfond [6]
2Vladimir Lifschitz [2] [4] [6]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)