- A formal account of opportunism based on the situation calculus.Jieting Luo & John-Jules Meyer - 2017 - AI and Society 32 (4):527-542.details
|
|
On the progression of belief.Daxin Liu & Qihui Feng - 2023 - Artificial Intelligence 322 (C):103947.details
|
|
From Knowledge-based Programs to Graded Belief-based Programs, Part I: On-line Reasoning.Noël Laverny & Jérôme Lang - 2005 - Synthese 147 (2):277-321.details
|
|
An Epistemic Approach to Nondeterminism: Believing in the Simplest Course of Events.James P. Delgrande & Hector J. Levesque - 2019 - Studia Logica 107 (5):859-886.details
|
|
Bounded situation calculus action theories.Giuseppe De Giacomo, Yves Lespérance & Fabio Patrizi - 2016 - Artificial Intelligence 237 (C):172-203.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
|
|
David Makinson on Classical Methods for Non-Classical Problems.Sven Ove Hansson (ed.) - 2013 - Dordrecht, Netherland: Springer.details
|
|
An approach to temporalised legal revision through addition of literals.Martín O. Moguillansky, Diego C. Martinez, Luciano H. Tamargo & Antonino Rotolo - 2024 - Artificial Intelligence and Law 32 (3):621-666.details
|
|
An axiomatic characterization of temporalised belief revision in the law.Luciano H. Tamargo, Diego C. Martinez, Antonino Rotolo & Guido Governatori - 2019 - Artificial Intelligence and Law 27 (4):347-367.details
|
|
John McCarthy's legacy.Leora Morgenstern & Sheila A. McIlraith - 2011 - Artificial Intelligence 175 (1):1-24.details
|
|
Safe Contraction Revisited.Hans Rott & Sven Ove Hansson - 2014 - In Sven Ove Hansson (ed.), David Makinson on Classical Methods for Non-Classical Problems (Outstanding Contributions to Logic, Vol. 3). Springer. pp. 35–70.details
|
|
First-order logical filtering.Afsaneh Shirazi & Eyal Amir - 2011 - Artificial Intelligence 175 (1):193-219.details
|
|
Belief revision and projection in the epistemic situation calculus.Christoph Schwering, Gerhard Lakemeyer & Maurice Pagnucco - 2017 - Artificial Intelligence 251 (C):62-97.details
|
|