- 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
Using temporal logics to express search control knowledge for planning
Artificial Intelligence 116 (1-2):123-191 (2000)
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
My notes
Similar books and articles
Using regression-match graphs to control search in planning.Drew McDermott - 1999 - Artificial Intelligence 109 (1-2):111-159.
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.
Inductive learning of search control rules for planning.Christopher Leckie & Ingrid Zukerman - 1998 - Artificial Intelligence 101 (1-2):63-98.
An extension of metric temporal planning with application to AC voltage control.Chiara Piacentini, Varvara Alimisis, Maria Fox & Derek Long - 2015 - Artificial Intelligence 229 (C):210-245.
Managing concurrency in temporal planning using planner-scheduler interaction.Andrew Coles, Maria Fox, Keith Halsey, Derek Long & Amanda Smith - 2009 - Artificial Intelligence 173 (1):1-44.
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.
Learning search control knowledge: An explanation-based approach.Gerald F. DeJong & Jonathan Gratch - 1991 - Artificial Intelligence 50 (1):117-127.
Acquiring search-control knowledge via static analysis.Oren Etzioni - 1993 - Artificial Intelligence 62 (2):255-301.
Temporal logic explanations for dynamic decision systems using anchors and Monte Carlo Tree Search.Tzu-Yi Chiu, Jerome Le Ny & Jean-Pierre David - 2023 - Artificial Intelligence 318 (C):103897.
Analytics
Added to PP
2020-12-22
Downloads
11 (#1,415,873)
6 months
3 (#1,471,287)
2020-12-22
Downloads
11 (#1,415,873)
6 months
3 (#1,471,287)
Historical graph of downloads
Citations of this work
Planning as heuristic search.Blai Bonet & Héctor Geffner - 2001 - Artificial Intelligence 129 (1-2):5-33.
Weak, strong, and strong cyclic planning via symbolic model checking.A. Cimatti, M. Pistore, M. Roveri & P. Traverso - 2003 - Artificial Intelligence 147 (1-2):35-84.
Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners.Alfonso E. Gerevini, Patrik Haslum, Derek Long, Alessandro Saetti & Yannis Dimopoulos - 2009 - Artificial Intelligence 173 (5-6):619-668.
Practical solution techniques for first-order MDPs.Scott Sanner & Craig Boutilier - 2009 - Artificial Intelligence 173 (5-6):748-788.
Non-Markovian control in the Situation Calculus.Alfredo Gabaldon - 2011 - Artificial Intelligence 175 (1):25-48.
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.
Planning in a hierarchy of abstraction spaces.Earl D. Sacerdoti - 1974 - Artificial Intelligence 5 (2):115-135.
Fast planning through planning graph analysis.Avrim L. Blum & Merrick L. Furst - 1997 - Artificial Intelligence 90 (1-2):281-300.
Automatically generating abstractions for planning.Craig A. Knoblock - 1994 - Artificial Intelligence 68 (2):243-302.
O-Plan: The open planning architecture.Ken Currie & Austin Tate - 1991 - Artificial Intelligence 52 (1):49-86.
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-667477cd97-wmc4m dc2