1083 search results - page 20 / 217 » Using Contextual Logic Programming for Temporal Reasoning |
188
Voted
LICS
2010
IEEE
15 years 4 months 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...
187
Voted
CAV
2006
Springer
15 years 10 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,...
164
Voted
ICSE
2007
IEEE-ACM
16 years 6 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...
102
Voted
ICLP
2007
Springer
16 years 16 days ago
2007
Springer
131
Voted
ICLP
2005
Springer
15 years 12 months ago
2005
Springer
