Results 221 to 230 of about 23,702 (247)

Artificial intelligence in preclinical epilepsy research: Current state, potential, and challenges

open access: yesEpilepsia Open, EarlyView.
Abstract Preclinical translational epilepsy research uses animal models to better understand the mechanisms underlying epilepsy and its comorbidities, as well as to analyze and develop potential treatments that may mitigate this neurological disorder and its associated conditions. Artificial intelligence (AI) has emerged as a transformative tool across
Jesús Servando Medel‐Matus   +7 more
wiley   +1 more source

Cognitive Capacities as Functional Natural Kinds. [PDF]

open access: yesIntegr Psychol Behav Sci
García CL   +2 more
europepmc   +1 more source

Inquisitive Propositional Dynamic Logic

open access: yesJournal of Logic, Language and Information, 2021
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Vít Punčochář, Igor Sedlár
exaly   +3 more sources

A Multi-type Calculus for Inquisitive Logic

Lecture Notes in Computer Science, 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 ...
Giuseppe Greco   +2 more
exaly   +3 more sources

SUBSTRUCTURAL INQUISITIVE LOGICS

The Review of Symbolic Logic, 2019
AbstractThis paper shows that any propositional logic that extends a basic substructural logic BSL (a weak, nondistributive, nonassociative, and noncommutative version of Full Lambek logic with a paraconsistent negation) can be enriched with questions in the style of inquisitive semantics and logic.
openaire   +1 more source

Decidability of Inquisitive Modal Logic via Filtrations

open access: yesStudia Logica
Inquisitive 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
exaly   +3 more sources

Home - About - Disclaimer - Privacy