Pages that link to "Item:Q2917155"
From MaRDI portal
The following pages link to Decidable temporal dynamic description logic (Q2917155):
Displaying 4 items.
- A family of dynamic description logics for representing and reasoning about actions (Q2392414) (← links)
- Temporalizing description logics (Q2782498) (← links)
- Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models (Q3172878) (← links)
- Decidable temporal and sequential relevant logics* (Q4612410) (← links)