109
Voted
TIME
15 years 6 months ago
2008 IEEE 
Frequent behavioural pattern mining is a very important topic of knowledge discovery, intended to extract correlations between items recorded in large databases or Web acces logs....
112
Voted
TIME
15 years 6 months ago
2008 IEEE 
In this paper we consider the specification and verification of infinite-state systems using temporal logic. In particular, we describe parameterised systems using a new variet...
101
Voted
TIME
15 years 6 months ago
2008 IEEE
We tackle the issue of representing infinite sets of realvalued vectors. This paper introduces an operator for combining integer and real sets. Using this operator, we decompose ...
93
Voted
TIME
15 years 6 months ago
2008 IEEE 
Boolean contact algebras constitute a convenient approach to a region based theory of space. In this paper we want to extend this approach to regions moving in time - called timed...
TIME
15 years 6 months 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...
|
Automated Reasoning