Results 151 to 160 of about 1,307,657 (201)
Some of the next articles are maybe not open access.
Towards Formal Semantics for ODRL Policies
International Web Rule Symposium, 2015Simon Steyskal, A. Polleres
semanticscholar +1 more source
2010
In his classic paper on frame semantics, Charles Fillmore says that it comes from traditions of empirical semantics rather than formal semantics. In this paper we will try to draw a closer connection between empirical and formal semantics and suggest that a notion of frame closely related to that found in FrameNet can be usefully exploited in formal ...
openaire +1 more source
In his classic paper on frame semantics, Charles Fillmore says that it comes from traditions of empirical semantics rather than formal semantics. In this paper we will try to draw a closer connection between empirical and formal semantics and suggest that a notion of frame closely related to that found in FrameNet can be usefully exploited in formal ...
openaire +1 more source
Lewis Acid Catalyzed Formal (3+2)‐Cycloaddition of Bicyclo[1.1.0]butanes with Ketenes
Angewandte Chemie - International Edition, 2023Armido Studer
exaly
Bridging the gap between formal semantics and implementation of triple graph grammars
2010 Workshop on Model-Driven Engineering, Verification, and Validation, 2014H. Giese +2 more
semanticscholar +1 more source
Considerations for diagnostic COVID-19 tests
Nature Reviews Microbiology, 2020Olivier Vandenberg +2 more
exaly
A Survey of Smart Contract Formal Specification and Verification
ACM Computing Surveys, 2022Palina Tolmach, Yang Liu
exaly
Intermolecular Formal Cycloaddition of Indoles with Bicyclo[1.1.0]butanes by Lewis Acid Catalysis
Angewandte Chemie - International Edition, 2023Dongshun Ni, Li Deng
exaly