Communicating sequential processes
Communicating sequential processes
Robot vision
Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Comparative programming languages
Comparative programming languages
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
A Mathematical Introduction to Robotic Manipulation
A Mathematical Introduction to Robotic Manipulation
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)
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
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
On contemporary denotational mathematics for computational intelligence
Transactions on computational science II
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
On the cognitive process of human problem solving
Cognitive Systems Research
Cognitive informatics and denotational mathematical means for brain informatics
BI'10 Proceedings of the 2010 international conference on Brain informatics
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
Relevant and Non-Redundant Amino Acid Sequence Selection for Protein Functional Site Identification
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
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
The Formal Design Models of a Universal Array UA and its Implementation
International Journal of Software Science and Computational Intelligence
Hi-index | 0.00 |
The abstract, rigorous, and expressive needs in cognitive informatics, intelligence science, software science, and knowledge science lead to new forms of mathematics collectively known as denotational mathematics. Denotational mathematics is a category of expressive mathematical structures that deals with high level mathematical entities beyond numbers and sets, such as abstract objects, complex relations, behavioral information, concepts, knowledge, processes, and systems. Denotational mathematics is usually in the form of abstract algebra that is a branch of mathematics in which a system of abstract notations is adopted to denote relations of abstract mathematical entities and their algebraic operations based on given axioms and laws. Four paradigms of denotational mathematics, known as concept algebra, system algebra, Real-Time Process Algebra (RTPA), and Visual Semantic Algebra (VSA), are introduced in this paper. Applications of denotational mathematics in cognitive informatics and computational intelligence are elaborated. Denotational mathematics is widely applicable to model and manipulate complex architectures and behaviors of both humans and intelligent systems, as well as long chains of inference processes.