7335 search results - page 418 / 1467 » Scene Based Reasoning |
159
click to vote
CADE
2002
Springer
16 years 6 months ago
2002
Springer
This paper reports on the formal proof of correctness of a compiler from a substantial subset of Java source language to Java bytecode in the proof environment Isabelle. This work ...
136
click to vote
CADE
2001
Springer
16 years 6 months ago
2001
Springer
The STRIP system is a theorem prover for intuitionistic propositional logic with two main characteristics: it deals with the duplication of formulae during proof-search from a fine...
144
click to vote
TIME
2008
IEEE
16 years 14 days ago
2008
IEEE
We survey temporal description logics that are based on standard temporal logics such as LTL and CTL. In particular, we concentrate on the computational complexity of the satisfi...
SEMWEB
2007
Springer
16 years 6 days ago
2007
Springer
We discuss the specific type of uncertainty deriving from the non-uniform trustworthiness of Semantic Web style metadata sources, arguing toward the feasibility of modal possibili...
149
Voted
TIME
2005
IEEE
15 years 11 months ago
2005
IEEE
We investigate properties of a spatio-temporal logic based on an n-dimensional Duration Calculus tailored for the specification and verification of mobile real-time systems. Aft...