PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Rudolph, Sebastian"

Author of the publication

copydeleteadd this publication to your clipboard
SATPin: Axiom pinpointing for lightweight description logics through incremental SAT

, , and . KI - Künstl. Intell., 34 (3): 389--394 (September 2020)

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. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Rudolph, Sebastian
add a person with the name Rudolph, Sebastian
 

Other publications of authors with the same name

Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+, , and . Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, page 333--343. IJCAI Inc, (2023)Datalog-expressibility for monadic and Guarded Second-order Logic, , and . (2020)Temporally Attributed Description Logics, , and . Lecture Notes in Computer Science, Springer International Publishing, Cham, (2019)Justifications for description logic knowledge bases under the fixed-domain semantics, , and . Rules and Reasoning, Springer International Publishing, Cham, (2018)IoT semantic interoperability with device description shapes, , and . Lecture Notes in Computer Science, Springer International Publishing, Cham, (2018)Satisfiability in the Triguarded Fragment of First-Order Logic, and . 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 of CEUR Workshop Proceedings, CEUR-WS.org, (2018)Happy Ever After: Temporally Attributed Description Logics, , and . Proceedings of the 31st International Workshop on Description Logics (DL 2018), volume 2211 of CEUR Workshop Proceedings, CEUR-WS.org, (2018)Knowledge Graphs evolution and preservation -- A technical report from ISWS 2019, , , , , , , , , and 64 other author(s). (2020)Linked Open Data validity -- A technical report from ISWS 2018, , , , , , , , , and 61 other author(s). (2019)Semantic characterizations of general belief base revision, , and . (2021)