scientific article; zbMATH DE number 1735887
From MaRDI portal
Publication:4329248
zbMath0993.03043MaRDI QIDQ4329248
Frank Wolter, Michael Zakharyashchev
Publication date: 25 September 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Logic in computer science (03B70)
Related Items (3)
PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\) ⋮ A description logic based situation calculus ⋮ 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
This page was built for publication:
