Author of the publication

Dynamic topological logics over spaces with continuous functions.

, , , and . Advances in Modal Logic, page 299-318. College Publications, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Past and Future of DL-Lite., , , and . AAAI, AAAI Press, (2010)Can You Tell the Difference Between DL-Lite Ontologies?., , and . KR, page 285-295. AAAI Press, (2008)Query Inseparability for Description Logic Knowledge Bases., , , , and . KR, AAAI Press, (2014)Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity., , , , and . CoRR, (2016)Spatial logics with connectedness predicates, , , and . Logical Methods in Computer Science, (2010)Ontology-Based Data Access to Slegge., , , , and . International Semantic Web Conference (2), volume 10588 of Lecture Notes in Computer Science, page 120-129. Springer, (2017)On the Computational Complexity of Spatial Logics with Connectedness Constraints., , , and . LPAR, volume 5330 of Lecture Notes in Computer Science, page 574-589. Springer, (2008)Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk)., , , , , and . TIME, volume 90 of LIPIcs, page 1:1-1:37. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2017)Module Extraction via Query Inseparability in OWL 2 QL., , , , , and . Description Logics, volume 745 of CEUR Workshop Proceedings, CEUR-WS.org, (2011)On (In)Tractability of OBDA with OWL 2 QL., , and . Description Logics, volume 745 of CEUR Workshop Proceedings, CEUR-WS.org, (2011)