The following pages link to Marcel Lippmann (Q472809):
Displayed 6 items.
- Runtime verification using the temporal description logic \(\mathcal{ALC}\)-LTL revisited (Q472810) (← links)
- Temporal Query Answering in the Description Logic DL-Lite (Q2849488) (← links)
- Decidable Description Logics of Context with Rigid Roles (Q2964450) (← links)
- Runtime Verification Using a Temporal Description Logic (Q3655197) (← links)
- Temporalizing Ontology-Based Data Access (Q4928450) (← links)
- Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics (Q4933297) (← links)