1360 search results - page 73 / 272 » Reasoning on Workflow Executions |
159
click to vote
LPNMR
2005
Springer
15 years 11 months ago
2005
Springer
We present a monitoring tool for plan execution in non-deterministic environments, which are described in an action language, based on non-monotonic logic programming. Thanks to it...
209
click to vote
CL
1999
Springer
15 years 5 months ago
1999
Springer
Van Emden's incremental queries address the inadequacy of current Prolog-style querying mechanism in most logic programming systems for interactive problem-solving. In the co...
144
click to vote
ESWS
2007
Springer
16 years 6 days ago
2007
Springer
Abstract The Web Service Business Process Execution Language (WSBPEL) is the de facto standard for describing workflow-like compositions of Web services, so-called Web service orc...
144
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
Knowledge-based programs (KBPs) are a powerful notion for expressing action policies in which branching conditions refer to implicit knowledge and call for a deliberation task at e...
166
click to vote
IROS
2007
IEEE
16 years 10 days ago
2007
IEEE
— We present an approach to motion planning for highly articulated systems that aims to ensure robust execution by augmenting the planning process to reason about the robot’s a...