Formalisms for agents reasoning with stochastic actions and perceptions.

[1]  Andreas Herzig,et al.  Formalizing Action and Change in Modal Logic I: the frame problem , 1999, J. Log. Comput..

[2]  Marek J. Sergot,et al.  A logic-based calculus of events , 1989, New Generation Computing.

[3]  Michael Thielscher,et al.  From Situation Calculus to Fluent Calculus: State Update Axioms as a Solution to the Inferential Frame Problem , 1999, Artif. Intell..

[4]  Craig Boutilier,et al.  Computing Optimal Policies for Partially Observable Decision Processes Using Compact Representations , 1996, AAAI/IAAI, Vol. 2.

[5]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[6]  Jeanne Ferrante,et al.  A Decision Procedure for the First Order Theory of Real Addition with Order , 1975, SIAM J. Comput..

[7]  Max J. Cresswell,et al.  A New Introduction to Modal Logic , 1998 .

[8]  Saul Kripke,et al.  A completeness theorem in modal logic , 1959, Journal of Symbolic Logic.

[9]  Leslie Pack Kaelbling,et al.  Acting Optimally in Partially Observable Stochastic Domains , 1994, AAAI.

[10]  Adnan Darwiche.  Bayesian networks , 2010, Commun. ACM.

[11]  Hector J. Levesque,et al.  GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..

[12]  Reid G. Simmons,et al.  Point-Based POMDP Algorithms: Improved Analysis and Implementation , 2005, UAI.

[13]  Thomas Käufl,et al.  Reasoning about Systems of Linear Inequalities , 1988, CADE.

[14]  Gerhard Lakemeyer,et al.  A semantic characterization of a useful fragment of the situation calculus with knowledge , 2011, Artif. Intell..

[15]  Raymond Reiter,et al.  Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter , 2001 .

[16]  Rajeev Goré,et al.  Tableau Methods for Modal and Temporal Logics , 1999 .

[17]  Manfred Jaeger,et al.  A Logic for Default Reasoning About Probabilities , 1994, UAI.

[18]  Joelle Pineau,et al.  Tractable planning under uncertainty: exploiting structure , 2004 .

[19]  Guy Shani,et al.  Scaling Up: Solving POMDPs through Value Based Clustering , 2007, AAAI.

[20]  Scott Sanner,et al.  Symbolic Dynamic Programming for First-order POMDPs , 2010, AAAI.

[21]  Th. Motzkin.  Beiträge zur Theorie der linearen Ungleichungen , 1936 .

[22]  Chenggang Wang,et al.  Planning with POMDPs using a compact, logic-based representation , 2005, 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'05).

[23]  Zhisheng Huang,et al.  ALX, an Action Logic for Agents with Bounded Rationality , 1996, Artif. Intell..

[24]  Barteld P. Kooi,et al.  Probabilistic Dynamic Epistemic Logic , 2003, J. Log. Lang. Inf..

[25]  M. de Rijke,et al.  Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.

[26]  Gerhard Lakemeyer,et al.  Situations, Si! Situation Terms, No! , 2004, KR.

[27]  George B. Dantzig,et al.  Linear programming and extensions , 1965 .

[28]  Joseph Y. Halpern,et al.  Random Worlds and Maximum Entropy , 1994, J. Artif. Intell. Res..

[29]  David Poole,et al.  The Independent Choice Logic and Beyond , 2008, Probabilistic Inductive Logic Programming.

[30]  David Poole,et al.  Decision Theory, the Situation Calculus and Conditional Plans , 1998, Electron. Trans. Artif. Intell..

[31]  Edward J. Sondik,et al.  The Optimal Control of Partially Observable Markov Processes over a Finite Horizon , 1973, Oper. Res..

[32]  Helmut Prendinger,et al.  Reasoning about action and change , 1996, J. Log. Lang. Inf..

[33]  Gabriele Kern-Isberner,et al.  Conditionals in Nonmonotonic Reasoning and Belief Revision: Considering Conditionals as Agents , 2001 .

[34]  Ronald Fagin,et al.  A logic for reasoning about probabilities , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.

[35]  Hooman Samani,et al.  Cognitive Robotics , 2015, MIWAI.

[36]  Sally Popkorn.  First Steps in Modal Logic , 1995 .

[37]  Gerhard Lakemeyer,et al.  On the Logical Specification of Probabilistic Transition Models , 2013 .

[38]  L. L. Dines.  Systems of Linear Inequalities , 1919 .

[39]  Raymond Reiter,et al.  The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression , 1991, Artificial and Mathematical Theory of Computation.

[40]  W. Bledsoe.  A new method for proving certain Presburger formulas , 1975, IJCAI 1975.

[41]  Gerhard Lakemeyer,et al.  Cognitive Robotics , 2008, Handbook of Knowledge Representation.

[42]  Jacques Wainer,et al.  Modeling Action, Knowledge and Control , 1998, ECAI.

[43]  A. Seidenberg.  A NEW DECISION METHOD FOR ELEMENTARY ALGEBRA , 1954 .

[44]  R. Bellman.  A Markovian Decision Process , 1957 .

