1360 search results - page 73 / 272 » Reasoning on Workflow Executions |
117
click to vote
LPNMR
2005
Springer
15 years 9 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...
171
Voted
CL
1999
Springer
15 years 3 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...
116
click to vote
ESWS
2007
Springer
15 years 9 months 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...
116
Voted
ECAI
2004
Springer
15 years 9 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...
137
Voted
IROS
2007
IEEE
15 years 10 months 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...