T. Kelley

Qualitative Reasoning about Continuous Processes with the Situation Calculus

T. Kelley, 1999 .

Modeling Dynamic Domains with ConGolog

John Mylopoulos, Eric S. K. Yu, Yves Lespérance, 1999, CAiSE.

Modeling Complex Systems in the Situation Calculus: A Case Study Using the Dagstuhl Steam Boiler Problem

Todd G. Kelley, T. Kelley, 1996, KR.

Reasoning about Physical Systems with the Situation Calculus

Todd G. Kelley, T. Kelley, 1995 .