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
Justifications for description logic knowledge bases under the fixed-domain semantics

, , and . Rules and Reasoning, Springer International Publishing, Cham, (2018)

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

Semantic Characterizations of AGM Revision for Tarskian Logics, , and . Proceedings of the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022), volume 13752 of LNCS, page 95--110. Springer, (September 2022)Semantic characterizations of general belief base revision, , and . (2021)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)Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL, , and . Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023, page 3258--3267. ijcai.org, (2023)Preface: Concept Lattices and Applications: Recent Advances and New Opportunities, and . Discrete Applied Mathematics, (2018)Finite model theory of the triguarded fragment and related logics, and . 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), IEEE, (June 2021)Explaining data with formal concept analysis, , and . Reasoning Web. Explainable Artificial Intelligence, Springer International Publishing, Cham, (2019)Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures, , and . 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), volume 288 of Leibniz International Proceedings in Informatics (LIPIcs), page 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, , and . (2020)