E. Ternovskaia

Causality via Inductive Deenitions

Eugenia Ternovskaia, E. Ternovskaia, Eugenia Ternovskaia, 2007 .

ID-logic and the ramification problem for the situation calculus

Eugenia Ternovskaia, E. Ternovskaia, 2000 .

Automata theory for reasoning about actions

Eugenia Ternovskaia, E. Ternovskaia, 1999, IJCAI 1999.

Inductive Definability and the Situation Calculus

Eugenia Ternovskaia, E. Ternovskaia, Eugenia Ternovskaia, 1996 .

Logical Theory of Concurrent Actions: Extended and Enlarged Abstract

M. Soutchanski, E. Ternovskaia, 1993 .