PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Rudolph, Sebastian"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Proceedings of the 7th International Workshop "What can FCA do for Artificial Intelligence"? co-located with International Joint Conference on Artificial Intelligence, FCA4AI@IJCAI 2019, Macao, China, August 10, 2019

, , und (Hrsg.) Volume 2529 von CEUR Workshop Proceedings, CEUR-WS.org, (2020)

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

Semantic Characterizations of AGM Revision for Tarskian Logics, , und . Proceedings of the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022), Volume 13752 von LNCS, Seite 95--110. Springer, (September 2022)Semantic characterizations of general belief base revision, , und . (2021)Knowledge Graphs evolution and preservation -- A technical report from ISWS 2019, , , , , , , , , und 64 andere Autor(en). (2020)Linked Open Data validity -- A technical report from ISWS 2018, , , , , , , , , und 61 andere Autor(en). (2019)Worst-case optimal querying of very expressive description logics with path expressions and succinct counting, und . Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, California, International Joint Conferences on Artificial Intelligence Organization, (August 2019)SATPin: Axiom pinpointing for lightweight description logics through incremental SAT, , und . KI - Künstl. Intell., 34 (3): 389--394 (September 2020)Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures, , und . 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), Volume 288 von Leibniz International Proceedings in Informatics (LIPIcs), Seite 33:1--33:19. Dagstuhl, Germany, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, (2024)Satisfiability and query answering in description logics with global and local cardinality constraints, , und . (2020)On Logics and Homomorphism Closure, , , und . 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), IEEE, (Juni 2021)Neva-Extension Visualization for Argumentation Frameworks., , und . COMMA, Seite 477--478. (2020)