1360 search results - page 154 / 272 » Reasoning on Workflow Executions |
134
click to vote
CADE
2007
Springer
16 years 3 months ago
2007
Springer
We present an encoding that is able to specify LTL bounded model checking problems within the Bernays-Sch?onfinkel fragment of first-order logic. This fragment, which also correspo...
121
Voted
BIRTHDAY
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we present an overview of recent developments in the plan-based control of autonomous robots. We identify computational principles that enable autonomous robots to a...
171
Voted
BIRTHDAY
2004
Springer
15 years 8 months ago
2004
Springer
CSP was originally introduced as a parallel programming language in which sequential imperative processes execute concurrently and communicate by synchronized input and output. The...
156
Voted
TPHOL
2002
IEEE
15 years 8 months ago
2002
IEEE
g Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 ...
122
Voted
ICCBR
1997
Springer
15 years 7 months ago
1997
Springer
Planning by analogical reasoning is a learning method that consists of the storage, retrieval, and replay of planning episodes. Planning performance improves with the accumulationa...