Regression and progression in stochastic domains

[1]  Hector J. Levesque,et al.  Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems , 2018, Artif. Intell..

[2]  Gerhard Lakemeyer,et al.  Reasoning about Probabilities in Unbounded First-Order Dynamical Domains , 2017, IJCAI.

[3]  CACM Staff,et al.  What about statistical relational learning? , 2015, Commun. ACM.

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

[5]  Guy Van den Broeck,et al.  Probabilistic Inference in Hybrid Domains by Weighted Model Integration , 2015, IJCAI.

[6]  Hector J. Levesque,et al.  How to Progress Beliefs in Continuous Domains , 2014, KR.

[7]  Hector J. Levesque,et al.  PREGO: An Action Language for Belief-Based Cognitive Robotics in Continuous Domains , 2014, AAAI.

[8]  Hector J. Levesque,et al.  Reasoning about Probabilities in Dynamic Systems using Goal Regression , 2013, UAI.

[9]  Hector J. Levesque,et al.  Reasoning about Continuous Uncertainty in the Situation Calculus , 2013, IJCAI.

[10]  Leslie Pack Kaelbling,et al.  Integrated task and motion planning in belief space , 2013, Int. J. Robotics Res..

[11]  Pedro M. Domingos,et al.  A Tractable First-Order Probabilistic Logic , 2012, AAAI.

[12]  Gerhard Lakemeyer,et al.  A Semantical Account of Progression in the Presence of Uncertainty , 2011, AAAI.

[13]  Yongmei Liu,et al.  On the Progression of Knowledge in the Situation Calculus , 2011, IJCAI.

[14]  Andreas Herzig,et al.  From Situation Calculus to Dynamic Epistemic Logic , 2011, J. Log. Comput..

[15]  Pedro M. Domingos,et al.  Formula-Based Probabilistic Inference , 2010, UAI.

[16]  Eyal Amir,et al.  Reasoning about Deterministic Actions with Probabilistic Prior and Application to Stochastic Filtering , 2010, KR.

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

[18]  Gerhard Lakemeyer,et al.  Point-based value iteration: an anytime algorithm for POMDPs , 2003, IJCAI 2003.

[19]  G. Lakemeyer,et al.  A Semantical Account of Progression in the Presence of Defaults , 2009, IJCAI.

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

[21]  Hector J. Levesque,et al.  On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture , 2008, AAAI.

[22]  Jussi Rintanen,et al.  Regression for Classical and Nondeterministic Planning , 2008, ECAI.

[23]  Sheila A. McIlraith,et al.  Monitoring Plan Optimality During Execution , 2007, ICAPS.

[24]  Andreas Herzig,et al.  Optimal Regression for Reasoning about Knowledge and Actions , 2007, AAAI.

[25]  Pedro M. Domingos,et al.  Markov Logic in Infinite Domains , 2007, UAI.

[26]  W. Hoek,et al.  Dynamic Epistemic Logic , 2007 .

[27]  J. Lang,et al.  ProbLog: A Probabilistic Prolog and Its Application in Link Discovery , 2007, IJCAI.

[28]  Hector J. Levesque,et al.  Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions , 2005, IJCAI.

[29]  Stuart J. Russell,et al.  BLOG: Probabilistic Models with Unknown Objects , 2005, IJCAI.

[30]  Eyal Amir,et al.  First-Order Logical Filtering , 2005, IJCAI.

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

[32]  David Poole,et al.  First-order probabilistic inference , 2003, IJCAI.

[33]  Dieter Fox,et al.  Bayesian Filtering for Location Estimation , 2003, IEEE Pervasive Comput..

[34]  Hector J. Levesque,et al.  Knowledge, action, and the frame problem , 2003, Artif. Intell..

[35]  Craig Boutilier,et al.  Symbolic Dynamic Programming for First-Order MDPs , 2001, IJCAI.

[36]  Raymond Reiter,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2001 .

[37]  Ben Taskar,et al.  Learning Probabilistic Models of Relational Structure , 2001, ICML.

[38]  Miodrag Raskovic,et al.  Some first-order probability logics , 2000, Theor. Comput. Sci..

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

[40]  Joseph Y. Halpern,et al.  Reasoning about Noisy Sensors and Effectors in the Situation Calculus , 1999, Artif. Intell..

[41]  Xavier Boyen,et al.  Tractable Inference for Complex Stochastic Processes , 1998, UAI.

[42]  Avi Pfeffer,et al.  Probabilistic Frame-Based Systems , 1998, AAAI/IAAI.

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

[44]  Fangzhen Lin,et al.  How to Progress a Database , 1997, Artif. Intell..

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

[46]  Hector J. Levesque,et al.  What Is Planning in the Presence of Sensing? , 1996, AAAI/IAAI, Vol. 2.

[47]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[48]  Nicholas Kushmerick,et al.  An Algorithm for Probabilistic Planning , 1995, Artif. Intell..

[49]  Michael Gelfond,et al.  Representing Action and Change by Logic Programs , 1993, J. Log. Program..

[50]  Michael P. Wellman,et al.  Planning and Control , 1991 .

[51]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems - networks of plausible inference , 1991, Morgan Kaufmann series in representation and reasoning.

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

[53]  Joseph Y. Halpern.  An Analysis of First-Order Logics of Probability , 1989, IJCAI.

[54]  Keiji Kanazawa,et al.  A model for reasoning about persistence and causation , 1989 .

[55]  Ronald Fagin,et al.  Reasoning about knowledge and probability , 1988, JACM.

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

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

[58]  G. C. Tiao,et al.  Bayesian inference in statistical analysis , 1973 .

[59]  Sheila A. McIlraith,et al.  Epistemic Planning (Dagstuhl Seminar 17231) , 2017, Dagstuhl Reports.

[60]  Joshua Sack,et al.  Epistemic Probabilistic Logic , 2015 .

[61]  Barteld Kooi,et al.  Logic and Probabilistic Update , 2014, Johan van Benthem on Logic and Information Dynamics.

[62]  Prasoon Goyal,et al.  Probabilistic Databases , 2009, Encyclopedia of Database Systems.

[63]  Kristian Kersting,et al.  Statistical Relational Learning , 2010, Encyclopedia of Machine Learning.

[64]  S. Vassos.  A Reasoning Module for Long-lived Cognitive Agents , 2009 .

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

[66]  Michael Thielscher,et al.  Reasoning robots - the art and science of programming robotic agents , 2005, Applied logic series.

[67]  David Madigan,et al.  Probabilistic Temporal Reasoning , 2005, Handbook of Temporal Reasoning in Artificial Intelligence.

[68]  Håkan L. S. Younes,et al.  PPDDL 1 . 0 : An Extension to PDDL for Expressing Planning Domains with Probabilistic Effects , 2004 .

[69]  John N. Tsitsiklis,et al.  Introduction to Probability , 2002 .

[70]  Sebastian Thrun,et al.  Probabilistic robotics , 2002, CACM.

[71]  Ken Binmore,et al.  Calculus: Concepts and Methods , 2001 .

[72]  Hector J. Levesque,et al.  Foundations for the Situation Calculus , 1998, Electron. Trans. Artif. Intell..

[73]  R. Reiter,et al.  Forget It ! , 1994 .

[74]  Fahiem Bacchus,et al.  Representing and reasoning with probabilistic knowledge , 1988 .

[75]  Herbert B. Enderton,et al.  A mathematical introduction to logic , 1972 .

[76]  R. Smullyan.  First-Order Logic , 1968 .

[77]  W. F. Trench,et al.  Introduction to Real Analysis: An Educational Approach , 2009 .