Results 81 to 90 of about 261,741 (294)
Bilinear Learning with Dual-Chain Feature Attention for Multimodal Rumor Detection
MathematicsThe rapid growth of social media and online information-sharing platforms facilitates the spread of rumors. Accurate rumor detection to minimize manual verification efforts remains a critical research challenge.
Zheheng Guo +3 more
doaj +1 more source
Proof-Relevant Logical Relations for Name Generation [PDF]
Logical Methods in Computer Science, 2018 Pitts and Stark's $\nu$-calculus is a paradigmatic total language for studying the problem of contextual equivalence in higher-order languages with name generation.
Nick Benton, Martin Hofmann, Vivek Nigam
doaj +1 more source
Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics [PDF]
, 2008 Coalgebras provide a uniform framework for the semantics of a large class of (mostly non-normal) modal logics, including e.g. monotone modal logic, probabilistic and graded modal logic, and coalition logic, as well as the usual Kripke semantics of modal logic. In earlier work, the finite model property for coalgebraic logics has been established w.r.t.
Dirk Pattinson, Lutz Schröder
openaire +1 more source
Artificial Intelligence (AI) and Agribusiness: From Automation to Augmentation in a Global Context
Agribusiness, EarlyView.
Alexis H. Villacis
wiley +1 more source
Autism Research, EarlyView.ABSTRACT Existing literature suggests that differences between autistic and non‐autistic people in emotion recognition might be related to differences in how these groups experience emotions themselves. Specifically, autistic individuals may show differences in the consistency of emotional experiences, the ability to distinguish between emotions, and ...
Connor Tom Keating +2 more
wiley +1 more source
Stable Model Semantics for Guarded Existential Rules and Description Logics. [PDF]
, 2014 We tackle a long-standing open research problem and prove the decidability of query answering under the stable model semantics for guarded existential rules, where rule bodies may contain negated atoms, and provide complexity results. The results extend to guarded Datalog+⁄− with negation, and thus provide a natural and decidable stable model semantics
Gottlob, Georg +3 more
openaire +1 more source
‘Let's talk about the weather’: The activist curriculum and global climate change education
British Educational Research Journal, EarlyView.Abstract Activist movements have garnered significant global attention on a range of sustainability issues, often involving collectives of citizens coming together. Invoked is the idea of citizens informed to act, emerging not from a common‐sense understanding of everyday life, but rather from a deep political understanding of the world—one that is ...
Richard Pountney
wiley +1 more source
Automatic extraction of corollaries from semantic structure of text
Open Engineering, 2016 The aim of this study is to develop an algorithm for automatic representation of the text of natural language as a formal system for the subsequent automatic extraction as reasonable answers to profound questions in the context of the text, and the deep ...
Nurtazin Abyz T., Khisamiev Zarif G.
doaj +1 more source
The absent presence of disability in British higher education
British Educational Research Journal, EarlyView.Abstract Rates of disability disclosure are steadily increasing in British higher education (HE), with 18% of the student population having a known disability in 2023/24. It might be assumed that progress is being made with increased representation, rights and support for disabled students.
G. Koutsouris +5 more
wiley +1 more source
British Educational Research Journal, EarlyView.Abstract Academic misconduct appeal services have quietly emerged within China's education marketplace, with commercial agencies promoting themselves on social media to assist international students facing misconduct hearings. While existing research on academic integrity has emphasized prevention and detection, far less attention has been paid to what
Gengyan Tang +2 more
wiley +1 more source