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

Todd G. Kelley

Browse the full KR paper archive.