Results 1 to 10 of about 1,307,657 (201)
Distributional formal semantics [PDF]
Information and Computation, 2022 To appear in: Information and Computation (WoLLIC 2019 Special Issue)
Venhuizen, Noortje J. +3 more
openaire +5 more sources
Formal semantics for propositional attitudes [PDF]
Manuscrito, 2011 Contemporary logic is confined to a few paradigmatic attitudes such as belief, knowledge, desire and intention. My purpose is to present a general model-theoretical semantics of propositional attitudes of any cognitive or volitive mode.
Daniel Vanderveken
doaj +3 more sources
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
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
Formal Component-Based Semantics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 One of the proposed solutions for improving the scalability of semantics of programming languages is Component-Based Semantics, introduced by Peter D. Mosses.
Ken Madlener +2 more
doaj +1 more source
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 ...
Gloria Bordogna +3 more
doaj +1 more source
The lexical and formal semantics of distributivity
Glossa, 2021 Some predicates are distributive (true of each member of a plural subject: if two people smile, they each do). Others are nondistributive (if two people meet, they do so jointly rather than individually), or go both ways: if two people open a door ...
Lelia Glass
doaj +2 more sources
Simulator Semantics for System Level Formal Verification [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 Many simulation based Bounded Model Checking approaches to System Level Formal Verification (SLFV) have been devised. Typically such approaches exploit the capability of simulators to save computation time by saving and restoring the state of the system ...
Toni Mancini +4 more
doaj +1 more source
On the Triviality of the Principle of Compositionality
Felsefe Arkivi, 2023 The principle of compositionality states that the meaning of an expression is a function of the meanings of its parts. The principle is based on Gottlob Frege’s works that consider linguistic meaning in the function-argument structure.
Tolgahan Toy
doaj +1 more source
Glossa, 2023 This paper provides a detailed description of the distribution of an utterance-accompanying or utterance-replacing throwing away gesture (see Bressem & Müller 2014, 2017), THROW, and proposes a formal analysis of its contribution.
Naomi Francis +2 more
doaj +2 more sources