scientific article
From MaRDI portal
Publication:2782498
zbMath0994.03026MaRDI QIDQ2782498
Frank Wolter, Michael Zakharyashchev
Publication date: 3 April 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
knowledge representationdecidabilitydescription logicexpressive powercombinations of logicsdecidable hybridstemporal propositional logics
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic in computer science (03B70) Temporal logic (03B44)
Related Items (14)
Propositional Dynamic Logic for Petri Nets with Iteration ⋮ Undecidability of QLTL and QCTL with two variables and one monadic predicate letter ⋮ Complexity of finite-variable fragments of propositional temporal and modal logics of computation ⋮ Non-finitely axiomatisable two-dimensional modal logics ⋮ A family of dynamic description logics for representing and reasoning about actions ⋮ Temporal Minimal-World Query Answering over Sparse ABoxes ⋮ An (almost) fuzzy logic of action and preferences, its quasi-model interpretations, and the problem of its decidability ⋮ Mechanising first-order temporal resolution ⋮ Towards reasoning about Petri nets: a propositional dynamic logic based approach ⋮ Checking content consistency of integrated web documents ⋮ A Tableau Decision Procedure for <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="script">ALC</mml:mi></mml:math> With Monotonic Modal Operators and Constant Domains ⋮ Decidable fragments of first-order temporal logics ⋮ Temporal Logics of Knowledge and their Applications in Security ⋮ Combining interval-based temporal reasoning with general TBoxes
This page was built for publication:
