Results 211 to 220 of about 48,451 (258)
Some of the next articles are maybe not open access.
1995
Abstract There are various historical sources for the discipline of Temporal Logic. The insight that temporal discourse and temporal argument show significant logical structures arises naturally in the empirical study of human reasoning, but it has recently become a necessity in the design of mechanical reasoning systems as well.
Peter Øhrstrøm, F. V. Per Hasle
openaire +3 more sources
Abstract There are various historical sources for the discipline of Temporal Logic. The insight that temporal discourse and temporal argument show significant logical structures arises naturally in the empirical study of human reasoning, but it has recently become a necessity in the design of mechanical reasoning systems as well.
Peter Øhrstrøm, F. V. Per Hasle
openaire +3 more sources
2023
Temporal Logics are a rich variety of logical systems designed for formalising reasoning about time, and about events and changes in the world over time. These systems differ by the ontological assumptions made about the nature of time in the associated models, by the logical languages involving various operators for composing temporalized expressions,
openaire +1 more source
Temporal Logics are a rich variety of logical systems designed for formalising reasoning about time, and about events and changes in the world over time. These systems differ by the ontological assumptions made about the nature of time in the associated models, by the logical languages involving various operators for composing temporalized expressions,
openaire +1 more source
Journal of Automated Reasoning, 2014
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bozzelli L., Sanchez C.
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bozzelli L., Sanchez C.
openaire +2 more sources
Temporalizing Epistemic Default Logic
Journal of Logic, Language and Information, 1998zbMATH Open Web Interface contents unavailable due to conflicting licenses.
van der Hoek, W. +2 more
openaire +5 more sources
Fuzzy Branching Temporal Logic
IEEE Transactions on Systems, Man and Cybernetics, Part B (Cybernetics), 2004Intelligent systems require a systematic way to represent and handle temporal information containing uncertainty. In particular, a logical framework is needed that can represent uncertain temporal information and its relationships with logical formulae.
Moon, SI +2 more
openaire +3 more sources
Temporal Logic Programs with Temporal Description Logic Axioms
2019In this paper we introduce a combination of Answer Set Programming (ASP) and Description Logics (DL) (in particular, \(\mathcal{ALC}\)) on top of a modal temporal basis using connectives from Linear-time Temporal Logic (LTL). On the one hand, for the temporal extension of \(\mathcal{ALC}\), we depart from Baader et al.’s proposal \(\mathcal{ALC}\)-LTL ...
Pedro Cabalar, Torsten Schaub
openaire +1 more source
Journal of Automated Reasoning, 1989
Let T denote closure of the set of formulas of the form P \((term_ 1,...,term_ n)\) under operation of conjunction and temporal operators of some kind (f. E. operators ``always'', ``until'' and so on), and TR be the set of formulas (rules) of the form \(f_ 1 \&...\& f_ m\to f_{m+1}\), where \(f_ i\) belongs to T.
openaire +1 more source
Let T denote closure of the set of formulas of the form P \((term_ 1,...,term_ n)\) under operation of conjunction and temporal operators of some kind (f. E. operators ``always'', ``until'' and so on), and TR be the set of formulas (rules) of the form \(f_ 1 \&...\& f_ m\to f_{m+1}\), where \(f_ i\) belongs to T.
openaire +1 more source
Dynamic Epistemic Temporal Logic
2009We introduce a new type of arrow in the update frames (or "action models") of Dynamic Epistemic Logic in a way that enables us to reason about epistemic temporal dynamics in multi-agent systems that need not be synchronous. Since van Benthem and Pacuit (later joined by Hoshi and Gerbrandy) showed that standard Dynamic Epistemic Logic necessarily ...
Renne, B., Sack, Joshua, Yap, Audrey
openaire +2 more sources