- Ability and knowing how in the situation calculus.Yves Lespérance, Hector J. Levesque, Fangzhen Lin & Richard B. Scherl - 2000 - Studia Logica 66 (1):165-186.details
|
|
Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems.Vaishak Belle & Hector J. Levesque - 2018 - Artificial Intelligence 262 (C):189-221.details
|
|
Learning and executing generalized robot plans.Richard E. Fikes, Peter E. Hart & Nils J. Nilsson - 1972 - Artificial Intelligence 3 (C):251-288.details
|
|
Knowledge, action, and the frame problem.Richard B. Scherl & Hector J. Levesque - 2003 - Artificial Intelligence 144 (1-2):1-39.details
|
|
Reasoning about noisy sensors and effectors in the situation calculus.Fahiem Bacchus, Joseph Y. Halpern & Hector J. Levesque - 1999 - Artificial Intelligence 111 (1-2):171-208.details
|
|
Strong planning under partial observability.Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri & Paolo Traverso - 2006 - Artificial Intelligence 170 (4-5):337-384.details
|
|
Planning and acting in partially observable stochastic domains.Leslie Pack Kaelbling, Michael L. Littman & Anthony R. Cassandra - 1998 - Artificial Intelligence 101 (1-2):99-134.details
|
|
(1 other version)Some Philosophical Problems from the Standpoint of Artificial Intelligence.J. McCarthy & P. J. Hayes - 1969 - Machine Intelligence 4:463-502.details
|
|
Robot location estimation in the situation calculus.Vaishak Belle & Hector J. Levesque - 2015 - Journal of Applied Logic 13 (4):397-413.details
|
|
A Logical Theory of Localization.Vaishak Belle & Hector J. Levesque - 2016 - Studia Logica 104 (4):741-772.details
|
|
POMDPs under probabilistic semantics.Krishnendu Chatterjee & Martin Chmelík - 2015 - Artificial Intelligence 221:46-72.details
|
|
Weak, strong, and strong cyclic planning via symbolic model checking.A. Cimatti, M. Pistore, M. Roveri & P. Traverso - 2003 - Artificial Intelligence 147 (1-2):35-84.details
|
|
What robots can do: robot programs and effective achievability.Fangzhen Lin & Hector J. Levesque - 1998 - Artificial Intelligence 101 (1-2):201-226.details
|
|