Results 81 to 90 of about 69,515 (313)
Modal tableaux for nonmonotonic reasoning [PDF]
, 1998 The tableau-like proof system KEM has been proven to be able to cope with a wide variety of (normal) modal logics. KEM is based on D'Agostino and Mondadori's (1994) classical proof system KE, a combination of tableau and natural deduction inference rules
Artosi, Alberto, Governatori, Guido
core +2 more sources
Flexible Sensor‐Based Human–Machine Interfaces with AI Integration for Medical Robotics
Advanced Robotics Research, EarlyView.This review explores how flexible sensing technology and artificial intelligence (AI) significantly enhance human–machine interfaces in medical robotics. It highlights key sensing mechanisms, AI‐driven advancements, and applications in prosthetics, exoskeletons, and surgical robotics.
Yuxiao Wang +5 more
wiley +1 more source
Enhancing Multimodal Learning Through Traditional Sporting Games: Marro360°
Frontiers in Psychology, 2020 Different international organizations and initiatives highlight the contribution of the traditional sporting games (TSGs) to favor the diversity of knowledge, values, and attitudes necessary for today’s society.
Pere Lavega-Burgués +14 more
doaj +1 more source
Discursive Modeling o f a Woman in the Soviet Periodicals for Children
Дискурс Пи, 2022 Based on the data drawn from the Pioneer magazine of the 1970s and 1980s, the author sets the aim to design a discursive model of the woman in the Soviet children's press. The object of study is explored in terms of positive propaganda. Drawing on social
Dubrovskaya, T. V.
doaj +1 more source
A New Approach for Dynamic Stochastic Fractal Search with Fuzzy Logic for Parameter Adaptation
Fractal and Fractional, 2021 Stochastic fractal search (SFS) is a novel method inspired by the process of stochastic growth in nature and the use of the fractal mathematical concept. Considering the chaotic stochastic diffusion property, an improved dynamic stochastic fractal search
Marylu L. Lagunes +4 more
doaj +1 more source
Comparing and evaluating extended Lambek calculi [PDF]
, 2015 Lambeks Syntactic Calculus, commonly referred to as the Lambek calculus, was innovative in many ways, notably as a precursor of linear logic. But it also showed that we could treat our grammatical framework as a logic (as opposed to a logical theory ...
Moot, Richard
core +3 more sources
Liquid Metal Sensors for Soft Robots
Advanced Robotics Research, EarlyView.This review thoroughly reviews liquid metal sensors in soft robots. Their unique material properties like high conductivity and good biocompatibility are analyzed. Working principles are classified, and applications in environmental perception, motion detection, and human—robot interaction are introduced.
Qi Zhang +7 more
wiley +1 more source
Advanced Science, EarlyView.A full‐range proximity‐tactile sensing module is developed for safe operation of surgical robots, which performs multimodal fusion perception through ultrasonic sensor for long‐range proximity detection, capacitive sensor for close‐range proximity sensing, and triboelectric sensor for tactile sensing.
Dongsheng Li +8 more
wiley +1 more source
A Framework for Agent-based Human Interaction Support [PDF]
Journal of Systemics, Cybernetics and Informatics, 2008 In this paper we describe an agent-based infrastructure for multimodal perceptual systems which aims at developing and realizing computer services that are delivered to humans in an implicit and unobtrusive way.
Axel Bürkle +3 more
doaj
Critical Thinking and Informal Logic: Neuropsychological Perspectives
Informal Logic, 2011 This article challenges the common view that improvements in critical thinking are best pursued by investigations in informal logic. From the perspective of research in psychology and neuroscience, hu-man inference is a process that is multimodal ...
Paul Thagard
doaj +1 more source