scientific article; zbMATH DE number 1735887

MaRDI QIDQ4329248zbMATH OpenFDO

Authors F. Wolter, Michael Zakharyaschev

Publication date 25 September 2002

zbMATH Keywords

description logicdynamic application domainspropositional dynamic logicsatisfaction problem

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• A family of dynamic description logics for representing and reasoning about actions
• Decidable temporal dynamic description logic
• scientific article; zbMATH DE number 1400210
• Practical reasoning for very expressive description logics
• Temporalizing description logics

Cited in

(15)

• A family of dynamic description logics for representing and reasoning about actions
• Decidable temporal dynamic description logic
• Sequential description logic
• Family of extended dynamic description logics
• Research on a contradiction problem-oriented dynamic description logic extension
• PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\)
• A model of modal description logic
• \({\mathcal{ALC}_\mathcal{ALC}}\): a context description logic
• scientific article; zbMATH DE number 1400210 (Why is no real title available?)
• A tableau decision procedure for \(\mathcal{ALC}\) with monotonic modal operators and constant domains
• Foundations of descriptology
• OUP accepted manuscript
• A description logic based situation calculus
• Towards an expressive practical logical action theory
• \({\mathcal E}\)-connections of abstract description systems

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 Q4329248)