A family of dynamic description logics for representing and reasoning about actions

DOI10.1007/s10817-010-9210-1zbMath1276.68142MaRDI QIDQ2392414

Lingzhong Zhao, Liang Chang, Tianlong Gu, Zhongzhi Shi

Publication date: 1 August 2013

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-010-9210-1

zbMATH Keywords

description logic; action theory; dynamic description logic; reasoning tasks; satisfiability-checking algorithm

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

Related Items

Formalization of function matrix theory in HOL, Reasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Attributive concept descriptions with complements
• Propositional dynamic logic of regular programs
• An empirical analysis of terminological representation systems
• From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem
• A tableau decision procedure for \(\mathcal{SHOIQ}\)
• Reasoning about actions in dynamic linear time temporal logic
• Complexity of Planning in Action Formalisms Based on Description Logics
• Reasoning About Actions Using Description Logics with General TBoxes
• Coalgebraic Hybrid Logic
• Complexity Results for First-Order Two-Variable Logic with Counting
• A practical decision method for propositional dynamic logic (Preliminary Report)