Results 111 to 120 of about 71,357 (311)
Monadic second order logic as the model companion of temporal logic
, 2016 The main focus of this paper is on bisimulation-invariant MSO, and more particularly on giving a novel model-theoretic approach to it. In model theory, a model companion of a theory is a first-order description of the class of models in which all ...
S. van Gool +3 more
core +1 more source
Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking [PDF]
, 2017 The problem of temporal dataset evaluation consists in establishing to what extent a set of temporal data (histories) complies with a given temporal condition.
Sciavicco, Guido +9 more
core +1 more source
Partial cut elimination for combinations of propositional multi-modal logics with past time
Lietuvos Matematikos Rinkinys, 2011 We consider combinations of nine propositional multi-modal logics with propositional discrete linear time temporal logic with past time. For these combinations, we present sound and complete Gentzen-type sequent calculi with a restricted cut rule.
Jūratė Sakalauskaitė
doaj +1 more source
On temporal logic versus datalog
Theoretical Computer Science, 2003 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Guessarian, Irene +3 more
openaire +3 more sources
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
Program transformations using temporal logic side conditions [PDF]
This paper describes an approach to program optimisation based on transformations, where temporal logic is used to specify side conditions, and strategies are created which expand the repertoire of transformations and provide a suitable level of ...
Kalvala, Sara +2 more
core
Tailoring temporal description logics for reasoning over temporal conceptual models
, 2011 Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Unified Modelling Language (UML) have been temporally extended to design temporal ...
Ryzhikov, Vladislav +8 more
core +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
The Satisfiability Problem in Linear Multi-agent Knowledge Logic Based on N
Известия Иркутского государственного университета: Серия "Математика"In this paper we explore the linear logic of multi-agent knowledge using multivalued models. The logic of the language contains the unary operators $K_{j}$ --- $j$ --- the agent knows, $ULK_{G}$ --- unstable local knowledge, $E_{G}$ --- stable local ...
N.A. Protsenko, V.V. Rybakov
doaj +1 more source
A Soft Robotic Device for Targeted Massage Therapy of Residual Limbs
Advanced Robotics Research, EarlyView.Residual limb edema after amputation can hinder recovery and delay prosthetic fitting. This study presents a soft‐robotic wearable device that delivers sequential compression through pneumatic McKibben actuators. By replicating the principles of manual lymphatic drainage, the device generates controlled mechanotherapeutic pressure patterns, providing a
Maria Grazia Polizzotto +5 more
wiley +1 more source