Results 41 to 50 of about 282,427 (194)
Continuations in possible-world semantics
Theoretical Computer Science, 1991 The paper treats the semantics of jumps and block expressions in ALGOL- like languages. The author uses the generalization of conventional semantic domains to functor from the category of ``possible worlds'' to a category of semantic domains. The use of continuations in this generalized framework is discussed.
Tennent, R.D., Tobin, J.K.
openaire +1 more source
A probabilistic database extension [PDF]
, 2004 Data exchange between embedded systems and other small or large computing devices increases. Since data in different data sources may refer to the same real world objects, data cannot simply be merged.
Keijzer, Ander de, Keulen, Maurice van
core +1 more source
Forgetting complex propositions
, 2015 This paper uses possible-world semantics to model the changes that may occur in an agent's knowledge as she loses information. This builds on previous work in which the agent may forget the truth-value of an atomic proposition, to a more general case ...
Fernández-Duque, David +4 more
core +1 more source
Asymptotic Normality in Linear Regression with Approximately Sparse Structure
Mathematics, 2022 In this paper, we study the asymptotic normality in high-dimensional linear regression. We focus on the case where the covariance matrix of the regression variables has a KMS structure, in asymptotic settings where the number of predictors, p, is ...
Saulius Jokubaitis, Remigijus Leipus
doaj +1 more source
Relativism, Faultlessness, and the Epistemology of Disagreement [PDF]
, 2018 : Recent years have witnessed a revival of interest in relativism. Proponents have defended various accounts that seek to model the truth-conditions of certain propositions along the lines of standard possible world semantics.
Dugas, Micah
core
Sensors, 2023 In Internet of Things (IoT) systems in which a large number of IoT devices are connected to each other and to third-party servers, it is crucial to verify whether each device operates appropriately.
Dong-Hyeon Ryu +3 more
doaj +1 more source
Actuality and fake tense in conditionals
Semantics and Pragmatics, 2015 Sabine Iatridou (2000) and Katrin Schulz (2014) defend accounts of the past tense in subjunctive conditionals according to which the past tense has a modal reading that excludes the world of utterance or some set of epistemically possible worlds. I argue
John Mackay
doaj +1 more source
Multi-Agent Only-Knowing Revisited [PDF]
, 2010 Levesque introduced the notion of only-knowing to precisely capture the beliefs of a knowledge base. He also showed how only-knowing can be used to formalize non-monotonic behavior within a monotonic logic. Despite its appeal, all attempts to extend only-
Belle, Vaishak, Lakemeyer, Gerhard
core +2 more sources
Актуальні питання суспільних наук та історії медицини, 2017 Сиренко София. Когнитивная антропология как актуальная литературоведческая методология. Статья посвящена рассмотрению понятия, сущности и основных тезисов когнитивной антропологии как литературоведческой методологии, которая представляет собой ...
Софія СІРЕНКО
doaj +1 more source
Atmosphere, 2020 Black carbon (BC) is one of the most harmful substances within traffic emissions, contributing considerably to urban pollution. Nevertheless, it is not explicitly regulated and the official laboratory derived emission factors are barely consistent with ...
Anne Wiesner +5 more
doaj +1 more source