Communicating sequential processes
Communicating sequential processes
Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Comparative programming languages
Comparative programming languages
Fundamentals of pattern recognition (2nd revised and expanded ed.)
Fundamentals of pattern recognition (2nd revised and expanded ed.)
Mathematical methods in artificial intelligence
Mathematical methods in artificial intelligence
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
Communicating sequential processes
Communications of the ACM
The Architecture of Cognition
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Elements of the Theory of Computation
Elements of the Theory of Computation
Programming Languages: Principles and Practice
Programming Languages: Principles and Practice
The Real-Time Process Algebra (RTPA)
Annals of Software Engineering
ICCI '02 Proceedings of the 1st IEEE International Conference on Cognitive Informatics
Granular computing: an emerging paradigm
Granular computing: an emerging paradigm
A Concise Introduction to Logic (with CD-ROM) (Concise Introduction to Logic)
A Concise Introduction to Logic (with CD-ROM) (Concise Introduction to Logic)
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
The Principles of Large-Scale Computing Machines
IEEE Annals of the History of Computing
The Theoretical Framework and Cognitive Process of Learning
COGINF '07 Proceedings of the 6th IEEE International Conference on Cognitive Informatics
Software Engineering Foundations: A Software Science Perspective
Software Engineering Foundations: A Software Science Perspective
Cognitive informatics and contemporary mathematics for knowledge manipulation
RSKT'06 Proceedings of the First international conference on Rough Sets and Knowledge Technology
A layered reference model of the brain (LRMB)
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
On the informatics laws and deductive semantics of software
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
A hierarchical abstraction model for software engineering
Proceedings of the 2nd international workshop on The role of abstraction in software engineering
A Doctrine of Cognitive Informatics (CI)
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
Paradigms of Denotational Mathematics for Cognitive Informatics and Cognitive Computing
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (II)
A Formal Syntax of Natural Languages and the Deductive Grammar
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (II)
Toward Formal Models of the Theoretical Framework of Fundamental Economics
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (II)
Toward a Formal Knowledge System Theory and Its Cognitive Informatics Foundations
Transactions on Computational Science V
Formal Description of the Cognitive Process of Memorization
Transactions on Computational Science V
A Knowledge Representation Tool for Autonomous Machine Learning Based on Concept Algebra
Transactions on Computational Science V
Guest editorial: special issue on cybernetics and cognitive informatics
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics - Special issue on cybernetics and cognitive informatics
Perspectives on denotational mathematics: new means of thought
Transactions on computational science II
On mathematical laws of software
Transactions on computational science II
Cognitive informatics and denotational mathematical means for brain informatics
BI'10 Proceedings of the 2010 international conference on Brain informatics
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (II)
Toward Formal Models of the Theoretical Framework of Fundamental Economics
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (II)
A Formal Syntax of Natural Languages and the Deductive Grammar
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (II)
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
A Doctrine of Cognitive Informatics (CI)
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
Paradigms of Denotational Mathematics for Cognitive Informatics and Cognitive Computing
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
Perspectives on Cognitive Informatics and Cognitive Computing
International Journal of Cognitive Informatics and Natural Intelligence
A Web Knowledge Discovery Engine Based on Concept Algebra
International Journal of Cognitive Informatics and Natural Intelligence
The Cognitive Process of Comprehension: A Formal description
International Journal of Cognitive Informatics and Natural Intelligence
Perspectives on the Field of Cognitive Informatics and its Future Development
International Journal of Cognitive Informatics and Natural Intelligence
International Journal of Cognitive Informatics and Natural Intelligence
Semantic Manipulations and Formal Ontology for Machine Learning based on Concept Algebra
International Journal of Cognitive Informatics and Natural Intelligence
The Formal Design Model of an Automatic Teller Machine ATM
International Journal of Software Science and Computational Intelligence
Design and Implementation of an Autonomic Code Generator Based on RTPA
International Journal of Software Science and Computational Intelligence
International Journal of Software Science and Computational Intelligence
Perspectives on Cognitive Computing and Applications
International Journal of Software Science and Computational Intelligence
The Formal Design Models of a Set of Abstract Data Types ADTs
International Journal of Software Science and Computational Intelligence
On Cognitive Models of Causal Inferences and Causation Networks
International Journal of Software Science and Computational Intelligence
The Formal Design Model of a File Management System FMS
International Journal of Software Science and Computational Intelligence
The Formal Design Model of Doubly-Linked-Circular Lists DLC-Lists
International Journal of Software Science and Computational Intelligence
Empirical Studies on the Functional Complexity of Software in Large-Scale Software Systems
International Journal of Software Science and Computational Intelligence
The Formal Design Models of a Universal Array UA and its Implementation
International Journal of Software Science and Computational Intelligence
The Formal Design Models of Tree Architectures and Behaviors
International Journal of Software Science and Computational Intelligence
Seamless Implementation of a Telephone Switching System Based on Formal Specifications in RTPA
International Journal of Software Science and Computational Intelligence
Formal Rules for Fuzzy Causal Analyses and Fuzzy Inferences
International Journal of Software Science and Computational Intelligence
Hi-index | 0.00 |
Denotational mathematics is a category of expressive mathematicalstructures that deals with high-level mathematical entities beyond numbers andsets, such as abstract objects, complex relations, behavioral information, concepts,knowledge, processes, intelligence, and systems. New forms of mathematicsare sought, collectively known as denotational mathematics, in order todeal with complex mathematical entities emerged in cognitive informatics,computational intelligence, software engineering, and knowledge engineering.The domain and architecture of denotational mathematics are presented in thispaper. Three paradigms of denotational mathematics, known as concept algebra,system algebra, and Real-Time Process Algebra (RTPA), are introduced.Applications of denotational mathematics in cognitive informatics and computationalintelligence are elaborated. A set of case studies is presented on themodeling of iterative and recursive systems architectures and behaviors byRTPA, the modeling of autonomic machine learning by concept algebra, andthe modeling of granular computing by system algebra.