- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Sound and efficient closed-world reasoning for planning
Artificial Intelligence 89 (1-2):113-148 (1997)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Planning the project management way: Efficient planning by effective integration of causal and resource reasoning in RealPlan.Biplav Srivastava, Subbarao Kambhampati & Minh B. Do - 2001 - Artificial Intelligence 131 (1-2):73-134.
On the reasoning of real-world agents: Toward a semantics for active logic.Michael L. Anderson, John Grant & Don Perlis - unknown
The epistemic basis of defeasible reasoning.Robert L. Causey - 1991 - Minds and Machines 1 (4):437-458.
Educating for Practical Reasoning.Thomas Magnell - 2001 - The Proceedings of the Twentieth World Congress of Philosophy 11:233-239.
Foundations of Everyday Practical Reasoning.Hanti Lin - 2013 - Journal of Philosophical Logic 42 (6):831-862.
Reasoning with the Infinite. From the Closed World to the Mathematical Universe. [REVIEW]Paolo Mancosu - 1999 - Early Science and Medicine 4 (4):365-366.
Saturation, nonmonotonic reasoning and the closed-world assumption.Genevieve Bossu & Pierre Siegel - 1985 - Artificial Intelligence 25 (1):13-63.
Reasoning with the Infinite: From the Closed World to the Mathematical Universe. Michel Blay, M. B. DeBevoise.Antoni Malet - 2000 - Isis 91 (4):778-779.
Nonmonotonic reasoning: logical foundations of commonsense.Gerhard Brewka (ed.) - 1991 - New York: Cambridge University Press.
Analytics
Added to PP
2020-12-22
Downloads
6 (#1,451,665)
6 months
1 (#1,479,630)
2020-12-22
Downloads
6 (#1,451,665)
6 months
1 (#1,479,630)
Historical graph of downloads
Citations of this work
Wrapper induction: Efficiency and expressiveness.Nicholas Kushmerick - 2000 - Artificial Intelligence 118 (1-2):15-68.
Approximate databases: a support tool for approximate reasoning.Patrick Doherty, Martin Magnusson & Andrzej Szalas - 2006 - Journal of Applied Non-Classical Logics 16 (1-2):87-117.
Intelligent Internet systems.Alon Y. Levy & Daniel S. Weld - 2000 - Artificial Intelligence 118 (1-2):1-14.
Practical reasoning about knowledge states for open world planning with sensing.Tamara Babaian & James G. Schmolze - 2009 - Journal of Applied Non-Classical Logics 19 (1):7-41.
References found in this work
Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.
All I know: A study in autoepistemic logic.Hector J. Levesque - 1990 - Artificial Intelligence 42 (2-3):263-309.
On the complexity of propositional knowledge base revision, updates, and counterfactuals.Thomas Eiter & Georg Gottlob - 1992 - Artificial Intelligence 57 (2-3):227-270.
Reasoning about action I.Matthew L. Ginsberg & David E. Smith - 1988 - Artificial Intelligence 35 (2):165-195.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-659b74868d-gf2vn uwo