Results 171 to 180 of about 1,731,030 (337)
Does the deduction theorem fail for modal logic?
Synthese, 2012 Raul Hakli, Sara Negri
semanticscholar +1 more source
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
Cognitive Agents in Urban Mobility: Integrating LLM Reasoning into Multi-Agent Simulations. [PDF]
Sensors (Basel)Calderón C +4 more
europepmc +1 more source
(Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras
, 2018 Barbara König, Christina Mika-Michalski
openalex +2 more sources
Algorithmic correspondence and canonicity for distributive modal logic
Annals of Pure and Applied Logic, 2012 Willem Conradie, A. Palmigiano
semanticscholar +1 more source
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
FKG-MM: A multi-modal fuzzy knowledge graph with data integration in healthcare. [PDF]
PLoS OneTan NH +5 more
europepmc +1 more source
Satisfiability of Modal Inclusion Logic: Lax and Strict Semantics [PDF]
, 2015 Lauri Hella +3 more
openalex +1 more source
Strong‐Magnetic Flexible Composites for Magnetically Responsive Soft Robots
Advanced Robotics Research, EarlyView.This perspective provides an overview of the performance mechanisms, preparation methods, and applications of strong magnetic flexible composite materials in soft actuators (such as gripping, movement, and sensing), and further explores current opportunities and challenges.
Wenwen Li +4 more
wiley +1 more source