Sciweavers

TIME
2008
IEEE
14 years 5 months ago
Practical First-Order Temporal Reasoning
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...
Clare Dixon, Michael Fisher, Boris Konev, Alexei L...
TIME
2008
IEEE
14 years 5 months ago
Decomposition of Decidable First-Order Logics over Integers and Reals
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 ...
Florent Bouchy, Alain Finkel, Jérôme ...
TIME
2008
IEEE
14 years 5 months ago
Representing Public Transport Schedules as Repeating Trips
The movement in public transport networks is organized according to schedules. The real-world schedules are specified by a set of periodic rules and a number of irregularities fr...
Romans Kasperovics, Michael H. Böhlen, Johann...
TIME
2008
IEEE
14 years 5 months ago
Moving Spaces
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...
Ivo Düntsch, Michael Winter
TIME
2008
IEEE
14 years 5 months ago
Temporal Description Logics: A Survey
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...
Carsten Lutz, Frank Wolter, Michael Zakharyaschev
TIME
2008
IEEE
14 years 5 months ago
Time Aware Mining of Itemsets
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....
Bashar Saleh, Florent Masseglia