Todd G. Kelley

Publication Activity (10 Years)

Years Active: 1996-1999
Publications (10 Years): 0

Publications

Yves Lespérance, Todd G. Kelley, John Mylopoulos, Eric S. K. Yu
Modeling Dynamic Domains with ConGolog. CAiSE (1999)
Todd G. Kelley
Modeling Complex Systems in the Situation Calculus: A Case Study Using the Dagstuhl Steam Boiler Problem. KR (1996)