2649 search results - page 27 / 530 » Temporal Theories of Reasoning |
114
click to vote
LFCS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In order to verify programs with pointer variables, we introduce a temporal logic LTLmem whose underlying assertion language is the quantifier-free fragment of separatio...
TIME
1994
IEEE
15 years 3 months ago
1994
IEEE
We present a two dimensional temporal structure that has an ever changing present. Relative to each present, there is a past and future. The main representational advantage our tw...
LOPSTR
2005
Springer
15 years 5 months ago
2005
Springer
LPAR
2010
Springer
14 years 9 months ago
2010
Springer
101
click to vote
FLAIRS
2006
15 years 1 months ago
2006
This work is a confluence of three problems in constraint reasoning: qualitative temporal reasoning (QTR), incremental reasoning, and explanation generation. Our primary objective...