Pages that link to "Item:Q3498484"
From MaRDI portal
The following pages link to Complexity of Planning in Action Formalisms Based on Description Logics (Q3498484):
Displaying 8 items.
- Conjunctive query answering in the description logic \(\mathcal S \mathcal H\) using knots (Q414848) (← links)
- A description logic based situation calculus (Q604908) (← links)
- Declarative formalization of reasoning strategies: A case study on heuristic nonlinear planning (Q1397237) (← links)
- A family of dynamic description logics for representing and reasoning about actions (Q2392414) (← links)
- Applying the mu-calculus in planning and reasoning about action (Q4209292) (← links)
- How to Do Things with Worlds: on Formalizing Actions and Plans (Q4286222) (← links)
- (Q4536322) (← links)
- Decision-Theoretic Planning with Fuzzy Notions in GOLOG (Q4600555) (← links)