3028 search results - page 147 / 606 » Integrating Temporal Logics |
131
click to vote
WOLLIC
2010
Springer
15 years 8 months ago
2010
Springer
sed Logic for Program Abstractions Martin Lange1 and Markus Latte2 1 Dept. of Computer Science, University of Kassel, Germany 2 Dept. of Computer Science, Ludwig-Maximilians-Univer...
273
click to vote
ICDE
2007
IEEE
16 years 6 months ago
2007
IEEE
RFID technology provides significant advantages over traditional object-tracking technology and is increasingly adopted and deployed in real applications. RFID applications genera...
136
click to vote
FLAIRS
2009
15 years 2 months ago
2009
Researchers in commonsense, qualitative spatial and temporal reasoning (QSTR) provide flexible and intuitive methods for reasoning about vague and uncertain information including ...
162
click to vote
IFM
2010
Springer
15 years 3 months ago
2010
Springer
We present a logical framework that is able to deal with variability in product family descriptions. The temporal logic MHML is based on the classical Hennessy–Milner logic with ...
131
click to vote
TABLEAUX
2007
Springer
15 years 10 months ago
2007
Springer
We construct a sound, complete, and terminating tableau system for the interval temporal logic D · interpreted in interval structures over dense linear orderings endowed with stri...