Results 61 to 70 of about 186,512,308 (212)
, 2012 Dynamic epistemic logic (DEL) extends purely modal epistemic logic (S5) by adding dynamic operators that change the model structure. Propositional dynamic logic (PDL) extends basic modal logic with programs that allow the definition of complex modalities.
Liu, F, Seligman, JM, Girard, P
core +1 more source
Microscale 3D‐Printed Digital Strain Switches for Embedded Mechanical Computation
Advanced Materials Technologies, EarlyView.Microscale 3D‐printed strain switches on flexible films convert deformation into native digital signals at geometry defined thresholds. A closed form model predicts switching from 3000 to 15 000 microstrain and is validated across 110 devices. Reliable ohmic closure and strain activated AND, OR, and XOR logic point toward low‐power mechanical ...
Regan Kubicek +3 more
wiley +1 more source
Advanced Materials Technologies, EarlyView.Single‐filament material extrusion enables spatial stiffness programming through locally controlled thermal foaming of TPU. A data‐driven G‐code framework tunes porosity from 15.7% to 40.7% and hardness from 90 to 63 Shore A within and across layers. Monolithic hands and soft actuators consequently achieve distinct programmed motions without material ...
Rosanna Rifino +3 more
wiley +1 more source
A Hybrid Intuitionistic Logic: Semantics and Decidability
, 2006 An intuitionistic, hybrid modal logic suitable for reasoning about distribution of resources was introduced by Jia and Walker. The modalities of the logic allow validation of properties in a particular place, in some place and in all places.
Chadha, R., Macedonio, D., Sassone, V.
core
Grounding Large Language Models for Robot Task Planning Using Closed‐Loop State Feedback
Advanced Robotics Research, EarlyView.BrainBody‐Large Language Model (LLM) introduces a hierarchical, feedback‐driven planning framework where two LLMs coordinate high‐level reasoning and low‐level control for robotic tasks. By grounding decisions in real‐time state feedback, it reduces hallucinations and improves task reliability.
Vineet Bhat +4 more
wiley +1 more source
Advanced Robotics Research, EarlyView.Automated poultry processing lines still rely on humans to lift slippery, easily bruised carcasses onto a shackle conveyor. Deformability, anatomical variance, and hygiene rules make conventional suction and scripted motions unreliable. We present ChicGrasp, an end‐to‐end hardware‐software co‐designed imitation learning framework, to offer a ...
Amirreza Davar +8 more
wiley +1 more source
Liquid Crystalline Elastomers in Soft Robotics: Assessing Promise and Limitations
Advanced Robotics Research, EarlyView.Liquid crystalline elastomers (LCEs) are programmable soft materials that undergo large, anisotropic deformation in response to external stimuli. Their molecular alignment encodes directional actuation in a monolithic structure, making them long‐standing candidates for soft robotic systems.
Justin M. Speregen, Timothy J. White
wiley +1 more source
Origami‐Inspired Structural Design for Aquatic‐Terrestrial Amphibious Robots
Advanced Robotics Research, EarlyView.This work presents a lightweight amphibious origami robot actuated by a single shape memory alloy wire. A rigid foldable origami structure with displacement amplification enables efficient terrestrial crawling and aquatic swimming. The addition of fan‐shaped units allows controllable turning in both environments.
Weiqi Liu +5 more
wiley +1 more source
Multimodal Human–Robot Interaction Using Human Pose Estimation and Local Large Language Models
Advanced Robotics Research, EarlyView.A multimodal human–robot interaction framework integrates human pose estimation (HPE) and a large language model (LLM) for gesture‐ and voice‐based robot control. Speech‐to‐text (STT) enables voice command interpretation, while a safety‐aware arbitration mechanism prioritizes gesture input for rapid intervention.
Nasiru Aboki +2 more
wiley +1 more source
Intuitionistic monotone modal logic via translation
We introduce a monotone modal analogue of the intuitionistic (normal) modal logic $\textsf{IK}$ using a translation into a suitable (intuitionistic) first-order logic.
de Groot, Jim
core +1 more source