Results 81 to 90 of about 6,826 (311)
PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic [PDF]
, 2004 Interval Temporal Logic (ITL) is a finite-time linear temporal logic with applications in hardware verification, temporal logic programming and specification of multimedia documents.
Howard Bowman +3 more
core +1 more source
Parameterized Linear Temporal Logics Meet Costs: Still not Costlier than LTL [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 We continue the investigation of parameterized extensions of Linear Temporal Logic (LTL) that retain the attractive algorithmic properties of LTL: a polynomial space model checking algorithm and a doubly-exponential time algorithm for solving games. Alur
Martin Zimmermann
doaj +1 more source
Temporal logic programs with variables [PDF]
Theory and Practice of Logic Programming, 2016 AbstractIn this note, we consider the problem of introducing variables in temporal logic programs under the formalism of Temporal Equilibrium Logic, an extension of Answer Set Programming for dealing with linear-time modal operators. To this aim, we provide a definition of a first-order version of Temporal Equilibrium Logic that shares the syntax of ...
Felicidad Aguado +4 more
openaire +3 more sources
Respiratory Organ‐on‐a‐Chip for Disease Modeling: From Architecture to Functional Integration
Advanced Healthcare Materials, EarlyView.Respiratory organ‐on‐a‐chip (ROC) models capture key mechanical and cellular cues of the human respiratory system, enabling quantitative dissection of disease mechanisms. This review links ROC architectures to disease modeling, functional integration, and commercialization, and proposes a decision framework that aligns model complexity with mechanistic
Jinzhuo Hu +4 more
wiley +1 more source
Towards More Useful Description Logics of Time, Change and Context [PDF]
, 2013 Description Logics (DLs) are a family of logic-based formalisms for the representation of and reasoning about knowledge. Classical DLs are fragments of first-order logic and therefore aim at capturing static knowledge.
Gutiérrez Basulto, Víctor Didier
core
, 2013 In this paper, a framework for cryptographic protocol analysis using linear temporal logic is proposed. The framework can be used to specify and analyse security protocols.
Alabdulatif, A, Ma, X, Nolle, L
core +1 more source
Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 Interval temporal logics provide a general framework for temporal reasoning about interval structures over linearly ordered domains, where intervals are taken as the primitive ontological entities.
Davide Bresolin +4 more
doaj +1 more source
On regular temporal logics with past [PDF]
Acta Informatica, 2009 Acta informatica, 47 (4)
Dax, Christian +2 more
openaire +3 more sources
Recapitulating Endochondral Ossification for Bone Repair: From Development to Engineering Strategy
Advanced Healthcare Materials, EarlyView.This review summarizes the developmental basis of endochondral ossification (ECO) and its applications in bone tissue engineering (BTE). It first outlines the key biological processes and signaling pathways underlying ECO, then discusses biomaterial‐based engineering strategies derived from these principles, and finally highlights future directions for
Yiqi Su +8 more
wiley +1 more source
Studies in Logic, Grammar and RhetoricThe paper presents a comparison of two generalised sequent calculi for temporal logics. In both cases the main technical solution is the multiplication of the sorts of sequents and, additionally, the application of some kind of labelling to formulae. The
Indrzejczak Andrzej
doaj +1 more source