scientific article; zbMATH DE number 1765666

zbMATH Open0988.68178MaRDI QIDQ4539602FDOQ4539602

Carsten Lutz, Michael Zakharyaschev, F. Wolter, Holger Sturm

Publication date: 10 July 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2083/20830121

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35) Temporal logic (03B44)

Cited In (7)

• Temporalising tableaux
• Clausal resolution in a logic of rational agency
• 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
• Combining interval-based temporal reasoning with general TBoxes
• A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case
• Representation, analysis, and extraction of knowledge from unstructured natural language texts
• Coalition Description Logic with Individuals

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4539602)