Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Query Inseparability for Description Logic Knowledge Bases., , , , und . KR, AAAI Press, (2014)Can You Tell the Difference Between DL-Lite Ontologies?., , und . KR, Seite 285-295. AAAI Press, (2008)Reasoning over Conceptual Schemas and Queries in Temporal Databases., , , , und . SEBD, Seite 201-214. (2001)Decidable and Undecidable Fragments of First-Order Branching Temporal Logics., , und . LICS, Seite 393-402. IEEE Computer Society, (2002)Conservative extensions in modal logic., , , und . Advances in Modal Logic, Seite 187-207. College Publications, (2006)Dynamic topological logics over spaces with continuous functions., , , und . Advances in Modal Logic, Seite 299-318. College Publications, (2006)The disjunction property of intermediate propositional logics., und . Studia Logica, 50 (2): 189-216 (1991)Past and Future of DL-Lite., , , und . AAAI, AAAI Press, (2010)Logics of metric spaces., , , , und . ACM Trans. Comput. Log., 4 (2): 260-294 (2003)Kripke Completeness of strictly positive Modal Logics over Meet-Semilattices with operators., , , , und . J. Symb. Log., 84 (2): 533-588 (2019)