Citation: Context F. Bacchus, J. Halpern, and H. Levesque. Reasoning about noisy sensors and eectors in the Situation Calculus. Articial Intelligence, 111(1-2):171-208, 1999.
Document: DetailsReasoning about Noisy Sensors and Effectors in the Situation Calculus (1998) Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque
Citation: Context F. Bacchus, J. Halpern, and H. Levesque. Reasoning about noisy sensors and e#ectors in the situation calculus. Artif. Intell., 111(1--2):171--208, 1999.
Document: DetailsReasoning About Common Knowledge with Infinitely Many Agents (1999) Joseph Y. Halpern, Richard A. Shore
Document: DetailsReasoning about Noisy Sensors in the Situation Calculus (1995) Fahiem Bacchus, Joseph Y. Halpern