Denotational semantics
相关论文数: 18
顶级研究者
最高引用论文
Fixed point theorems and semantics: a folk tale
J.-L. Lassez, V.L. Nguyen, Ea Sonenberg
引用数: 133 • 1982
Semantic Manipulations and Formal Ontology for Machine Learning based on Concept Algebra
Yingxu Wang, Yousheng Tian, Kendal Hu
引用数: 59 • 2011
Concept Algebra: A Denotational Mathematics for Formal Knowledge Representation and Cognitive Robot Learning
Yingxu Wang
引用数: 48 • 2015
Communicating shared resources: a model for distributed real-time systems
R. Gerber, I. Lee
引用数: 36 • 2003
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP
Simon Foster, James Baxter, Ana Cavalcanti, Alvaro Miyazawa
引用数: 27 • 2018
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP
引用数: 20 • 2018
Language for humans and robots
Patrick Suppes
引用数: 10 • 1991
Automated verification of reactive and concurrent programs by calculation
Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock
引用数: 7 • 2021
Formally Verified Animation for RoboChart Using Interaction Trees
Kangfeng Ye, Simon Foster, Jim Woodcock
引用数: 7 • 2022
Formally verified animation for RoboChart using interaction trees
Kangfeng Ye, Simon Foster, Jim Woodcock
引用数: 6 • 2023
A Rewriting Framework for Interacting Cyber-Physical Agents
Benjamin Lion, Farhad Arbab, Carolyn Talcott
引用数: 6 • 2022
Towards a fuzzy logical algebra (FLA) for formal inferences in cognitive computing and cognitive robotics
Yingxu Wang
引用数: 5 • 2015
Domain Specific Language for Geometric Relations between Rigid Bodies targeted to robotic applications
Tinne De Laet, Wouter Schaekers, Jonas de Greef, Herman Bruyninckx
引用数: 5 • 2013
Semantic Manipulations and Formal Ontology for Machine Learning based on Concept Algebra
Yingxu Wang, Yousheng Tian, Kendal Hu
引用数: 3 • 2012
Some Aspects about Visualization of Natural Semantics for a Selected Domain-Specific Language
William Steingartner, Davorka Radaković, Richard Zsiga
引用数: 2 • 2023
Public and Private Affairs in Strategic Reasoning
Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi
引用数: 2 • 2022
When Programs Have to Watch Paint Dry
Danel Ahman
引用数: 2 • 2023
Distribution Theoretic Semantics for Non-Smooth Differentiable Programming
Pedro H. Azevedo de Amorim, Christopher Wai‐Kei Lam
引用数: 2 • 2022