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 6 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)
