Sciweavers

1614 search results - page 21 / 323
» Planning as Temporal Reasoning
Sort
View
CADE
2003
Springer
16 years 2 months ago
Monodic Temporal Resolution
Anatoli Degtyarev, Michael Fisher, Boris Konev
CADE
2003
Springer
16 years 2 months ago
TRP++2.0: A Temporal Resolution Prover
Ullrich Hustadt, Boris Konev
BTW
2009
Springer
99views Database» more  BTW 2009»
15 years 5 months ago
A Framework for Reasoning about Share Equivalence and Its Integration into a Plan Generator
: Very recently, Cao et al. presented the MAPLE approach, which accelerates queries with multiple instances of the same relation by sharing their scan operator. The principal idea ...
Thomas Neumann, Guido Moerkotte
TIME
2006
IEEE
15 years 7 months ago
From Language to Time: A Temporal Expression Anchorer
Benjamin Han, Donna Gates, Lori S. Levin