588 search results - page 63 / 118 » Differential Logic for Reasoning About Hybrid Systems |
165
Voted
TABLEAUX
2000
Springer
15 years 5 months ago
2000
Springer
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reason...
111
click to vote
FROCOS
2007
Springer
15 years 8 months ago
2007
Springer
Often when formalising dynamic systems, constraints such as exactly “n” of a set of values hold. In this paper, we consider reasoning about propositional linear time temporal ...
100
click to vote
ICTAC
2004
Springer
15 years 7 months ago
2004
Springer
We present a spatial and temporal logic based on Duration Calculus for the specification and verification of mobile real-time systems. We demonstrate the use of the formalism and...
133
click to vote
JAR
2010
14 years 8 months ago
2010
Nominal logic is a variant of first-order logic with special facilities for reasoning about names and binding based on the underlying concepts of swapping and freshness. It serves ...
126
click to vote
AIPS
2003
15 years 3 months ago
2003
Symmetries are inherent in systems that consist of several interchangeable objects or components. When reasoning about such systems, big computational savings can be obtained if t...