Results 41 to 50 of about 101,814 (276)
Quantification in frame semantics with binders and nominals of hybrid logic
Journal of Language Modelling, 2017 This paper aims to integrate logical operators into frame-based semantics. Frames are semantic graphs that allow lexical meaning to be captured in a fine-grained way but that do not come with a natural way to integrate logical operators such as ...
Laura Kallmeyer +2 more
doaj +1 more source
The Insistence of Blackness and the Persistence of Antiblackness in Ireland
Australian Journal of Social Issues, EarlyView.ABSTRACT This paper positions Ireland as a critical site for examining the insistence of blackness and an antiblackness created and sustained through Irish ethnonationalist imaginaries and exclusionary processes. Drawing on connected sociologies and Irish Black Studies, this enquiry argues that antiblackness in Ireland operates as a generational force,
Philomena Mullen
wiley +1 more source
Antipode, EarlyView., 2023 Abstract The perceptions and representations of whiteness around motherhood, family, and black sexuality reproduce the logic of what Hortense Spillers calls “captive flesh”, controlling understandings about femininity, motherhood, and gender. This debate is guided by the politics of the racial neoliberal agenda that works to control the urban ...
Danielle Pereira de Araújo
wiley +1 more source
Introducing Quantified Cuts in Logic with Equality
, 2014 Cut-introduction is a technique for structuring and compressing formal proofs. In this paper we generalize our cut-introduction method for the introduction of quantified lemmas of the form $\forall x.A$ (for quantifier-free $A$) to a method generating ...
Hetzl, Stefan +4 more
core +2 more sources
On Automated Lemma Generation for Separation Logic with Inductive Definitions [PDF]
, 2015 Separation Logic with inductive definitions is a well-known approach for deductive verification of programs that manipulate dynamic data structures. Deciding verification conditions in this context is usually based on user-provided lemmas relating the ...
B Cook +14 more
core +4 more sources
, 2017 The Knower paradox purports to place surprising a priori limitations on what we can know. According to orthodoxy, it shows that we need to abandon one of three plausible and widely-held ideas: that knowledge is factive, that we can know that knowledge is
Jerzak, Ethan
core +1 more source
Kant on the Logical Form of Singular Judgments [PDF]
, 2014 At A71/B96–7 Kant explains that singular judgements are ‘special’ because they stand to the general ones as Einheit to Unendlichkeit. The reference to Einheit brings to mind the category of unity and hence raises a spectre of
Lu-Adler, Huaping
core +1 more source
Neuro-symbolic Predicate Invention: Learning relational concepts from visual scenes
Neurosymbolic Artificial IntelligenceThe predicates used for Inductive Logic Programming (ILP) systems are usually elusive and need to be hand-crafted in advance, which limits the generalization of the system when learning new rules without sufficient background knowledge.
Jingyuan Sha +3 more
semanticscholar +1 more source
Journal of the Association for Information Science and Technology, EarlyView.Abstract The term semantic primitives refers to a set of basic, atomic concepts from which all other (compound) concepts are constructed. It presupposes the principle of compositionality—the idea that complex items or expressions can be formed by combining simpler constituents.
Birger Hjørland
wiley +1 more source
Implementing Circularity in Organizations by Navigating Institutional Plurality
Business Strategy and the Environment, EarlyView.ABSTRACT The move towards a circular economy (CE) urges organizations to integrate CE principles into their core processes. This implementation creates tensions between existing institutional configurations and the pressures imposed by redefined principles.
Tom B. J. Coenen +3 more
wiley +1 more source