Results 241 to 250 of about 547,797 (285)

Temporalizing Epistemic Default Logic

Journal of Logic, Language and Information, 1998
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
van der Hoek, W., Meyer, J-J.Ch., Treur, J.   +2 more
openaire   +5 more sources

Fuzzy Branching Temporal Logic

IEEE Transactions on Systems, Man and Cybernetics, Part B (Cybernetics), 2004
Intelligent 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, Lee, KH Lee, Kwang-Hyung, Lee, D Lee, Doheon   +2 more
openaire   +3 more sources

Temporal Logic Programs with Temporal Description Logic Axioms

2019
In 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

Temporal logic CTL + PROLOG

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

Temporal Logic

2022
Stefania Centrone, Klaus Mainzer
openaire   +1 more source

Dynamic Epistemic Temporal Logic

2009
We 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

Spatial Logic + Temporal Logic = ?

2007
Kurucz, Agi, Kontchakov, Roman, Wolter, Frank, Zakharyaschev, Michael   +3 more
openaire   +1 more source

Temporal logic

2009
  +4 more sources

Temporal logic

2001
Béatrice Bérard, Michel Bidoit, Alain Finkel, François Laroussinie, Antoine Petit, Laure Petrucci, Philippe Schnoebelen, Pierre Mckenzie   +7 more
openaire   +3 more sources

Temporal Logic

2011
V. S. Alagar, K. Periyasamy
openaire   +2 more sources