Results 41 to 50 of about 102,741 (269)
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
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
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
Iterated reflection principles over full disquotational truth [PDF]
, 2017 Iterated reflection principles have been employed extensively to unfold epistemic commitments that are incurred by accepting a mathematical theory. Recently this has been applied to theories of truth.
Fischer, Martin +2 more
core +3 more sources
ChatMolData: A Multimodal Agent for Automatic Molecular Data Processing
Advanced Intelligent Systems, EarlyView.While large language models (LLMs) struggle with molecular data due to single‐modality limitations, ChatMolData—a multimodal agent for processing databases, images, structure files, and documents—is presented. It combines LLMs with tools for retrieval, structuring, prediction, visualization, and search, achieving > 90% accuracy across 128 tasks.
Yi Yu +5 more
wiley +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
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
An expressive completeness theorem for coalgebraic modal mu-calculi [PDF]
, 2017 Generalizing standard monadic second-order logic for Kripke models, we introduce monadic second-order logic interpreted over coalgebras for an arbitrary set functor. We then consider invariance under behavioral equivalence of MSO-formulas.
Enqvist, Sebastian +2 more
core +3 more sources
Behavioral Sciences &the Law, EarlyView.ABSTRACT Prior theoretical and empirical research examining the influence of sex on sentencing has been primarily concerned with the sex of the offender, as opposed to the victim. The present study drew on a convenience sample of males (n = 1190) in state and federal correctional facilities across the country, examining minimum sentences in relation to
Shawn M. Rolfe +2 more
wiley +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