Reasoning About Actions Using Description Logics with General TBoxes
From MaRDI portal
Publication:3533138
Recommendations
- Complexity of Planning in Action Formalisms Based on Description Logics
- A family of dynamic description logics for representing and reasoning about actions
- Using causal relationships to deal with the ramification problem in action formalisms based on description logics
- Actions over a constructive semantics for description logics
- scientific article; zbMATH DE number 1249651
Cited in
(17)- Efficient TBox Reasoning with Value Restrictions using the wer Reasoner
- Conjunctive query answering in the description logic \(\mathcal S \mathcal H\) using knots
- Matching in the Description Logic FL0 with respect to General TBoxes
- scientific article; zbMATH DE number 6902582 (Why is no real title available?)
- A theory and implementation of cognitive mobile robots
- scientific article; zbMATH DE number 2209432 (Why is no real title available?)
- A description logic based situation calculus
- Using causal relationships to deal with the ramification problem in action formalisms based on description logics
- scientific article; zbMATH DE number 1765662 (Why is no real title available?)
- scientific article; zbMATH DE number 6606368 (Why is no real title available?)
- Verification of description logic knowledge and action bases
- Foundations of instance level updates in expressive description logics
- A family of dynamic description logics for representing and reasoning about actions
- Description logic knowledge and action bases
- Actions over a constructive semantics for description logics
- Reasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTL
- Complexity of Planning in Action Formalisms Based on Description Logics
This page was built for publication: Reasoning About Actions Using Description Logics with General TBoxes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3533138)
