Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Time and logic: a computational approach
Time and logic: a computational approach
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
Fuzzy Sets and Systems - Special issue: fuzzy sets: where do we stand? Where do we go?
Discovering similar patterns in time series
Proceedings of the sixth ACM SIGKDD international conference on Knowledge discovery and data mining
Knowledge discovery by application of rough set models
Rough set methods and applications
Data warehousing and business intelligence for e-commerce
Data warehousing and business intelligence for e-commerce
Rough Sets: Theoretical Aspects of Reasoning about Data
Rough Sets: Theoretical Aspects of Reasoning about Data
Rough-Neuro-Computing: Techniques for Computing with Words
Rough-Neuro-Computing: Techniques for Computing with Words
Discovery of Frequent Episodes in Event Sequences
Data Mining and Knowledge Discovery
Fast Algorithms for Mining Association Rules in Large Databases
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Rough Set Analysis of Preference-Ordered Data
TSCTC '02 Proceedings of the Third 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
Web usage mining: discovery and applications of usage patterns from Web data
ACM SIGKDD Explorations Newsletter
Web usage mining: discovery and application of interesting patterns from web data
Web usage mining: discovery and application of interesting patterns from web data
Rough sets and information granulation
IFSA'03 Proceedings of the 10th international fuzzy systems association World Congress conference on Fuzzy sets and systems
Fuzzy logic = computing with words
IEEE Transactions on Fuzzy Systems
RIONA: A New Classification System Combining Rule Induction and Instance-Based Learning
Fundamenta Informaticae
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)
Approaches to Conflict Dynamics Based on Rough Sets
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
Modeling of High Quality Granules
RSEISP '07 Proceedings of the international conference on Rough Sets and Intelligent Systems Paradigms
Some issues about outlier detection in rough set theory
Expert Systems with Applications: An International Journal
Transactions on rough sets XII
Rough sets in perception-based computing
PReMI'05 Proceedings of the First international conference on Pattern Recognition and Machine Intelligence
RSFDGrC'05 Proceedings of the 10th international conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing - Volume Part I
Hi-index | 0.00 |
We investigate patterns over information maps. Such patterns can represent information changes (e.g., in time or space) across information 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. Introduced concepts are illustrated by examples. We also discuss searching problems for relevant patterns extracted from data stored in information maps. Some patterns can be expressed by temporal formulas. Then, searching is reduced to searching for relevant temporal formulas. We generalise association rules over information systems to association rules over information maps.Approximate reasoning methods based on information changes are important for many applications (e.g., related to spatio-temporal reasoning). We introduce basic concepts for approximate reasoning about information changes across information maps. We measure degree of changes using information granules. Any rule for reasoning about information changes specifies how changes of information granules from the rule premise influence changes of information granules from the rule conclusion. Changes in information granules can be measured, e.g., using expressions analogous to derivatives. Illustrative examples are also presented.