143 search results - page 7 / 29 » Inherent Causal Orderings of Partial Order Scenarios |
100
click to vote
AAAI
2004
15 years 1 months ago
2004
A key feature of modern optimal planners such as Graphplan and Blackbox is their ability to prune large parts of the search space. Previous Partial Order Causal Link (POCL) planne...
102
click to vote
BIRTHDAY
2000
Springer
15 years 4 months ago
2000
Springer
Bistructures are a generalisation of event structures which allow a representation of spaces of functions at higher types in an orderextensional setting. The partial order of caus...
CAV
1998
Springer
15 years 3 months ago
1998
Springer
This paper presents a new algorithm for efficiently verifying timed systems. The new algorithm represents timing information using geometric regions and explores the timed state sp...
AIME
2005
Springer
15 years 1 months ago
2005
Springer
In recent years, a few researchers have challenged past dogma and suggested methods (such as the IC algorithm) for inferring causal relationship among variables using steady state ...
110
click to vote
APN
2008
Springer
15 years 1 months ago
2008
Springer
The aim of this tool paper is twofold: First we show that VipTool [9, 2] can now synthesize Petri nets from partially ordered runs. To integrate this extension and further new func...