1083 search results - page 20 / 217 » Using Contextual Logic Programming for Temporal Reasoning |
134
click to vote
LICS
2010
IEEE
15 years 6 days ago
2010
IEEE
—We provide a syntactic analysis of contextual preorder and equivalence for a polymorphic programming language with effects. Our approach applies uniformly across a range of alge...
136
click to vote
CAV
2006
Springer
15 years 5 months ago
2006
Springer
The relationship between two well established formalisms for temporal reasoning is first investigated, namely between Allen's interval algebra (or Allen's temporal logic,...
102
click to vote
ICSE
2007
IEEE-ACM
16 years 1 months ago
2007
IEEE-ACM
We present Trio2Promela, a tool for model checking metric temporal logic specifications written in the TRIO language. Our approach is based on the translation of formulae into Pro...
ICLP
2007
Springer
15 years 8 months ago
2007
Springer
ICLP
2005
Springer
15 years 7 months ago
2005
Springer
