Communicating sequential processes
Communicating sequential processes
Mathematical methods in artificial intelligence
Mathematical methods in artificial intelligence
The Real-Time Process Algebra (RTPA)
Annals of Software Engineering
ICCI '02 Proceedings of the 1st IEEE International Conference on Cognitive Informatics
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
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 models of the brain
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
| Hi-index | 0.01 |
The denotational and expressive needs in cognitive informatics,computational intelligence, software engineering, and knowledge engineeringlead to the development of new forms of mathematics collectively known asdenotational mathematics. Denotational mathematics is a category ofmathematical structures that formalize rigorous expressions and long-chain inferences of system compositions and behaviors with abstract concepts,complex relations, and dynamic processes. Typical paradigms of denotationalmathematics are such as concept algebra, system algebra, Real-Time ProcessAlgebra (RTPA), Visual Semantic Algebra (VSA), fuzzy logic, and rough sets.A wide range of applications of denotational mathematics have been identifiedin many modern science and engineering disciplines that deal with complex andintricate mathematical entities and structures beyond numbers, Booleanvariables, and traditional sets.