Results 11 to 20 of about 37,120 (283)
, 2023 Compositionality is a principle used in logic, philosophy, mathematics, linguistics, and computer science for assigning meanings to language expressions in a systematic manner following syntactic construction, thereby allowing for a perspicuous algebraic view of the syntax-semantics interface.
Baltag, A. +2 more
openaire +4 more sources
Proving hypersafety compositionally
Proceedings of the ACM on Programming Languages, 2022 Hypersafety properties of arity n are program properties that relate n traces of a program (or, more generally, traces of n programs). Classic examples include determinism, idempotence, and associativity. A number of relational program logics
Emanuele D'Osualdo +2 more
openaire +3 more sources
The myth of occurrence-based semantics [PDF]
, 2020 The principle of compositionality requires that the meaning of a complex expression remains the same after substitution of synonymous expressions. Alleged counterexamples to compositionality seem to force a theoretical choice: either apparent synonyms ...
Pickel, Bryan, Rabern, Brian
core +4 more sources
Generalised compositionality in graph transformation [PDF]
, 2012 We present a notion of composition applying both to graphs and to rules, based on graph and rule interfaces along which they are glued. The current paper generalises a previous result in two different ways.
Ghamarian, Amir Hossein, Rensink, Arend
core +7 more sources
Compositional model checking of concurrent systems, with Petri nets [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Compositionality and process equivalence are both standard concepts of process algebra. Compositionality means that the behaviour of a compound system relies only on the behaviour of its components, i.e. there is no emergent behaviour.
Paweł Sobociński
doaj +1 more source
Blending et analogie : enjeux épistémologiques
Corela, 2023 This paper aims to put into perspective, through an epistemological approach the theories of blending (or “conceptual integration”, CI) and analogy. It is based on the integration of cognitive semantics approach (Fauconnier, 1985; Fauconnier and Turner ...
Mariangela Albano, Philippe Monneret
doaj +1 more source
Comparaison entre espèces chez le primate et évolution du langage
Revue de Primatologie, 2023 Language is now specific to modern humans. One of the main problems regarding the evolution of language is that language does not fossilize, which makes it difficult to date its apparition in the homo lineage.
Anne Reboul
doaj +1 more source
Eesti Rakenduslingvistika Ühingu Aastaraamat, 2023 In addition to individual words, the mental lexicon stores lexical chunks, such as idioms, which provide foreign-language learners with the capacity to acquire the language more effectively.
Rita Forssten
doaj +1 more source
Compositionality for Quantitative Specifications [PDF]
Soft Computing, 2015 We provide a framework for compositional and iterative design and verification of systems with quantitative information, such as rewards, time or energy. It is based on disjunctive modal transition systems where we allow actions to bear various types of quantitative information.
Fahrenberg, Uli +3 more
openaire +6 more sources
Compositional Sequence Generation in the Entorhinal–Hippocampal System
Entropy, 2022 Neurons in the medial entorhinal cortex exhibit multiple, periodically organized, firing fields which collectively appear to form an internal representation of space. Neuroimaging data suggest that this grid coding is also present in other cortical areas
Daniel C. McNamee +3 more
doaj +1 more source