Marcel Lippmann

According to our database1, Marcel Lippmann authored at least 14 papers between 2009 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Query Rewriting for DL-Lite with n-ary Concrete Domains.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2015
Temporalizing rewritable query languages over knowledge bases.
J. Web Semant., 2015

Temporal query entailment in the Description Logic SHQ.
J. Web Semant., 2015

Decidable Description Logics of Context with Rigid Roles.
Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 2015

Decidable Contextualized DLs with Rigid Roles.
Proceedings of the 28th International Workshop on Description Logics, 2015

Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles.
Proceedings of the AI 2015: Advances in Artificial Intelligence, 2015

2014
Temporalised description logics for monitoring partially observable events.
PhD thesis, 2014

Runtime verification using the temporal description logic ALC-LTL revisited.
J. Appl. Log., 2014

2013
Temporal Query Answering in the Description Logic DL-Lite.
Proceedings of the Frontiers of Combining Systems, 2013

Temporal Query Answering in DL-Lite.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Temporalizing Ontology-Based Data Access.
Proceedings of the Automated Deduction - CADE-24, 2013

2012
Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics.
Proceedings of the 2012 International Workshop on Description Logics, 2012

2010
Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

2009
Runtime Verification Using a Temporal Description Logic.
Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009


  Loading...