- 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
Automated composition of Web services via planning in asynchronous domains
Artificial Intelligence 174 (3-4):316-361 (2010)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Strong planning under partial observability.Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri & Paolo Traverso - 2006 - Artificial Intelligence 170 (4-5):337-384.
Epistemic planning for single- and multi-agent systems.Thomas Bolander & Mikkel Birkegaard Andersen - 2011 - Journal of Applied Non-Classical Logics 21 (1):9-34.
The actorʼs view of automated planning and acting: A position paper.Malik Ghallab, Dana Nau & Paolo Traverso - 2014 - Artificial Intelligence 208 (C):1-17.
Transportation Planning for Automated Vehicles—Or Automated Vehicles for Transportation Planning?Shane Epting - 2019 - Essays in Philosophy 20 (2):189-205.
Task decomposition on abstract states, for planning under nondeterminism.Ugur Kuter, Dana Nau, Marco Pistore & Paolo Traverso - 2009 - Artificial Intelligence 173 (5-6):669-695.
Analysis of the role of information in planning: The case of town and country planning. [REVIEW]Mathieu C. H. Wagemans - 1990 - Knowledge, Technology & Policy 3 (4):72-90.
A survey of requirements for automated reasoning services for bio-ontologies in OWL.M. Scott Marshall, C. Maria Keet & Marco Roos - unknown
Male participation in family planning: Results from a qualitative study in mpigi district, uganda.Angela Kaida, Walter Kipp, Patrick Hessel & Joseph Konde-Lule - 2005 - Journal of Biosocial Science 37 (3):269-286.
Permissive planning: extending classical planning to uncertain task domains.Gerald F. DeJong & Scott W. Bennett - 1997 - Artificial Intelligence 89 (1-2):173-217.
Electronic Banking Services and Net Profit in Kosovo: Using Simple Linear Regression and the Correlation Method.Agon Zogjani & Jeton Zogjani - 2019 - Seeu Review 14 (2):150-168.
Causality in Commonsense Reasoning About Actions.Norman Clayton Mccain - 1997 - Dissertation, The University of Texas at Austin
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.
Faculty as Machine Monitors in Higher Education?Marvin J. Croy - 2000 - Bulletin of Science, Technology and Society 20 (2):106-114.
Delegation of access rights in multi-domain service compositions.Laurent Bussard, Anna Nano & Ulrich Pinsdorf - 2009 - Identity in the Information Society 2 (2):137-154.
Analytics
Added to PP
2020-12-22
Downloads
1 (#1,536,178)
6 months
1 (#478,598)
2020-12-22
Downloads
1 (#1,536,178)
6 months
1 (#478,598)
Historical graph of downloads
Sorry, there are not enough data points to plot this chart.
Citations of this work
Automatic behavior composition synthesis.Giuseppe De Giacomo, Fabio Patrizi & Sebastian Sardiña - 2013 - Artificial Intelligence 196:106-142.
Agent planning programs.Giuseppe De Giacomo, Alfonso Emilio Gerevini, Fabio Patrizi, Alessandro Saetti & Sebastian Sardina - 2016 - Artificial Intelligence 231 (C):64-106.
Model-lite planning: Case-based vs. model-based approaches.Hankz Hankui Zhuo & Subbarao Kambhampati - 2017 - Artificial Intelligence 246 (C):1-21.
Domain-independent planning for services in uncertain and dynamic environments.Eirini Kaldeli, Alexander Lazovik & Marco Aiello - 2016 - Artificial Intelligence 236 (C):30-64.
References found in this work
Strips: A new approach to the application of theorem proving to problem solving.Richard E. Fikes & Nils J. Nilsson - 1971 - Artificial Intelligence 2 (3-4):189-208.
Using temporal logics to express search control knowledge for planning.Fahiem Bacchus & Froduald Kabanza - 2000 - Artificial Intelligence 116 (1-2):123-191.
Formalizing sensing actions— A transition function based approach.Tran Cao Son & Chitta Baral - 2001 - Artificial Intelligence 125 (1-2):19-91.
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.
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-5b5888c749-qlr2k N