Results 51 to 60 of about 23,531 (249)
A Multi-type Calculus for Inquisitive Logic
, 2016 In this paper, we define a multi-type calculus for inquisitive logic, which is sound, complete and enjoys Belnap-style cut-elimination and subformula property. Inquisitive logic is the logic of inquisitive semantics, a semantic framework developed by Groenendijk, Roelofsen and Ciardelli which captures both assertions and questions in natural language ...
Frittella, Sabine +3 more
openaire +4 more sources
Levels and Variations of Violation in Rape. [PDF]
, 2001 This chapter investigates the variations in crime scene behaviour revealed in a sample of victim statements in cases of stranger sexual assault. Building on previous findings by Canter and Heritage (1990), and Canter (1994), it was hypothesised that ...
Alison, Laurence +3 more
core
The Anatomical Record, EarlyView.Abstract A recent debate has emerged between Caspar et al. (2024) and Herculano‐Houzel (2023) on inferring extinct dinosaur cognition by estimating brain neuron counts. While thought‐provoking, the discussion largely overlooks the function of cognition, as well as partly neglects the difficulties involved in estimating neuron numbers, which according ...
Thomas Rejsenhus Jensen +7 more
wiley +1 more source
A Call for Self-Study in Middle Level Teacher Education [PDF]
, 2018 To promote dialogue and in response to calls for rigorous, large-scale, empirical studies as the standard that will move the field of middle level education forward, a collaborative of middle level teacher researchers submit three counterpoints to the ...
Falbe, Kristina N +2 more
core +1 more source
Anatomical Sciences Education, Volume 18, Issue 3, Page 289-300, March 2025.Abstract It is likely existing anatomical illustrations are often used as the basis for new illustrative works, given not all illustrators have access to human tissues, bodies, or prosections on which to base their illustrations. Potential issues arise with this practice in the realms of copyright infringement and plagiarism when authors are seeking to
Jon Cornwall +7 more
wiley +1 more source
Journal of the Association for Information Science and Technology, EarlyView.Abstract Caste—an ascriptive social hierarchy in South Asia and its diaspora—is a globalized phenomenon. Recent caste‐based discrimination, particularly in technology companies and anti‐caste efforts to address it, has compelled academia, policy, and the technology industry to better understand contemporary mechanics of caste.
Nayana Kirasur, Britt Paris
wiley +1 more source
Decidability of Inquisitive Modal Logic via Filtrations
Studia LogicaInquisitive logic is an extension of classical logic which can express questions. To enable this expressiveness, a possible world semantics is used. So, it is natural to combine inquisitive and modal logic, thus obtaining the inquisitive modal logic InqML.
Marić, Stipe, Perkov, Tin
openaire +2 more sources
British Educational Research Journal, EarlyView.Abstract This paper challenges the prevailing assumption that technology‐enhanced learning (TEL) inherently benefits all students in higher education, examining how undergraduate students with specific learning differences (SpLDs) and/or autism spectrum disorder (ASD) use technology for learning.
Alexia Achtypi +3 more
wiley +1 more source
From the buzzing in Turing’s head to machine intelligence contests [PDF]
, 2010 This paper presents an analysis of three major contests for machine intelligence. We conclude that a new era for Turing’s test requires a fillip in the guise of a committed sponsor, not unlike DARPA, funders of the successful 2007 Urban ...
Shah, Huma, Warwick, Kevin
core
Disjunction and Existence Properties in Inquisitive First-Order Logic [PDF]
Studia Logica, 2018 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +4 more sources