Evgenia Ternovska

• The situation calculus