Results 1 to 10 of about 1,360,419 (300)
Distributional formal semantics
Information and Computation, 2022 To appear in: Information and Computation (WoLLIC 2019 Special Issue)
Noortje Venhuizen +2 more
exaly +5 more sources
Implicit, Formal, and Powerful Semantics in Geoinformation
ISPRS International Journal of Geo-Information, 2021 Distinct, alternative forms of geosemantics, whose classification is often ill-defined, emerge in the management of geospatial information. This paper proposes a workflow to identify patterns in the different practices and methods dealing with ...
Paola Carrara +2 more
exaly +3 more sources
Formal Distributional Semantics: Introduction to the Special Issue
Computational Linguistics, 2021 Formal Semantics and Distributional Semantics are two very influential semantic frameworks in Computational Linguistics. Formal Semantics is based on a symbolic tradition and centered around the inferential properties of language.
Gemma Boleda, Aurélie Herbelot
doaj +2 more sources
KST: Executable Formal Semantics of IEC 61131-3 Structured Text for Verification
IEEE Access, 2019 Programmable logic controllers (PLCs) are special purpose computers designed to perform industrial automation tasks. They require highly reliable control programs, particularly when used in safetycritical systems such as nuclear power stations.
Jianqi Shi, Yanhong Huang
exaly +3 more sources
Formal semantics and functional semantics
The Sign of the V: Papers in Honour of Sten Vikner, 2019 This joint article represents an attempt to clarify relations between two rather different approaches to the description of linguistic meaning: truth-conditional semantics (as represented by Peter Widell) and functional semantics (as represented by Peter Harder).
Harder, Peter, Widell, Peter
openaire +5 more sources
Expressing High-Level Scientific Claims with Formal Semantics [PDF]
International Conference on Knowledge Capture, 2021 The use of semantic technologies is gaining significant traction in science communication with a wide array of applications in disciplines including the life sciences, computer science, and the social sciences.
C. Bucur +3 more
semanticscholar +1 more source
Distributional Formal Semantics [PDF]
Information and Computation, 2021 Natural language semantics has recently sought to combine the complementary strengths of formal and distributional approaches to meaning. More specifically, proposals have been put forward to augment formal semantic machinery with distributional meaning ...
Noortje J. Venhuizen +3 more
semanticscholar +1 more source
Locality and Intervention in the Acquisition of Greek Relative Clauses
Languages, 2022 According to the most recent formulation of Relativized Minimality, grammatical features are distinguished between those that are syntactically active and those that are not.
Nikos Angelopoulos +2 more
doaj +1 more source
Modular, compositional, and executable formal semantics for LLVM IR
Proc. ACM Program. Lang., 2021 This paper presents a novel formal semantics, mechanized in Coq, for a large, sequential subset of the LLVM IR. In contrast to previous approaches, which use relationally-specified operational semantics, this new semantics is based on monadic ...
Yannick Zakowski +5 more
semanticscholar +1 more source
DO LINGUISTIC MEANINGS MEET LINGUISTIC FORM? [PDF]
Manuscrito, 2022 In this brief note, I offer some considerations to the effect of arguing (i) that Duffley's criticism to formal semantics is based on a dogma about the proper nature of the linguistic sing, and (ii) that, even when I agree with the general spirit of his ...
ANDRÉS SAAB
doaj +1 more source