[45]  Alexander Ferrein,et al.  A Logic for Reasoning about Actions and Explicit Observations , 2010, Australasian Conference on Artificial Intelligence.

[46]  J.-J. Ch. Meyer,et al.  Dynamic logic for reasoning about actions and agents , 1999 .

[47]  Moti Schneider,et al.  A stochastic model of actions and plans for anytime planning under uncertainty , 1995, Int. J. Intell. Syst..

[48]  Hector J. Levesque,et al.  Knowledge Representation and Reasoning , 2004 .

[49]  Gerhard Lakemeyer,et al.  SLAP: Specification logic of actions with probability , 2014, J. Appl. Log..

[50]  W. Lovejoy.  A survey of algorithmic methods for partially observed Markov decision processes , 1991 .

[51]  L Poole David,et al.  Artificial Intelligence: Foundations of Computational Agents , 2010 .

[52]  Craig Boutilier,et al.  Decision-Theoretic, High-Level Agent Programming in the Situation Calculus , 2000, AAAI/IAAI.

[53]  Nils J. Nilsson,et al.  Probabilistic Logic * , 2022 .

[54]  Joseph Y. Halpern,et al.  Forming Beliefs about a Changing World , 1994, AAAI.

[55]  Joelle Pineau,et al.  Point-based value iteration: An anytime algorithm for POMDPs , 2003, IJCAI.

[56]  Alex M. Andrew,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .

[57]  Maurice Bruynooghe,et al.  Logical Bayesian Networks and Their Relation to Other Probabilistic Logical Models , 2005, BNAIC.

[58]  Craig Boutilier,et al.  Decision-Theoretic Planning: Structural Assumptions and Computational Leverage , 1999, J. Artif. Intell. Res..

[59]  Joshua Sack,et al.  Extending probabilistic dynamic epistemic logic , 2009, Synthese.

[60]  Gavin Rens.  A belief-desire-intention architechture with a logic-based planner for agents in stochastic domains , 2010 .

[61]  Johan van Benthem,et al.  Dynamic Update with Probabilities , 2009, Stud Logica.

[62]  Eyal Amir,et al.  Probabilistic Modal Logic , 2007, AAAI.

[63]  Gerhard Lakemeyer,et al.  A Logic for Specifying Agent Actions and Observations with Probability , 2012, STAIRS.

[64]  Gerhard Lakemeyer,et al.  A Logic for Specifying Stochastic Actions and Observations , 2014, FoIKS.

[65]  Robert Kowalski.  Computational Logic and Human Thinking: Truth , 2011 .

[66]  Gerhard Lakemeyer,et al.  ESP: A Logic of Only-Knowing, Noisy Sensing and Acting , 2007, AAAI.

[67]  John H. Reif,et al.  The complexity of elementary algebra and geometry , 1984, STOC '84.

[68]  G. Sacks.  A DECISION METHOD FOR ELEMENTARY ALGEBRA AND GEOMETRY , 2003 .

[69]  Sven Koenig,et al.  Agent-Centered Search , 2001, AI Mag..

[70]  Leslie Pack Kaelbling,et al.  Planning and Acting in Partially Observable Stochastic Domains , 1998, Artif. Intell..

[71]  Michael Zakharyaschev,et al.  Modal Logic , 1997, Oxford logic guides.

[72]  Wiebe van der Hoek,et al.  Dynamic Epistemic Logic and Knowledge Puzzles , 2007, ICCS.

[73]  George E. Collins,et al.  Quantifier elimination for real closed fields by cylindrical algebraic decomposition , 1975 .

[74]  Mordechai Ben-Ari,et al.  Mathematical Logic for Computer Science , 2012, Springer London.

[75]  Hector J. Levesque,et al.  The Language of First-Order Logic , 2004 .

[76]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[77]  Daniel Kroening,et al.  Decision Procedures - An Algorithmic Point of View , 2008, Texts in Theoretical Computer Science. An EATCS Series.

[78]  Jerzy Tiuryn,et al.  Dynamic logic , 2001, SIGA.

[79]  Robert E. Shostak,et al.  On the SUP-INF Method for Proving Presburger Formulas , 1977, JACM.

[80]  E. T. Jaynes,et al.  Where do we Stand on Maximum Entropy , 1979 .

[81]  J. McCarthy.  Situations, Actions, and Causal Laws , 1963 .

[82]  Wolfram Burgard,et al.  Probabilistic Robotics (Intelligent Robotics and Autonomous Agents) , 2005 .

[83]  George E. Monahan,et al.  A Survey of Partially Observable Markov Decision Processes: Theory, Models, and Algorithms , 2007 .

[84]  Maurizio Lenzerini,et al.  PDL-based framework for reasoning about actions , 1995, AI*IA.

[85]  Thomas Lukasiewicz,et al.  Reasoning about actions with sensing under qualitative and probabilistic uncertainty , 2004, TOCL.

[86]  Joelle Pineau,et al.  Online Planning Algorithms for POMDPs , 2008, J. Artif. Intell. Res..

[87]  Shlomo Zilberstein,et al.  Solving POMDPs using quadratically constrained linear programs , 2006, AAMAS '06.