- 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
In defense of PDDL axioms
Artificial Intelligence 168 (1-2):38-69 (2005)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Forcing Indestructibility of Set-Theoretic Axioms.Bernhard König - 2007 - Journal of Symbolic Logic 72 (1):349 - 360.
Concise finite-domain representations for PDDL planning tasks.Malte Helmert - 2009 - Artificial Intelligence 173 (5-6):503-535.
On extremal axioms.Rudolf Carnap, Friedrich Bachmann & H. G. Bohnert - 1981 - History and Philosophy of Logic 2 (1-2):67-85.
An Introduction to the Planning Domain Definition Language (PDDL): Book review. [REVIEW]Alfonso Emilio Gerevini - 2020 - Artificial Intelligence 280 (C):103221.
The Ontological Axioms in Ibn Arabi’s Mysticism.Emdad Turan - 2010 - Journal of Philosophical Theological Research 11 (43-44):175-194.
Resurrection axioms and uplifting cardinals.Joel David Hamkins & Thomas A. Johnstone - 2014 - Archive for Mathematical Logic 53 (3-4):463-485.
Beyond the axioms: The question of objectivity in mathematics.W. TaitW - 2001 - Philosophia Mathematica 9 (1):21-36.
Calibration.Paul Weirich - 2009 - In Henk W. de Regt (ed.), Epsa Philosophy of Science: Amsterdam 2009. Springer. pp. 415--425.
Analytics
Added to PP
2020-12-22
Downloads
9 (#1,224,450)
6 months
7 (#411,886)
2020-12-22
Downloads
9 (#1,224,450)
6 months
7 (#411,886)
Historical graph of downloads
Citations of this work
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.
An action language for multi-agent domains.Chitta Baral, Gregory Gelfond, Enrico Pontelli & Tran Cao Son - 2022 - Artificial Intelligence 302 (C):103601.
Strong planning under partial observability.Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri & Paolo Traverso - 2006 - Artificial Intelligence 170 (4-5):337-384.
Computing programs for generalized planning using a classical planner.Javier Segovia-Aguas, Sergio Jiménez & Anders Jonsson - 2019 - Artificial Intelligence 272 (C):52-85.
Hybrid planning for challenging construction problems: An Answer Set Programming approach.Faseeh Ahmad, Volkan Patoglu & Esra Erdem - 2023 - Artificial Intelligence 319 (C):103902.
References found in this work
Complexity, decidability and undecidability results for domain-independent planning.Kutluhan Erol, Dana S. Nau & V. S. Subrahmanian - 1995 - Artificial Intelligence 76 (1-2):75-88.
Blocks World revisited.John Slaney & Sylvie Thiébaux - 2001 - Artificial Intelligence 125 (1-2):119-153.
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-7c76586df8-pp8v9 uwo