- 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
Automatically generating abstractions for planning
Artificial Intelligence 68 (2):243-302 (1994)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Planning as refinement search: a unified framework for evaluating design tradeoffs in partial-order planning.Subbarao Kambhampati, Craig A. Knoblock & Qiang Yang - 1995 - Artificial Intelligence 76 (1-2):167-238.
Automatically Generating Plans for Manufacturing.Billy Harris, Diane J. Cook & Frank Lewis - 2000 - Journal of Intelligent Systems 10 (3):279-319.
Automatically generating personalized user interfaces with Supple.Krzysztof Z. Gajos, Daniel S. Weld & Jacob O. Wobbrock - 2010 - Artificial Intelligence 174 (12-13):910-950.
The planning illusion: does active planning of a learning route support learning as well as learners think it does?Wilco J. Bonestroo & Ton de Jong - 2012 - Educational Studies 38 (5):559-571.
Automatically selecting and using primary effects in planning: theory and experiments.Eugene Fink & Qiang Yang - 1997 - Artificial Intelligence 89 (1-2):285-315.
Automatically Constructing Membership Functions and Generating Fuzzy Rules Using Genetic Algorithms [J].Chen Shyi-Ming & Chen Yung-Chou - 2002 - In Robert Trappl (ed.), Cybernetics and Systems. Austrian Society for Cybernetics Studies. pp. 33--8.
Automatic Learning of Proof Methods in Proof Planning.Mateja Jamnik, Manfred Kerber, Martin Pollet & Christoph Benzmüller - 2003 - Logic Journal of the IGPL 11 (6):647-673.
Abstraction in ecology: reductionism and holism as complementary heuristics.Jani Raerinne - 2018 - European Journal for Philosophy of Science 8 (3):395-416.
Mark Redwood (ed): Agriculture in urban planning: generating livelihoods and food security. [REVIEW]Hilary B. Booker - 2012 - Agriculture and Human Values 29 (1):125-126.
Watershed Planning: Pseudo-democracy and its Alternatives – The Case of the Cache River Watershed, Illinois. [REVIEW]Jane Adams, Steven Kraft, J. B. Ruhl, Christopher Lant, Tim Loftus & Leslie Duram - 2005 - Agriculture and Human Values 22 (3):327-338.
Automaticity and inhibition in action planning.Matthew R. Longo & Bennett I. Bertenthal - 2004 - Behavioral and Brain Sciences 27 (1):44-45.
The Formative Use of Assessment Information in Planning: The Notion of Contingent Planning.John Threlfall - 2005 - British Journal of Educational Studies 53 (1):54 - 65.
Analytics
Added to PP
2020-12-22
Downloads
4 (#1,620,449)
6 months
3 (#965,065)
2020-12-22
Downloads
4 (#1,620,449)
6 months
3 (#965,065)
Historical graph of downloads
Citations of this work
Using temporal logics to express search control knowledge for planning.Fahiem Bacchus & Froduald Kabanza - 2000 - Artificial Intelligence 116 (1-2):123-191.
Computational research on interaction and agency.Philip E. Agre - 1995 - Artificial Intelligence 72 (1-2):1-52.
Planning as refinement search: a unified framework for evaluating design tradeoffs in partial-order planning.Subbarao Kambhampati, Craig A. Knoblock & Qiang Yang - 1995 - Artificial Intelligence 76 (1-2):167-238.
On the complexity of planning for agent teams and its implications for single agent planning.Ronen I. Brafman & Carmel Domshlak - 2013 - Artificial Intelligence 198 (C):52-71.
Red–black planning: A new systematic approach to partial delete relaxation.Carmel Domshlak, Jörg Hoffmann & Michael Katz - 2015 - Artificial Intelligence 221 (C):73-114.
References found in this work
SOAR: An architecture for general intelligence.John E. Laird, Allen Newell & Paul S. Rosenbloom - 1987 - Artificial Intelligence 33 (1):1-64.
Strips: A new approach to the application of theorem proving to problem solving.Richard E. Fikes & Nils J. Nilsson - 1971 - Artificial Intelligence 2 (3-4):189-208.
Planning in a hierarchy of abstraction spaces.Earl D. Sacerdoti - 1974 - Artificial Intelligence 5 (2):115-135.
Learning and executing generalized robot plans.Richard E. Fikes, Peter E. Hart & Nils J. Nilsson - 1972 - Artificial Intelligence 3 (C):251-288.
Quantitative results concerning the utility of explanation-based learning.Steven Minton - 1990 - Artificial Intelligence 42 (2-3):363-391.
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-64dd777598-cl5t5 uwo