Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Handbook of logic in artificial intelligence and logic programming (Vol. 4): epistemic and temporal reasoning
Advances in knowledge discovery and data mining
Advances in knowledge discovery and data mining
Fast discovery of association rules
Advances in knowledge discovery and data mining
Rough Sets: Theoretical Aspects of Reasoning about Data
Rough Sets: Theoretical Aspects of Reasoning about Data
An Updated Bibliography of Temporal, Spatial, and Spatio-temporal Data Mining Research
TSDM '00 Proceedings of the First International Workshop on Temporal, Spatial, and Spatio-Temporal Data Mining-Revised Papers
Temporal Templates and Analysis of Time Related Data
RSCTC '00 Revised Papers from the Second International Conference on Rough Sets and Current Trends in Computing
A New Perspective on Reasoning with Fuzzy Rules
AFSS '02 Proceedings of the 2002 AFSS International Conference on Fuzzy Systems. Calcutta: Advances in Soft Computing
Rough Set Approach to the Survival Analysis
TSCTC '02 Proceedings of the Third International Conference on Rough Sets and Current Trends in Computing
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Spatio-Temporal Approximate Reasoning over Complex Objects
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
Reasoning based on information changes in information maps
RSFDGrC'03 Proceedings of the 9th international conference on Rough sets, fuzzy sets, data mining, and granular computing
Interpretation of extended Pawlak flow graphs using granular computing
Transactions on rough sets VIII
RSFDGrC'05 Proceedings of the 10th international conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing - Volume Part I
Spatio-Temporal Approximate Reasoning over Complex Objects
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
| Hi-index | 0.00 |
We discuss information maps and patterns defined over such maps. Any map is defined by some transition relation on states. Each state is a pair consisting of a label and information related to the label. We present severalexampl es of information maps and patterns in such maps. In particular, temporal patterns investigated in data mining are specialcases of such patterns in information maps. We also introduce association rules over information maps. Patterns over such maps can be represented by means of formulas of temporal logics. We discuss examples of problems of extracting such patterns from data.