Author of the publication

Nondeterminism and Uncertainty in the Situation Calculus.

, , , and . FLAIRS Conference, page 454-460. AAAI Press, (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Nondeterminism and Uncertainty in the Situation Calculus., , , and . FLAIRS Conference, page 454-460. AAAI Press, (1999)Specifying Active Rules for Database Maintenance., and . FMLDO - Selected Papers, volume 1773 of Lecture Notes in Computer Science, page 112-129. Springer, (1999)Reasoning About Time in the Situation Calculus., and . Ann. Math. Artif. Intell., 14 (2-4): 251-268 (1995)Integrating Discrete and Continuous Change in a Logical Framework.. Computational Intelligence, 14 (1): 39-88 (1998)Temporal Reasoning in Logic Programming: A Case for the Situation Calculus., and . ICLP, page 203-221. MIT Press, (1993)Integrating True Concurrency into the Robot Programming Language., and . SCCC, page 179-186. IEEE Computer Society, (1999)Probabilistic Situation Calculus., , , , and . Ann. Math. Artif. Intell., 32 (1-4): 393-431 (2001)Using histories to model observations in theories of action.. PRICAI Workshops, volume 1359 of Lecture Notes in Computer Science, page 221-233. Springer, (1996)Planning under uncertainty as Golog programs., and . J. Exp. Theor. Artif. Intell., 15 (4): 383-405 (2003)Concurrent Actions and Interacting Effects.. KR, page 292-303. Morgan Kaufmann, (1998)