Arkady Rabinov

According to our database, Arkady Rabinov authored at least 6 papers between 1988 and 1991.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1991

What are the Limitations of the Situation Calculus?

Michael Gelfond, Vladimir Lifschitz, Arkady Rabinov

Proceedings of the Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991

1989

A Generalization of Collapsible Cases of Circumscription.

Arkady Rabinov

Artif. Intell., 1989

Miracles in Formal Theories of Action.

Vladimir Lifschitz, Arkady Rabinov

Artif. Intell., 1989

Things That Change by Themselves.

Vladimir Lifschitz, Arkady Rabinov

Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

First Order Theories of Quantification.

Arkady Rabinov

Proceedings of the EPIA 89, 1989

1988

A Restriction of Factoring in Binary Resolution.

Arkady Rabinov

Proceedings of the 9th International Conference on Automated Deduction, 1988