Results 81 to 90 of about 574,752 (282)
Principia: An International Journal of Epistemology, 2002 In view of the present state of development of non classical logic, especially of paraconsistent logic, a new stand regarding the relations between logic and ontology is defended In a parody of a dictum of Quine, my stand May be summarized as follows. To
Newton C. A. da Costa
doaj
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
Modal logic S4 as a paraconsistent logic with a topological semantics [PDF]
, 2017 In this paper the propositional logic LTop is introduced, as an extension of classical propositional logic by adding a paraconsistent negation. This logic has a very natural interpretation in terms of topological models.
E. Coniglio, Marcelo +1 more
core
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
An Holistic Extension for Classical Logic via Quantum Fredkin Gate. [PDF]
Entropy (Basel), 2021 Freytes H, Sergioli G.
europepmc +1 more source
The Temporal Logic of the Tower Chief System [PDF]
, 1990 The purpose is to describe the logic used in the reasoning scheme employed in the Tower Chief system, a runway configuration management system. First, a review of classical logic is given.
Hazelton, Lyman R., Jr.
core +1 more source
Advanced Science, EarlyView.This work develops dynamically softening polyacrylamide hydrogels for time‐resolved imaging during continuous mechanical transitions. The study revealed that mechanotransduction is biphasic; YAP/TAZ inactivation is driven by early loss of the nucleocytoskeletal continuum connecting subnuclear adhesions, F‐actin, and the nuclear envelope, coupled with ...
Alessandro Gandin +12 more
wiley +1 more source
, 2018 Inquisitive modal logic InqML is a generalisation of standard Kripke-style modal logic. In its epistemic incarnation, it extends standard epistemic logic to capture not just the information that agents have, but also the questions that they are ...
Ciardelli, Ivano, Otto, Martin
core +1 more source
Advanced Science, EarlyView.Antibody–drug conjugates (ADCs) transform breast cancer therapy, yet resistance limits their durability. Emerging evidence reveals that ADC failure is not solely tumor‐intrinsic but shaped by dynamic tumor–microenvironment interactions that alter drug delivery, processing, and response.
Minji Seo, Jangsoon Lee, Naoto T. Ueno
wiley +1 more source
Logical omniscience and classical logic [PDF]
, 2005 In all respectable logics a form of Leibniz's Law holds which says that logically equivalent expressions can be interchanged salva veritate. On the other hand, in ordinary language syntactically different expressions in general are not intersubstitutable in the scope of verbs of propositional attitude.
openaire +3 more sources