Publication:2917155

DOI10.3724/SP.J.1001.2011.03869zbMATH Open1265.68253MaRDI QIDQ2917155FDOQ2917155

Liang Chang, Zhongzhi Shi, Xiaofeng Wang, Tianlong Gu

Publication date: 5 October 2012

Published in: Journal of Software (Search for Journal in Brave)

zbMATH Keywords

knowledge representationbranching temporal logicaction theorydynamic description logictableau decision algorithm

Mathematics Subject Classification ID

Knowledge representation (68T30) Logics of knowledge and belief (including belief change) (03B42)

Cited In (3)

• Temporalizing description logics
• Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models
• Decidable temporal and sequential relevant logics*

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• A survey of temporal extensions of description logics 👍 👎
• Temporalizing description logics 👍 👎
• A Correspondence between Temporal Description Logics 👍 👎
• Time-dependent concepts: representation and reasoning using temporal description logics 👍 👎
• Temporal logic programs with temporal description logic axioms 👍 👎
• Temporally attributed description logics 👍 👎
• Decidable temporal and sequential relevant logics* 👍 👎
• Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models 👍 👎

This page was built for publication: Decidable temporal dynamic description logic

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