List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Decidable description logics of context with rigid roles Frontiers of Combining Systems | 2017-02-27 | Paper |
| Runtime verification using the temporal description logic \(\mathcal{ALC}\)-LTL revisited Journal of Applied Logic | 2014-11-20 | Paper |
| Temporal query answering in the description logic DL-Lite Frontiers of Combining Systems | 2013-09-20 | Paper |
| Temporalizing ontology-based data access Automated Deduction – CADE-24 | 2013-06-14 | Paper |
| Using causal relationships to deal with the ramification problem in action formalisms based on description logics Logic for Programming, Artificial Intelligence, and Reasoning | 2010-10-12 | Paper |
| Runtime verification using a temporal description logic Frontiers of Combining Systems | 2010-01-07 | Paper |
Research outcomes over time
This page was built for person: Marcel Lippmann
