Downward refinement and the efficiency of hierarchical problem solving

&
Artificial Intelligence 71 (1):43-100 (1994)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(94)90062-0

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,314

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Learning problem solving strategies using refinement and macro generation.H. Altay Güvenir & George W. Ernst - 1990 - Artificial Intelligence 44 (1-2):209-243.
Constraint-based reasoning and privacy/efficiency tradeoffs in multi-agent problem solving.Richard J. Wallace & Eugene C. Freuder - 2005 - Artificial Intelligence 161 (1-2):209-227.
Solving QBF with counterexample guided refinement.Mikoláš Janota, William Klieber, Joao Marques-Silva & Edmund Clarke - 2016 - Artificial Intelligence 234 (C):1-25.
Bacchus Fahiem. Representing and reasoning with probabilistic knowledge. A logical approach to probabilities. The MIT Press, Cambridge, Mass., and London, 1991 , xvii + 233 pp. [REVIEW]Jerzy W. Grzymala-Busse - 1999 - Journal of Symbolic Logic 64 (4):1837-1837.
Problem solving with the ATMS.Johan de Kleer - 1986 - Artificial Intelligence 28 (2):197-224.
Search and Reasoning in problem solving.Herbert A. Simon - 1983 - Artificial Intelligence 21 (1-2):7-29.
Modelling student's problem solving.D. H. Sleeman & M. J. Smith - 1981 - Artificial Intelligence 16 (2):171-187.
Problem-solving with diagrammatic representations.Brian V. Funt - 1980 - Artificial Intelligence 13 (3):201-230.
Vivid: A framework for heterogeneous problem solving.Konstantine Arkoudas & Selmer Bringsjord - 2009 - Artificial Intelligence 173 (15):1367-1405.
Rule-oriented methods in problem solving.Masamichi Shimura & Frank H. George - 1973 - Artificial Intelligence 4 (3-4):203-223.

Analytics

Added to PP
2020-12-22

Downloads
24 (#1,006,363)

6 months
5 (#852,111)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Automatically generating abstractions for planning.Craig A. Knoblock - 1994 - Artificial Intelligence 68 (2):243-302.
How to progress a database.Fangzhen Lin & Ray Reiter - 1997 - Artificial Intelligence 92 (1-2):131-167.
Calculating criticalities.A. Bundy, F. Giunchiglia, R. Sebastiani & T. Walsh - 1996 - Artificial Intelligence 88 (1-2):39-67.
Star-topology decoupled state space search.Daniel Gnad & Jörg Hoffmann - 2018 - Artificial Intelligence 257 (C):24-60.

View all 9 citations / Add more citations

References found in this work

Planning in a hierarchy of abstraction spaces.Earl D. Sacerdoti - 1974 - Artificial Intelligence 5 (2):115-135.
All I know: A study in autoepistemic logic.Hector J. Levesque - 1990 - Artificial Intelligence 42 (2-3):263-309.
Planning with constraints.Mark Stefik - 1981 - Artificial Intelligence 16 (2):111-139.
Planning as search: A quantitative approach.Richard E. Korf - 1987 - Artificial Intelligence 33 (1):65-88.

View all 8 references / Add more references