Author of the publication

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)

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

Explaining data with formal concept analysis, , and . Reasoning Web. Explainable Artificial Intelligence, Springer International Publishing, Cham, (2019)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)Preface: Concept Lattices and Applications: Recent Advances and New Opportunities, and . Discrete Applied Mathematics, (2018)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)Neva-Extension Visualization for Argumentation Frameworks., , and . COMMA, page 477--478. (2020)On Logics and Homomorphism Closure, , , and . 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), IEEE, (June 2021)Satisfiability and query answering in description logics with global and local cardinality constraints, , and . (2020)SATPin: Axiom pinpointing for lightweight description logics through incremental SAT, , and . KI - Künstl. Intell., 34 (3): 389--394 (September 2020)Datalog-expressibility for monadic and Guarded Second-order Logic, , and . Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (July 2021)The power of the terminating chase (invited talk), , and . Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany, (2019)