A family of dynamic description logics for representing and reasoning about actions
From MaRDI portal
Publication:2392414
DOI10.1007/S10817-010-9210-1zbMATH Open1276.68142OpenAlexW2114561477MaRDI QIDQ2392414FDOQ2392414
Authors: Liang Chang, Zhongzhi Shi, Tianlong Gu, Lingzhong Zhao 
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
Recommendations
description logicaction theorydynamic description logicreasoning taskssatisfiability-checking algorithm
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Propositional dynamic logic of regular programs
- Title not available (Why is that?)
- From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem
- Attributive concept descriptions with complements
- A practical decision method for propositional dynamic logic (preliminary report)
- Complexity of Planning in Action Formalisms Based on Description Logics
- Reasoning About Actions Using Description Logics with General TBoxes
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A tableau decision procedure for \(\mathcal{SHOIQ}\)
- Complexity Results for First-Order Two-Variable Logic with Counting
- Coalgebraic Hybrid Logic
- Reasoning about actions in dynamic linear time temporal logic
- Temporalizing description logics
- An empirical analysis of terminological representation systems
Cited In (12)
- Title not available (Why is that?)
- Formalization of function matrix theory in HOL
- On dynamic description logic actions relationships with Petri nets
- Title not available (Why is that?)
- Title not available (Why is that?)
- Description logic knowledge and action bases
- Initial steps towards a family of regular-like plan description logics
- Actions over a constructive semantics for description logics
- Reasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTL
- Reasoning About Actions Using Description Logics with General TBoxes
- Family of extended dynamic description logics
- Dynamic logic for reasoning about actions and agents
This page was built for publication: A family of dynamic description logics for representing and reasoning about actions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2392414)
