Results 91 to 100 of about 1,696,138 (202)
Institutional logics, blended and suspended [PDF]
, 2014 This paper examines how a new institution, a code of conduct, arises and develops over time. It shows how the process of debate airs competing logics, questions and fails to question assumptions taken for granted, and yet achieves a large degree of ...
Nordberg, Donald
core +3 more sources
Alternating-time temporal logic
Proceedings 38th Annual Symposium on Foundations of Computer Science, 1998 Temporal logic comes in two varieties: linear-time temporal logic assumes implicit universal quantification over all paths that are generated by the execution of a system; branching-time temporal logic allows explicit existential and universal quantification over all paths.
Rajeev Alur +2 more
openaire +5 more sources
On complexity of veri¯cation of nondeterministic probabilistic multiagent systems
Моделирование и анализ информационных систем, 2010 Probabilistic systems of interacting nondeterministic intelligent agents are consid- ered. States of the agents in these systems are some probabilistic databases, and the activity of the agents is controlled by some probabilistic logic programs. Moreover,
M. K. Valiev, M. I. Dekhtyar
doaj
Multi-Fidelity Temporal Reasoning: A Stratified Logic for Cross-Scale System Specifications
LogicsWe present Stratified Metric Temporal Logic (SMTL), a novel formalism for specifying and verifying the properties of complex cyber–physical systems that exhibit behaviors across multiple temporal and abstraction scales.
Ali Baheri, Peng Wei
doaj +1 more source
Theoretical Computer Science, 2017 This paper introduces time window temporal logic (TWTL), a rich expressivity language for describing various time bounded specifications. In particular, the syntax and semantics of TWTL enable the compact representation of serial tasks, which are typically seen in robotics and control applications.
Cristian Ioan Vasile +2 more
openaire +6 more sources
On temporal logic versus datalog
Theoretical Computer Science, 2003 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Guessarian, Irene +3 more
openaire +4 more sources
Indeterministic Temporal Logic
Studies in Logic, Grammar and Rhetoric, 2015 The questions od determinism, causality, and freedom have been the main philosophical problems debated since the beginning of temporal logic. The issue of the logical value of sentences about the future was stated by Aristotle in the famous tomorrow sea ...
Trzęsicki Kazimierz
doaj +1 more source
Timing in music and temporal logic. [PDF]
, 2007 'In-time' representations of music in which the time represented is the same time as inhabited by the agent making or using the representation are contrasted with 'out-of-time' representations. Temporal logics with a similar 'in-time' perspective, and in
Marsden, Alan
core +2 more sources
CoRRWe introduce Temporal Ensemble Logic (TEL), a monadic, first-order modal logic for linear-time temporal reasoning. TEL includes primitive temporal constructs such as ``always up to $t$ time later'' ($\Box_t$), ``sometimes before $t$ time in the future'' ($\Diamond_t$), and ``$t$-time later'' $φ_t$.
openaire +2 more sources
Fixpoint Extensions of Temporal Description Logics
, 2007 In this paper we introduce a decidable xpoint extension of temporal Description Logics. We exploit the decidability results obtained for various monodic extensions of Description Logics to obtain decidability and tight complexity results for temporal
David Toman, Enrico Franconi
core