Pages that link to "Item:Q3533138"
From MaRDI portal
The following pages link to Reasoning About Actions Using Description Logics with General TBoxes (Q3533138):
Displaying 11 items.
- Conjunctive query answering in the description logic \(\mathcal S \mathcal H\) using knots (Q414848) (← links)
- Foundations of instance level updates in expressive description logics (Q420809) (← links)
- A description logic based situation calculus (Q604908) (← links)
- A family of dynamic description logics for representing and reasoning about actions (Q2392414) (← links)
- Reasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTL (Q2694571) (← links)
- Complexity of Planning in Action Formalisms Based on Description Logics (Q3498484) (← links)
- (Q4539598) (← links)
- (Q4576256) (← links)
- Matching in the Description Logic FL0 with respect to General TBoxes (Q5222946) (← links)
- (Q5740438) (← links)
- Efficient TBox Reasoning with Value Restrictions using the <i>wer</i> Reasoner (Q6063879) (← links)