583 search results - page 51 / 117 » Reasoning in Logic about Continuous Systems |
DLOG
2006
14 years 11 months ago
2006
Abstract Practical description logic systems play an ever-growing role for knowledge representation and reasoning research even in distributed environments. In particular, the onto...
FUZZIEEE
2007
IEEE
15 years 1 months ago
2007
IEEE
A central role of Geographic Information Systems (GIS) is to allow the identification and visualisation of relevant spatial features from typically large volumes of data. This requ...
COMPSAC
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framewo...
FSTTCS
2009
Springer
15 years 4 months ago
2009
Springer
Linear temporal logic was introduced in order to reason about reactive systems. It is often considered with respect to infinite words, to specify the behaviour of long-running sys...
119
click to vote
FROCOS
2009
Springer
15 years 4 months ago
2009
Springer
Motivated by applications in software verification, we explore automated reasoning about the non-disjoint combination of theories of infinitely many finite structures, where the...