Planning as satisfiability: Heuristics

Artificial Intelligence 193 (C):45-86 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2012.08.001

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

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

Planning as satisfiability: parallel plans and algorithms for plan search.Jussi Rintanen, Keijo Heljanko & Ilkka Niemelä - 2006 - Artificial Intelligence 170 (12-13):1031-1080.
Hypergraph Satisfiability.R. Cowen - 1991 - Reports on Mathematical Logic.
Contingent planning under uncertainty via stochastic satisfiability.Stephen M. Majercik & Michael L. Littman - 2003 - Artificial Intelligence 147 (1-2):119-162.
Military Operations Planning and Methodology : Thoughts on military problem-solving.Robert Erdeniz - unknown
Combinatorial Analytic Tableaux.Robert Cowen - 1993 - Reports on Mathematical Logic:29-39.
Heuristics in technoscientific thinking.Michael E. Gorman - 2000 - Behavioral and Brain Sciences 23 (5):752-752.
Psychological research on heuristics meets the law.Christoph Engel - 2000 - Behavioral and Brain Sciences 23 (5):747-747.
The influence of heuristics on psychological science: A case study of research on creativity.Todd I. Lubart & Isaac Getz - 1998 - Journal for the Theory of Social Behaviour 28 (4):435–457.
Reversed Resolution in Reducing General Satisfiability Problem.Adam Kolany - 2010 - Studia Logica 95 (3):407-416.
On the computational complexity of the numerically definite syllogistic and related logics.Ian Pratt-Hartmann - 2008 - Bulletin of Symbolic Logic 14 (1):1-28.
Automated choice heuristics.Shane Frederick - 2002 - In . Cambridge University Press. pp. 548-558.
Vague heuristics.María G. Navarro - 2015 - In Settimo Termini and Rudolf Seising Claudio Moraga (ed.), Conjectures, Hypotheses, and Fuzzy Logic. Springer. pp. 281-294.
What's in the adaptive toolbox: Global heuristics or more elementary components?Oswald Huber - 2000 - Behavioral and Brain Sciences 23 (5):755-755.
Simple heuristics could make us smart; but which heuristics do we apply when?Richard Cooper - 2000 - Behavioral and Brain Sciences 23 (5):746-746.
Parsing Heuristic and Forward Search in First‐Graders' Game‐Play Behavior.Luciano Paz, Andrea P. Goldin, Carlos Diuk & Mariano Sigman - 2015 - Cognitive Science 39 (5):944-971.

Analytics

Added to PP
2020-12-22

Downloads
13 (#1,013,785)

6 months
12 (#202,587)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Fast planning through planning graph analysis.Avrim L. Blum & Merrick L. Furst - 1997 - Artificial Intelligence 90 (1-2):281-300.
Planning as heuristic search.Blai Bonet & Héctor Geffner - 2001 - Artificial Intelligence 129 (1-2):5-33.
Algorithm portfolios.Carla P. Gomes & Bart Selman - 2001 - Artificial Intelligence 126 (1-2):43-62.

View all 8 references / Add more references