Results 81 to 90 of about 405,638 (322)
Representing Default Logic in Modal Logic [PDF]
, 2003 The nonmonotonic logic called Default Logic is shown to be representable in a monotonic Modal Quantificational Logic whose modal laws are stronger than S5. Specifically, it is proven that a set of sentences of First Order Logic is a fixed-point of the
Brown, Frank
core
Advanced Intelligent Systems, EarlyView.Cluster‐assembled nanocomposite devices are employed for the classification of neuronal traces, without any preprocessing of the input time‐series or prior training of the nonlinear devices. The classification method relies on the statistical analysis of the device's output time‐series, achieving higher classification accuracy compared to more energy ...
Filippo Profumo +5 more
wiley +1 more source
Conceptual thinking in Hegel’s [PDF]
Argument, 2013 Analytical philosophy after Frege’s logicism and Russell’s logical atomism presupposes sortal domains of individual “entities” for which we already have defined their identities and elementary predicates. Such “things” exist only in ideal “possible world”
Pirmin STEKELER-WEITHOFER
doaj
Advanced Intelligent Systems, EarlyView.This study presents a robot‐assisted remote rehabilitation system for postoperative ankle fractures. The 2.634 kg modular system uses wireless control and deep learning to predict force delays, achieving 100 Hz control (normalized root mean square error ≤ 10.89%).
Zhiyuan He +4 more
wiley +1 more source
Australian Journal of Social Issues, EarlyView.ABSTRACT This paper presents a critical examination of Australia's 2021 household, individual and interviewer census forms. Using a form‐led analysis, this research scrutinises the underlying cisheteronormative logic that implicitly shapes the Census process, from data collection to distribution of findings.
Xavier Mills, Sal Clark
wiley +1 more source
Lexicographic priorities in default logic
Artificial Intelligence, 1998 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
Journal of the Association for Information Science and Technology, Volume 76, Issue 4, Page 649-664, April 2025.Abstract Many theories of human information behavior (HIB) assume that information objects are in text document format. This paper argues four important HIB theories are insufficient for describing users' search strategies for data because of assumptions about the attributes of objects that users seek.
Anthony J. Million +3 more
wiley +1 more source
Disjunctive Logic Programs with Inheritance
, 2001 The paper proposes a new knowledge representation language, called ...
Buccafurri, Francesco +2 more
core +1 more source
Autism Research, EarlyView.ABSTRACT Autism spectrum disorder (ASD) is a complex neurodevelopmental disorder characterized by deficits in social interactions, repetitive behaviors, and hyper‐ or hyposensitivity to sensory stimuli. The cellular mechanisms underlying the emergence of abnormal sensory sensitivity in ASD are not fully understood.
Alejandra Fernandez +3 more
wiley +1 more source
On the Relationship between Quantified Reflective Logic and Quantified Default Logic [PDF]
, 2003 Reflective Logic and Default Logic are both generalized so as to allow universally quantified variables to cross modal scopes whereby the Barcan formula and its converse hold.
Brown, Frank
core