Higher order temporal rules

Authors:
Paul Cotofrei;Kilian Stoffel
Affiliations:
University of Neuchatel, Neuchatel, Switzerland;University of Neuchatel, Neuchatel, Switzerland
Venue:
ICCS'03 Proceedings of the 1st international conference on Computational science: PartI
Year:
2003

Citing 4
Cited 0

Temporal and modal logic

Handbook of theoretical computer science (vol. B)
Classification Rules + Time = Temporal Rules

ICCS '02 Proceedings of the International Conference on Computational Science-Part I
A Framework for Temporal Data Mining

DEXA '98 Proceedings of the 9th International Conference on Database and Expert Systems Applications
Discovering Temporal Association Rules: Algorithms, Language and System

ICDE '00 Proceedings of the 16th International Conference on Data Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

The theoretical framework we proposed, based on first-order temporal logic, permits to define the main notions used in temporal data mining (event, temporal rule) in a formal way. The concept of consistent linear time structure allows us to introduce the notions of general interpretation and of confidence. These notions open the possibility to use statistical approaches in the design of algorithms for inferring higher order temporal rules, denoted temporal meta-rules.