PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Rudolph, Sebastian"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Finite model theory of the triguarded fragment and related logics

, und . 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), IEEE, (Juni 2021)

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.

Keine Personen gefunden für den Autorennamen Rudolph, Sebastian
Eine Person hinzufügen mit dem Namen Rudolph, Sebastian
 

Weitere Publikationen von Autoren mit dem selben Namen

Explaining data with formal concept analysis, , und . Reasoning Web. Explainable Artificial Intelligence, Springer International Publishing, Cham, (2019)Finite model theory of the triguarded fragment and related logics, und . 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), IEEE, (Juni 2021)Preface: Concept Lattices and Applications: Recent Advances and New Opportunities, und . Discrete Applied Mathematics, (2018)Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL, , und . Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023, Seite 3258--3267. ijcai.org, (2023)Neva-Extension Visualization for Argumentation Frameworks., , und . COMMA, Seite 477--478. (2020)On Logics and Homomorphism Closure, , , und . 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), IEEE, (Juni 2021)Satisfiability and query answering in description logics with global and local cardinality constraints, , und . (2020)SATPin: Axiom pinpointing for lightweight description logics through incremental SAT, , und . KI - Künstl. Intell., 34 (3): 389--394 (September 2020)Datalog-expressibility for monadic and Guarded Second-order Logic, , und . Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (Juli 2021)The power of the terminating chase (invited talk), , und . Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany, (2019)