Answer set planning: a survey
Answer Set Planning refers to the use of Answer Set Programming (ASP) to compute plans,
that is, solutions to planning problems, that transform a given state of the world to another …
that is, solutions to planning problems, that transform a given state of the world to another …
Simulation, verification and automated composition of web services
S Narayanan, SA McIlraith - … of the 11th international conference on …, 2002 - dl.acm.org
Web services--Web-accessible programs and devices-are a key application area for the
Semantic Web. With the proliferation of Web services and the evolution towards the …
Semantic Web. With the proliferation of Web services and the evolution towards the …
[PDF][PDF] Complexity of Planning with Partial Observability.
J Rintanen - ICAPS, 2004 - cdn.aaai.org
We show that for conditional planning with partial observability the problem of testing
existence of plans with success probability 1 is 2-EXP-complete. This result completes the …
existence of plans with success probability 1 is 2-EXP-complete. This result completes the …
Compiling uncertainty away in conformant planning problems with bounded width
H Palacios, H Geffner - Journal of Artificial Intelligence Research, 2009 - jair.org
Conformant planning is the problem of finding a sequence of actions for achieving a goal in
the presence of uncertainty in the initial state or action effects. The problem has been …
the presence of uncertainty in the initial state or action effects. The problem has been …
Automated planning for business process management
A Marrella - Journal on data semantics, 2019 - Springer
Abstract Business Process Management (BPM) is a central element of today's organizations.
Over the years, its main focus has been the support of business processes (BPs) in highly …
Over the years, its main focus has been the support of business processes (BPs) in highly …
Formalizing sensing actions—A transition function based approach
In presence of incomplete information about the world we need to distinguish between the
state of the world and the state of the agent's knowledge about the world. In such a case the …
state of the world and the state of the agent's knowledge about the world. In such a case the …
Analysis and simulation of web services
S Narayanan, S McIlraith - Computer networks, 2003 - Elsevier
Web services––Web-accessible programs and devices––are a key application area for the
Semantic Web. With the proliferation of Web services and the evolution towards the …
Semantic Web. With the proliferation of Web services and the evolution towards the …
Computing contingent plans via fully observable non-deterministic planning
Planning with sensing actions under partial observability is a computationally challenging
problem that is fundamental to the realization of AI tasks in areas as diverse as robotics …
problem that is fundamental to the realization of AI tasks in areas as diverse as robotics …
A logic programming approach to knowledge-state planning: Semantics and complexity
We propose a new declarative planning language, called K, which is based on principles
and methods of logic programming. In this language, transitions between states of …
and methods of logic programming. In this language, transitions between states of …
Polynomial-length planning spans the polynomial hierarchy
H Turner - Logics in Artificial Intelligence: 8th European …, 2002 - Springer
This paper presents a family of results on the computational complexity of planning:
classical, conformant, and conditional with full or partial observability. Attention is restricted …
classical, conformant, and conditional with full or partial observability. Attention is restricted …