( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Reverse Engineering of Temporal Queries Mediated by LTL Ontologies.

, , , , , и . IJCAI, стр. 3230-3238. ijcai.org, (2023)

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.

Michael Schoierer

NS-Diktatur, Anomie und Demokratisierung Westdeutschlands. Uni Augsburg, (2007)

Michael Krug

X-ray crystallographic analysis of the archaeal transcriptional regulator TrmB and development of a graphical user interface for the monochromatic diffraction data processing software XDS. Uni Konstanz, (2009)

Michael Bernateck

Komplexes Regionales Schmerzsyndrom Typ 1 (M.Sudeck): neue Aspekte zur Symptomatologie, Pathogenese, Diagnostik und Therapie. MedH Hannover, habilitation, (2009)

Michael Bode

Le groupe international de sociétés: le système de conflit de lois en droit comparé français et allemand. HU Berlin, (2009)

Michael Liecke

Subnationale Clusterpolitik: die Biotechnologiepolitik deutscher Länder im Vergleich. Uni München, (2009)
 

Другие публикации лиц с тем же именем

Deciding FO-rewritability of regular languages and ontology-mediated queries in Linear Temporal Logic., , , и . CoRR, (2022)From topology to metric: modal logic and quantification in metric spaces., , , и . Advances in Modal Logic, стр. 429-448. College Publications, (2006)All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable., и . Math. Log. Q., (1995)The Undecidability of the Disjunction Property of Propositional Logics and Other Related Problems., и . J. Symb. Log., 58 (3): 967-1002 (1993)Undecidability of the unification and admissibility problems for modal and description logics, и . CoRR, (2006)A Note on DL-Lite with Boolean Role Inclusions., , , и . Description Logics, том 2373 из CEUR Workshop Proceedings, CEUR-WS.org, (2019)Model Comparison Games for Horn Description Logics: A Summary., , , и . Description Logics, том 2373 из CEUR Workshop Proceedings, CEUR-WS.org, (2019)A Decidable Temporal DL-Lite Logic with Undecidable First-Order and Datalog-rewritability of Ontology-Mediated Atomic Queries (Extended Abstract)., , , и . Description Logics, том 3515 из CEUR Workshop Proceedings, CEUR-WS.org, (2023)Query Inseparability and Module Extraction in OWL 2 QL.. WoMO, том 230 из Frontiers in Artificial Intelligence and Applications, стр. 10-11. IOS Press, (2011)Separating Counting from Non-Counting in Fragments of Two-Variable First-Order Logic (Extended Abstract)., , , и . Description Logics, том 3739 из CEUR Workshop Proceedings, CEUR-WS.org, (2024)