CiteSeer.IST Home   Multiple matching documents

Citation: Context   F. Bacchus, J. Halpern, and H. Levesque. Reasoning about noisy sensors and e ectors in the Situation Calculus. Articial Intelligence, 111(1-2):171-208, 1999.

Document: Details   Reasoning 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: Details   Reasoning About Common Knowledge with Infinitely Many Agents (1999) Joseph Y. Halpern, Richard A. Shore

Document: Details   Reasoning about Noisy Sensors in the Situation Calculus (1995) Fahiem Bacchus, Joseph Y. Halpern

CiteSeer.IST - Copyright Penn State and NEC