Scherl, Richard B.

3 publications

IJCAI 2003 Reasoning About the Interaction of Knowledge, Time and Concurrent Actions in the Situation Calculus Richard B. Scherl

AAAI 2000 What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems Sheila A. McIlraith, Richard B. Scherl

AAAI 1993 The Frame Problem and Knowledge-Producing Actions Richard B. Scherl, Hector J. Levesque