( en | de | ru )

 

Disambiguierung von "Wolter, Frank"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Query-Based Entailment and Inseparability for ALC Ontologies.

, , , , und . IJCAI, Seite 1001-1007. IJCAI/AAAI Press, (2016)

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.

Frank Wolter

Frank Wolter

Frank Wolter

Frank Wolter

Frank Wolter

 

Weitere Publikationen von Autoren mit dem selben Namen

Reasoning over Conceptual Schemas and Queries in Temporal Databases., , , , und . SEBD, Seite 201-214. (2001)A Model for Learning Description Logic Ontologies Based on Exact Learning., , und . AAAI, Seite 1008-1015. AAAI Press, (2016)Lange Wellen wirtschaftlichen Wachstums, , und . Kieler Diskussionsbeiträge zu aktuellen wirtschaftspolitischen Fragen Inst. für Weltwirtschaft, Kiel, (1980)Dichotomies in Ontology-Mediated Querying with the Guarded Fragment., , , und . ACM Trans. Comput. Log., 21 (3): 20:1-20:47 (2020)Speaking about Transitive Frames in Propositional Languages., , und . J. Log. Lang. Inf., 7 (3): 317-339 (1998)A Logic for Concepts and Similarity., , , und . J. Log. Comput., 17 (3): 415-452 (2007)On Strictly Positive Modal Logics with S4.3 Frames., , , und . Advances in Modal Logic, Seite 427-446. College Publications, (2018)On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract)., , , , , und . IJCAI, Seite 5703-5707. ijcai.org, (2022)The DLRUS Temporal Description Logic., , , , und . Description Logics, Volume 49 von CEUR Workshop Proceedings, CEUR-WS.org, (2001)Decidable and Undecidable Fragments of First-Order Branching Temporal Logics., , und . LICS, Seite 393-402. IEEE Computer Society, (2002)