scientific article; zbMATH DE number 1765666

MaRDI QIDQ4539602zbMATH OpenFDO

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

Publication date 10 July 2002

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

Mathematics Subject Classification ID

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

Recommendations

• A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case
• scientific article; zbMATH DE number 1612535
• A tableau decision algorithm for modalized A L C with constant domains
• Reasoning in basic description logics and description logics with modal operators
• Decidable temporal dynamic description logic

Cited in

(9)

• Clausal resolution in a logic of rational agency
• Temporalising tableaux
• A tableau decision algorithm for modalized A L C with constant domains
• Representation, analysis, and extraction of knowledge from unstructured natural language texts
• Coalition description logic with individuals
• A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case
• A tableau decision procedure for \(\mathcal{ALC}\) with monotonic modal operators and constant domains
• Deciding the existence of interpolants and definitions in first-order modal logic
• Combining interval-based temporal reasoning with general TBoxes

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)