Conformant planning via heuristic forward search: A new approach

&
Artificial Intelligence 170 (6-7):507-541 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2006.01.003

Links

PhilArchive



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

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

Conformant planning via symbolic model checking and heuristic search.A. Cimatti, M. Roveri & P. Bertoli - 2004 - Artificial Intelligence 159 (1-2):127-206.
More for free: A dynamic epistemic framework for conformant planning over transition systems.Yanjun Li, Quan Yu & Yanjing Wang - 2017 - Journal of Logic and Computation 27 (8):2383--2410.
Linear temporal logic as an executable semantics for planning languages.Marta Cialdea Mayer, Carla Limongelli, Andrea Orlandini & Valentina Poggioni - 2006 - Journal of Logic, Language and Information 16 (1):63-89.
A heuristic search approach to planning with temporally extended preferences.Jorge A. Baier, Fahiem Bacchus & Sheila A. McIlraith - 2009 - Artificial Intelligence 173 (5-6):593-618.
CPCES: A planning framework to solve conformant planning problems through a counterexample guided refinement.Alban Grastien & Enrico Scala - 2020 - Artificial Intelligence 284 (C):103271.
Using criticalities as a heuristic for answer set programming.Orkunt Sabuncu, Ferda N. Alpaslan & Varol Akman - 2003 - In Vladimir Lifschitz & Ilkka Niemela (eds.), Logic Programming and Nonmonotonic Reasoning, Lecture Notes in Artificial Intelligence 2923 (7th International Conference, LPNMR 2004, Fort Lauderdale, FL, January 6-8, 2004 Proceedings). Berlin, Heidelberg: Springer. pp. 234-246.
Planning as heuristic search.Blai Bonet & Héctor Geffner - 2001 - Artificial Intelligence 129 (1-2):5-33.
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.
Anytime heuristic search for partial satisfaction planning.J. Benton, Minh Do & Subbarao Kambhampati - 2009 - Artificial Intelligence 173 (5-6):562-592.
The MADLA planner: Multi-agent planning by combination of distributed and local heuristic search.Michal Štolba & Antonín Komenda - 2017 - Artificial Intelligence 252 (C):175-210.
Approximation of action theories and its application to conformant planning.Phan Huy Tu, Tran Cao Son, Michael Gelfond & A. Ricardo Morales - 2011 - Artificial Intelligence 175 (1):79-119.
On Different Proof-Search Strategies for Orthologic.Uwe Egly & Hans Tompits - 2003 - Studia Logica 73 (1):131-152.
On different proof-search strategies for orthologic.Uwe Egly & Hans Tompits - 2003 - Studia Logica 73 (1):131 - 152.
The Central Role of Heuristic Search in Cognitive Computation Systems.Wai-Tat Fu - 2016 - Minds and Machines 26 (1-2):103-123.
Between Logic and Heuristic.S. L. Katretchko - 1998 - The Paideia Archive: Twentieth World Congress of Philosophy 8:88-91.

Analytics

Added to PP
2020-12-22

Downloads
6 (#1,439,475)

6 months
5 (#633,186)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Conformant plans and beyond: Principles and complexity.Blai Bonet - 2010 - Artificial Intelligence 174 (3-4):245-269.

View all 7 citations / 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.
The computational complexity of propositional STRIPS planning.Tom Bylander - 1994 - Artificial Intelligence 69 (1-2):165-204.
Planning as heuristic search.Blai Bonet & Héctor Geffner - 2001 - Artificial Intelligence 129 (1-2):5-33.

View all 7 references / Add more references