REASONING ABOUT ACTIONS WITH SENSING UNDER QUALITATIVE AND

[1]  Anne Condon,et al.  On the undecidability of probabilistic planning and related stochastic optimization problems , 2003, Artif. Intell..

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

[3]  Hector Geffner,et al.  Perspectives on artificial intelligence planning , 2002, AAAI/IAAI.

[4]  Richard J. Lipton,et al.  On the complexity of space bounded interactive proofs , 1989, 30th Annual Symposium on Foundations of Computer Science.

[5]  Thomas Lukasiewicz,et al.  Probabilistic Reasoning about Actions in Nonmonotonic Causal Theories , 2002, UAI 2002.

[6]  Martha E. Pollack,et al.  Conditional, Probabilistic Planning: A Unifying Algorithm and Effective Search Control Mechanisms , 1999, AAAI/IAAI.

[7]  Ian Horrocks,et al.  From SHIQ and RDF to OWL: the making of a Web Ontology Language , 2003, J. Web Semant..

[8]  Vladimir Lifschitz.  Minimal Belief and Negation as Failure , 1994, Artif. Intell..

[9]  Chitta Baral,et al.  Reasoning about actions in a probabilistic setting , 2002, AAAI/IAAI.

[10]  Tim Berners-Lee,et al.  Weaving The Web: The Original Design And Ultimate Destiny of the World Wide Web , 1999 .

[11]  David Poole,et al.  Logic, Knowledge Representation, and Bayesian Decision Theory , 2000, Computational Logic.

[12]  Enrico Giunchiglia,et al.  Nonmonotonic causal theories , 2004, Artif. Intell..

[13]  Gerhard Lakemeyer,et al.  Belief Update in the pGOLOG Framework , 2001, KI/ÖGAI.

[14]  Tran Cao Son,et al.  Formalizing sensing actions A transition function based approach , 2001, Artif. Intell..

[15]  Azaria Paz,et al.  Introduction to Probabilistic Automata , 1971 .

[16]  António Pacheco,et al.  Probabilistic Situation Calculus , 2001, Annals of Mathematics and Artificial Intelligence.

[17]  Martin L. Puterman,et al.  Markov Decision Processes: Discrete Stochastic Dynamic Programming , 1994 .

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

[19]  James A. Hendler,et al.  Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential , 2002 .

[20]  David Poole,et al.  The Independent Choice Logic for Modelling Multiple Agents Under Uncertainty , 1997, Artif. Intell..

[21]  Daniel S. Weld,et al.  Probabilistic Planning with Information Gathering and Contingent Execution , 1994, AIPS.

[22]  Tran Cao Son,et al.  Planning with Sensing Actions and Incomplete Information Using Logic Programming , 2004, LPNMR.

[23]  Joseph Y. Halpern,et al.  Knowledge, probability, and adversaries , 1993, JACM.

[24]  Steven Shapiro,et al.  Belief Change with Noisy Sensing and Introspection , 2005, Belief Change in Rational Agents.

[25]  Daniele Nardi,et al.  Planning with sensing, concurrency, and exogenous events: logical framework and implementation , 2000, KR.

[26]  Franz Baader,et al.  Integrating Description Logics and Action Formalisms: First Results , 2005, Description Logics.

[27]  Lars Karlsson,et al.  Conditional progressive planning under uncertainty , 2001, IJCAI.

[28]  Alberto Finzi,et al.  Combining Probabilities, Failures and Safety in Robot Control , 2001, IJCAI.

[29]  Francesco M. Donini,et al.  Description logics of minimal knowledge and negation as failure , 2002, TOCL.

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

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

[32]  Jorge Lobo,et al.  Adding Knowledge to the Action Description Language A , 1997, AAAI/IAAI.