Pages that link to "Item:Q2185465"
From MaRDI portal
The following pages link to Temporal logic programs with temporal description logic axioms (Q2185465):
Displaying 8 items.
- Semantics for temporal annotated constraint logic programming (Q2701986) (← links)
- Temporalizing description logics (Q2782498) (← links)
- Decidable temporal dynamic description logic (Q2917155) (← links)
- Logical foundations for more expressive declarative temporal logic programming languages (Q2946717) (← links)
- Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models (Q3172878) (← links)
- (Q3806791) (← links)
- Temporal logic programs with variables (Q4593085) (← links)
- Logic Programming (Q5475789) (← links)