1083 search results - page 71 / 217 » Using Contextual Logic Programming for Temporal Reasoning |
108
click to vote
TPHOL
2005
IEEE
15 years 8 months ago
2005
IEEE
Using the HOL theorem prover, we proved the correctness of a translation from a subset of Accellera’s property specification language PSL to linear temporal logic LTL. Moreover,...
118
Voted
ENTCS
2007
15 years 2 months ago
2007
Logical connectives familiar from the study of hybrid logic can be added to the logical framework LF, a constructive type theory of dependent functions. This extension turns out t...
109
Voted
SGAI
2007
Springer
15 years 8 months ago
2007
Springer
In this paper we describe a novel technique which implements a spatiotemporal model as a set of sub-models based on first order logic. These sub-models model different, typicall...
144
click to vote
SEMWEB
2004
Springer
15 years 7 months ago
2004
Springer
The standardization of the second generation Web Ontology Language, OWL, leaves a crucial issue for Web-based ontologies unsatisfactorily resolved: how to represent and reason with...
117
click to vote
ESOP
2006
Springer
15 years 6 months ago
2006
Springer
We present a sound and complete method for reasoning about contextual equivalence in the untyped, imperative object calculus of Abadi and Cardelli [1]. Our method is based on bisim...