Reasoning About Actions Using Description Logics with General TBoxes
From MaRDI portal
Publication:3533138
DOI10.1007/11853886_23zbMATH Open1152.68609OpenAlexW1579501393MaRDI QIDQ3533138FDOQ3533138
Authors: Hongkai Liu, Carsten Lutz, Maja Miličić, F. Wolter 
Publication date: 30 October 2008
Published in: Logics in Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11853886_23
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
- Matching in the Description Logic FL0 with respect to General TBoxes
- Conjunctive query answering in the description logic \(\mathcal S \mathcal H\) using knots
- Title not available (Why is that?)
- A theory and implementation of cognitive mobile robots
- Title not available (Why is that?)
- A description logic based situation calculus
- Using causal relationships to deal with the ramification problem in action formalisms based on description logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Verification of description logic knowledge and action bases
- Description logic knowledge and action bases
- A family of dynamic description logics for representing and reasoning about actions
- Foundations of instance level updates in expressive description logics
- Actions over a constructive semantics for description logics
- Complexity of Planning in Action Formalisms Based on Description Logics
- Reasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTL
Uses Software
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)
