ON FORMAL AND COGNITIVE SEMANTICS FOR SEMANTIC COMPUTING

DOI10.1142/S1793351X10000833zbMath1214.68167MaRDI QIDQ3062792

Yingxu Wang

Publication date: 28 December 2010

Published in: International Journal of Semantic Computing (Search for Journal in Brave)

zbMATH Keywords

formal semanticsrelational semanticscomputing with wordscognitive computingvisual semanticsbehavioral semanticscognitive semanticssemantic computingcognitive informaticsdenotational mathematicsconcept-algebra-based semanticsdeductive semantics

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Cites Work

• The real-time process algebra (RTPA)
• Pinnacles of software engineering: 25 years of formal methods
• On certain formal properties of grammars
• Guarded commands, nondeterminacy and formal derivation of programs
• Communicating sequential processes
• Three models for the description of language
• An axiomatic basis for computer programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: ON FORMAL AND COGNITIVE SEMANTICS FOR SEMANTIC COMPUTING