Eugenia Ternovskaia

Interval Situation Calculus

Eugenia Ternovskaia, 1994 .

ID-logic and the ramification problem for the situation calculus

Eugenia Ternovskaia, E. Ternovskaia, 2000 .

Inductive Definability and the Situation Calculus

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

Causality via Inductive Deenitions

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

Automata theory for reasoning about actions

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