PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Rudolph, Sebastian"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
SATPin: Axiom pinpointing for lightweight description logics through incremental SAT

, , und . KI - Künstl. Intell., 34 (3): 389--394 (September 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

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)Semantic characterizations of general belief base revision, , und . (2021)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)Datalog-expressibility for monadic and Guarded Second-order Logic, , und . (2020)Temporally Attributed Description Logics, , und . Lecture Notes in Computer Science, Springer International Publishing, Cham, (2019)Justifications for description logic knowledge bases under the fixed-domain semantics, , und . Rules and Reasoning, Springer International Publishing, Cham, (2018)IoT semantic interoperability with device description shapes, , und . Lecture Notes in Computer Science, Springer International Publishing, Cham, (2018)Satisfiability in the Triguarded Fragment of First-Order Logic, und . Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018, Volume 2211 von CEUR Workshop Proceedings, CEUR-WS.org, (2018)Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+, , und . Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, Seite 333--343. IJCAI Inc, (2023)