Planning as satisfiability: parallel plans and algorithms for plan search

, &
Artificial Intelligence 170 (12-13):1031-1080 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2006.08.002

Links

PhilArchive



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

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

Relaxing non-interference requirements in parallel plans.Miquel Bofill, Joan Espasa & Mateu Villaret - 2021 - Logic Journal of the IGPL 29 (1):45-71.
Learning Plans without a priori Knowledge.Chad Sessions - unknown
Extracting plans from reinforcement learners.Ron Sun - unknown
Learning to plan probabilistically from neural networks.R. Sun - unknown
Against Optimality: Logical Foundations for Decision-Theoretic Planning in Autonomous Agents.John L. Pollock - unknown
Planning as satisfiability: Heuristics.Jussi Rintanen - 2012 - Artificial Intelligence 193 (C):45-86.
Can We Plan Science?: (Semantics and Pitfalls.Michael J. Moravcsik - 1984 - Bulletin of Science, Technology and Society 4 (4):361-378.
Ontological Support for Living Plan Specification, Execution and Evaluation.Erik Thomsen, Fred Read, William Duncan, Tatiana Malyuta & Barry Smith - 2014 - In Semantic Technology in Intelligence, Defense and Security (STIDS), CEUR vol. 1304. pp. 10-17.
The logical foundations of decision-theoretic planning in autonomous agents.John Pollock - manuscript
MAX-SAT Problem using Hybrid Harmony Search Algorithm.Iyad Abu Doush, Amal Lutfi Quran, Mohammed Azmi Al-Betar & Mohammed A. Awadallah - 2018 - Journal of Intelligent Systems 27 (4):643-658.
L’arrière-fond philosophique du concept de plan.Maurice Lagueux - 1974 - Philosophiques 1 (1):51-82.
Plans and planning in mathematical proofs.Yacin Hamami & Rebecca Lea Morris - 2020 - Review of Symbolic Logic 14 (4):1030-1065.
Theory and applications of satisfiability testing: 8th international conference, SAT 2005, St Andrews, UK, June 19-23, 2005: proceedings.Fahiem Bacchus & Toby Walsh (eds.) - 2005 - New York: Springer.
Rational Planning Agency.Michael E. Bratman - 2017 - Royal Institute of Philosophy Supplement 80:25-48.
Praxiology meets Planning Theory of Intention. Kotarbiński and Bratman on Plans.Piotr T. Makowski - 2015 - In Piotr Makowski, Mateusz Bonecki & Krzysztof Nowak-Posadzy (eds.), Praxiology and the Reasons for Action. Transaction Publishers. pp. 43-71.

Analytics

Added to PP
2020-12-22

Downloads
8 (#1,283,306)

6 months
6 (#522,885)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Planning as satisfiability: Heuristics.Jussi Rintanen - 2012 - Artificial Intelligence 193 (C):45-86.
SAT Competition 2020.Nils Froleyks, Marijn Heule, Markus Iser, Matti Järvisalo & Martin Suda - 2021 - Artificial Intelligence 301 (C):103572.

View all 9 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.
Planning as heuristic search.Blai Bonet & Héctor Geffner - 2001 - Artificial Intelligence 129 (1-2):5-33.
A probabilistic analysis of prepositional STRIPS planning.Tom Bylander - 1996 - Artificial Intelligence 81 (1-2):241-271.
Least commitment in Graphplan.Michel Cayrol, Pierre Régnier & Vincent Vidal - 2001 - Artificial Intelligence 130 (1):85-118.

Add more references