Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Introduction to mathematical logic (3rd ed.)
Introduction to mathematical logic (3rd ed.)
SOAR: an architecture for general intelligence
Artificial Intelligence
Explanation-based learning: a survey of programs and perspectives
ACM Computing Surveys (CSUR)
The induction of probabilistic rule sets—the Itrule algorithm
Proceedings of the sixth international workshop on Machine learning
The cascade-correlation learning architecture
Advances in neural information processing systems 2
Logic and information
Handbook of theoretical computer science (vol. B)
Object-oriented information systems: planning and implementation
Object-oriented information systems: planning and implementation
Pattern recognition and machine learning
Pattern recognition and machine learning
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
C4.5: programs for machine learning
C4.5: programs for machine learning
Variable precision rough set model
Journal of Computer and System Sciences
Derivational Analogy in PRODIGY: Automating Case Acquisition, Storage, and Utilization
Machine Learning - Special issue on case-based reasoning
A translation approach to portable ontology specifications
Knowledge Acquisition - Special issue: Current issues in knowledge modeling
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
Handbook of logic in artificial intelligence and logic programming
Handbook of logic in artificial intelligence and logic programming
Time and logic: a computational approach
Time and logic: a computational approach
Machine learning, neural and statistical classification
Machine learning, neural and statistical classification
Artificial Intelligence - Special volume on planning and scheduling
Handbook of logic in computer science (vol. 4)
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Tolerance approximation spaces
Fundamenta Informaticae - Special issue: rough sets
Discovery of concurrent data models from experimental tables: a rough set approach
Fundamenta Informaticae - Special issue: to the memory of Prof. Helena Rasiowa
Fast planning through planning graph analysis
Artificial Intelligence
Artificial Intelligence Review - Special issue on lazy learning
Information flow: the logic of distributed systems
Information flow: the logic of distributed systems
Guest Editors‘ Introduction: On Applied Research in MachineLearning
Machine Learning - Special issue on applications of machine learning and the knowledge discovery process
CPlan: a constraint programming approach to planning
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
On Databases with Incomplete Information
Journal of the ACM (JACM)
Dynamics of complex systems
The spatial semantic hierarchy
Artificial Intelligence
Rough set algorithms in classification problem
Rough set methods and applications
Rough mereology in information systems. A case study: qualitative spatial reasoning
Rough set methods and applications
Knowledge discovery by application of rough set models
Rough set methods and applications
Rough set methods for the synthesis and analysis of concurrent processes
Rough set methods and applications
Hierarchical multi-agent reinforcement learning
Proceedings of the fifth international conference on Autonomous agents
Autonomous agents and multi-agent systems: explorations in learning, self-organization and adaptive computation
Layered Learning in Multiagent Systems: A Winning Approach to Robotic Soccer
Layered Learning in Multiagent Systems: A Winning Approach to Robotic Soccer
Planning and Learning by Analogical Reasoning
Planning and Learning by Analogical Reasoning
Encyclopedia of Artificial Intelligence
Encyclopedia of Artificial Intelligence
Rough Sets: Theoretical Aspects of Reasoning about Data
Rough Sets: Theoretical Aspects of Reasoning about Data
Machine Learning
Introduction to Expert Systems
Introduction to Expert Systems
Pattern Recognition and Neural Networks
Pattern Recognition and Neural Networks
Incomplete Information: Rough Set Analysis
Incomplete Information: Rough Set Analysis
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Introduction to Reinforcement Learning
Introduction to Reinforcement Learning
Feature Extraction, Construction and Selection: A Data Mining Perspective
Feature Extraction, Construction and Selection: A Data Mining Perspective
Feature Selection for Knowledge Discovery and Data Mining
Feature Selection for Knowledge Discovery and Data Mining
Relational Data Mining
Induction: Processes of Inference, Learning, and Discovery
Induction: Processes of Inference, Learning, and Discovery
Rough-Neuro-Computing: Techniques for Computing with Words
Rough-Neuro-Computing: Techniques for Computing with Words
A Microeconomic View of Data Mining
Data Mining and Knowledge Discovery
Rough Sets: Mathematical Foundations
Rough Sets: Mathematical Foundations
Incremental Induction of Decision Trees
Machine Learning
Machine Learning
Explanation-Based Generalization: A Unifying View
Machine Learning
Explanation-Based Learning: An Alternative View
Machine Learning
Toward Intelligent Systems: Calculi of Information Granules
Proceedings of the Joint JSAI 2001 Workshop on New Frontiers in Artificial Intelligence
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
Dynamic Reducts as a Tool for Extracting Laws from Decisions Tables
ISMIS '94 Proceedings of the 8th International Symposium on Methodologies for Intelligent Systems
ISMIS '94 Proceedings of the 8th International Symposium on Methodologies for Intelligent Systems
Discovery of Decision Rules by Matching New Objects Against Data Tables
RSCTC '98 Proceedings of the First International Conference on Rough Sets and Current Trends in Computing
The Paradox of the Heap of Grains in Respect to Roughness, Fuzziness and Negligibility
RSCTC '98 Proceedings of the First International Conference on Rough Sets and Current Trends in Computing
A New Rough Set Approach to Multicriteria and Multiattribute Classification
RSCTC '98 Proceedings of the First International Conference on Rough Sets and Current Trends in Computing
RSES and RSESlib - A Collection of Tools for Rough Set Computations
RSCTC '00 Revised Papers from the Second International Conference on Rough Sets and Current Trends in Computing
An Algorithm for Induction of Decision Rules Consistent with the Dominance Principle
RSCTC '00 Revised Papers from the Second International Conference on Rough Sets and Current Trends in Computing
Rough Set Approach to the Survival Analysis
TSCTC '02 Proceedings of the Third International Conference on Rough Sets and Current Trends in Computing
A New Version of Rough Set Exploration System
TSCTC '02 Proceedings of the Third International Conference on Rough Sets and Current Trends in Computing
Toward the Formal Foundation of Ant Programming
ANTS '02 Proceedings of the Third International Workshop on Ant Algorithms
A survey of basic net models and modular net classes
Advances in Petri Nets 1992, The DEMON Project
Learning Hierarchical Skills from Observation
DS '02 Proceedings of the 5th International Conference on Discovery Science
Artificial Intelligence: A Modern Approach
Artificial Intelligence: A Modern Approach
Data mining tasks and methods: Classification: multicriteria classification
Handbook of data mining and knowledge discovery
Face Recognition by Support Vector Machines
FG '00 Proceedings of the Fourth IEEE International Conference on Automatic Face and Gesture Recognition 2000
A Fast Automaton-Based Method for Detecting Anomalous Program Behaviors
SP '01 Proceedings of the 2001 IEEE Symposium on Security and Privacy
Integration of Contextual Information in Handwriting Recognition Systems
ICDAR '03 Proceedings of the Seventh International Conference on Document Analysis and Recognition - Volume 2
Learning Rules for Anomaly Detection of Hostile Network Traffic
ICDM '03 Proceedings of the Third IEEE International Conference on Data Mining
A survey of kernels for structured data
ACM SIGKDD Explorations Newsletter
Neighborhood based detection of anomalies in high dimensional spatio-temporal sensor datasets
Proceedings of the 2004 ACM symposium on Applied computing
Automated Planning: Theory & Practice
Automated Planning: Theory & Practice
A view on rough set concept approximations
Fundamenta Informaticae - Special issue on the 9th international conference on rough sets, fuzzy sets, data mining and granular computing (RSFDGrC 2003)
Proceedings of the tenth ACM SIGKDD international conference on Knowledge discovery and data mining
Online and batch learning of pseudo-metrics
ICML '04 Proceedings of the twenty-first international conference on Machine learning
Naive Bayesian Classification of Structured Data
Machine Learning
Strategy/False-name Proof Protocols for Combinatorial Multi-Attribute Procurement Auction
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
Protocol/Mechanism Design for Cooperation/Competition
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
Autonomy Oriented Computing: From Problem Solving to Complex Systems Modeling (Multiagent Systems, Artificial Societies, and Simulated Organizations)
Cognition and Multi-Agent Interactions: From Cognitive Modeling to Social Simulation
Cognition and Multi-Agent Interactions: From Cognitive Modeling to Social Simulation
A cost minimization approach to human behavior recognition
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Learning a Mahalanobis Metric from Equivalence Constraints
The Journal of Machine Learning Research
Understanding Domain Knowledge: Concept Approximation using Rough Mereology
IAT '05 Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology
Motor primitive and sequence self-organization in a hierarchical recurrent neural network
Neural Networks - 2004 Special issue: New developments in self-organizing systems
An introduction to ROC analysis
Pattern Recognition Letters - Special issue: ROC analysis in pattern recognition
Cognitive architectures and general intelligent systems
AI Magazine - Special issue on achieving human-level AI through integrated systems and research
ICPR '06 Proceedings of the 18th International Conference on Pattern Recognition - Volume 01
Service-Oriented Science: Scaling eScience Impact
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence)
Feature Extraction: Foundations and Applications (Studies in Fuzziness and Soft Computing)
Feature Extraction: Foundations and Applications (Studies in Fuzziness and Soft Computing)
Synchronization Algorithms and Concurrent Programming
Synchronization Algorithms and Concurrent Programming
Planning Algorithms
Plan management in the medical domain
AI Communications
Temporal abstraction in intelligent clinical data analysis: A survey
Artificial Intelligence in Medicine
Discovering Concurrent Models from Data Tables with the ROSECON System
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Discovery of Asynchronous Concurrent Models from Experimental Tables
Fundamenta Informaticae - International Conference on Soft Computing and Distributed Processing (SCDP'2002)
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
Modelling Complex Patterns by Information Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
Spatio-Temporal Approximate Reasoning over Complex Objects
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
Reinforcement Learning with Approximation Spaces
Fundamenta Informaticae
Behavioral Pattern Identification Through Rough Set Modeling
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Calculi of Approximation Spaces
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Rough Set Approach to Behavioral Pattern Identification
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
Toward knowledge-rich data mining
Data Mining and Knowledge Discovery
Data Mining and Knowledge Discovery
Intrusion detection using sequences of system calls
Journal of Computer Security
Machine Learning
Intelligent techniques for planning
Intelligent techniques for planning
RSEISP '07 Proceedings of the international conference on Rough Sets and Intelligent Systems Paradigms
On Granular Rough Computing with Missing Values
RSEISP '07 Proceedings of the international conference on Rough Sets and Intelligent Systems Paradigms
Case-based Planning of Treatment of Infants with Respiratory Failure
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
An efficient algorithm for local distance metric learning
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Automatic SAT-compilation of planning problems
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Unifying SAT-based and graph-based planning
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
Constructing explanatory process models from biological data and knowledge
Artificial Intelligence in Medicine
Toward a generalized theory of uncertainty (GTU)--an outline
Information Sciences: an International Journal
Rough sets: trends and challenges
RSFDGrC'03 Proceedings of the 9th international conference on Rough sets, fuzzy sets, data mining, and granular computing
A view on rough set concept approximations
RSFDGrC'03 Proceedings of the 9th international conference on Rough sets, fuzzy sets, data mining, and granular computing
A linear programming heuristic for optimal planning
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Hierarchical machine learning – a learning methodology inspired by human intelligence
RSKT'06 Proceedings of the First international conference on Rough Sets and Knowledge Technology
On-Line elimination of non-relevant parts of complex objects in behavioral pattern identification
PReMI'05 Proceedings of the First international conference on Pattern Recognition and Machine Intelligence
Automatic planning of treatment of infants with respiratory failure through rough set modeling
RSCTC'06 Proceedings of the 5th international conference on Rough Sets and Current Trends in Computing
Rough sets and higher order vagueness
RSFDGrC'05 Proceedings of the 10th international conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing - Volume Part I
Ontological framework for approximation
RSFDGrC'05 Proceedings of the 10th international conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing - Volume Part I
DIXER – distributed executor for rough set exploration system
RSFDGrC'05 Proceedings of the 10th international conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing - Volume Part II
Rough set approach to sunspot classification problem
RSFDGrC'05 Proceedings of the 10th international conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing - Volume Part II
Behavioral pattern identification through rough set modelling
RSFDGrC'05 Proceedings of the 10th international conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing - Volume Part II
Improving rough classifiers using concept ontology
PAKDD'05 Proceedings of the 9th Pacific-Asia conference on Advances in Knowledge Discovery and Data Mining
AI planning technology as a component of computerised clinical practice guidelines
AIME'05 Proceedings of the 10th conference on Artificial Intelligence in Medicine
The rough set exploration system
Transactions on Rough Sets III
Approximation spaces and information granulation
Transactions on Rough Sets III
Rough sets and vague concept approximation: from sample approximation to adaptive learning
Transactions on Rough Sets V
Approximate boolean reasoning: foundations and applications in data mining
Transactions on Rough Sets V
Process algebra: a unifying approach
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
An overview of cooperative and competitive multiagent learning
LAMAS'05 Proceedings of the First international conference on Learning and Adaption in Multi-Agent Systems
Editorial: AI planning and scheduling in the medical hospital environment
Artificial Intelligence in Medicine
Interactive Granular Computing in Rightly Judging Systems
RSKT '09 Proceedings of the 4th International Conference on Rough Sets and Knowledge Technology
Interactive Rough-Granular Computing in Pattern Recognition
PReMI '09 Proceedings of the 3rd International Conference on Pattern Recognition and Machine Intelligence
Approximation Spaces in Rough-Granular Computing
Fundamenta Informaticae - Understanding Computers' Intelligence Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena Rasiowa
Information systems in modeling interactive computations on granules
RSCTC'10 Proceedings of the 7th international conference on Rough sets and current trends in computing
Discovery of processes and their interactions from data and domain knowledge
KES-AMSTA'10 Proceedings of the 4th KES international conference on Agent and multi-agent systems: technologies and applications, Part I
A sequential pattern mining algorithm using rough set theory
International Journal of Approximate Reasoning
Preface: Rough sets and fuzzy sets in natural computing
Theoretical Computer Science
Information systems in modeling interactive computations on granules
Theoretical Computer Science
Approximations of functions: toward rough granular calculus
RSKT'11 Proceedings of the 6th international conference on Rough sets and knowledge technology
Modeling rough granular computing based on approximation spaces
Information Sciences: an International Journal
Satisfiability judgement under incomplete information
Transactions on Rough Sets XI
Semantic analytics of pubmed content
USAB'11 Proceedings of the 7th conference on Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society: information Quality in e-Health
Dynamic rule-based similarity model for DNA microarray data
Transactions on Rough Sets XV
Case-based Planning of Treatment of Infants with Respiratory Failure
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
A characterization of rough separability
RSKT'12 Proceedings of the 7th international conference on Rough Sets and Knowledge Technology
Interactive information systems: Toward perception based computing
Theoretical Computer Science
A Domain Knowledge as a Tool For Improving Classifiers
Fundamenta Informaticae - To Andrzej Skowron on His 70th Birthday
Nearness of Visual Objects. Application of Rough Sets in Proximity Spaces
Fundamenta Informaticae - Concurrency, Specification and Programming
Perspectives on Uncertainty and Risk in Rough Sets and Interactive Rough-Granular Computing
Fundamenta Informaticae - Dedicated to the Memory of Professor Manfred Kudlek
Hi-index | 0.00 |
The aim of the paper is to present rough set methods of constructing hierarchical classifiers for approximation of complex concepts. Classifiers are constructed on the basis of experimental data sets and domain knowledge that are mainly represented by concept ontology. Information systems, decision tables and decision rules are basic tools for modeling and constructing such classifiers. The general methodology presented here is applied to approximate spatial complex concepts and spatio-temporal complex concepts defined for (un)structured complex objects, to identify the behavioral patterns of complex objects, and to the automated behavior planning for such objects when the states of objects are represented by spatio-temporal concepts requiring approximation. We describe the results of computer experiments performed on real-life data sets from a vehicular traffic simulator and on medical data concerning the infant respiratory failure.