Results 81 to 90 of about 11,766 (228)
African Lambdas II: Formal Semantics of African Languages—The Verbal and Clausal Domain
Language and Linguistics Compass, Volume 20, Issue 1, January/February 2026.ABSTRACT The formal semantic analysis of African languages is still a young subfield within theoretical linguistics. Starting with general overviews of the quantifier systems of individual African languages around two decades ago, there now exists a substantial body of fieldwork‐based and autochthonous formal semantic research conducted by both African
Malte Zimmermann
wiley +1 more source
African Lambdas I: Formal Semantics of African Languages—The Nominal Domain
Language and Linguistics Compass, Volume 20, Issue 1, January/February 2026.ABSTRACT The formal semantic analysis of African languages is still a young subfield within theoretical linguistics. Starting with general overviews of the quantifier systems of individual African languages around two decades ago, there now exists a substantial body of fieldwork‐based and autochthonous formal semantic research conducted by both African
Malte Zimmermann
wiley +1 more source
Service-Oriented Logic Programming [PDF]
Logical Methods in Computer Science, 2015 We develop formal foundations for notions and mechanisms needed to support service-oriented computing. Our work builds on recent theoretical advancements in the algebraic structures that capture the way services are orchestrated and in the processes that
Ionut Tutu, Jose Luiz Fiadeiro
doaj +1 more source
Our(?) Concept of Food or, They are Eating Their Pets
European Journal of Philosophy, Volume 33, Issue 4, Page 1343-1356, December 2025.Abstract This article examines the idea that deep disagreements are best understood as rooted in conceptual differences rather than differences in judgments and opinions, by means of a reflection on the differences between a vegan and a meat eater. The aim is not to develop a new theory of “deep disagreement” but to gain clarity about one field in ...
Niklas Forsberg
wiley +1 more source
The Modern Language Journal, Volume 109, Issue 4, Page 961-990, Winter 2025.Abstract This study leverages concept‐based language instruction (C‐BLI) as an innovative pedagogical approach to teaching academic citation practices and broader concepts of intertextuality in academic research writing. Participants were 34 undergraduate students, predominantly multilingual English writers, enrolled in an advanced writing course at a ...
Yiran Xu, J. Elliott Casal
wiley +1 more source
Divergence and unique solution of equations [PDF]
Logical Methods in Computer Science, 2019 We study proof techniques for bisimilarity based on unique solution of equations. We draw inspiration from a result by Roscoe in the denotational setting of CSP and for failure semantics, essentially stating that an equation (or a system of equations ...
Adrien Durier +2 more
doaj +1 more source
Extensional Denotational Semantics of Higher-Order Probabilistic Programs, Beyond the Discrete Case [PDF]
, 2021 Guillaume Geoffroy
openalex +1 more source
Meta‐Metamodelling of Engineering Systems by Help of Abstract Mathematics
Mathematical Methods in the Applied Sciences, Volume 48, Issue 16, Page 14815-14827, 15 November 2025.ABSTRACT The growing trend of automation in engineering significantly increases the complexity of engineering systems and necessitates a deeper understanding of the coupling of physical and cyber components interacting within the systems. A typical example of such a highly coupled system is an autonomous construction site, where robotic systems aim to ...
Daniel Luckey, Dmitrii Legatiuk
wiley +1 more source
Polysemy and roots: Deep versus shallow fetching
Mind &Language, Volume 40, Issue 5, Page 472-491, November 2025.The paper argues for a model of polysemy based on the blueprint offered by Paul Pietroski whereby the meaning of a lexical item is an instruction to fetch a concept from an address. We show that the bare idea of fetching admits of a deep construal, where a concept is fetched, and a shallow construal, where the instruction merely links a lexical item to
John Collins, Tamara Dobler
wiley +1 more source
Similarity Assessment of the Engineering Concepts: Decision‐Making Support and Metrics
Systems Engineering, Volume 28, Issue 5, Page 628-639, September 2025.ABSTRACT The new product development (NPD) process is a systematic approach to bring new products and innovations to market. Nowadays, this process is affected by a number of influencing factors associated with the fast‐paced technological changes. One of those factors is the distributed design nature of product development activities: team members are
Yaroslav Menshenin +3 more
wiley +1 more source