Author of the publication

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.

 

Other publications of authors with the same name

Representation Theorems and Locality for Subsumption Testing and Interpolation in the Description Logics ɛℒ, ɛℒ+ and their Extensions with n-ary Roles and Numerical Domains.. Fundam. Informaticae, 156 (3-4): 361-411 (2017)Interpolation in Local Theory Extensions.. IJCAR, volume 4130 of Lecture Notes in Computer Science, page 235-250. Springer, (2006)Parametric Systems: Verification and Synthesis.. CoRR, (2019)On Interpolation and Symbol Elimination in Theory Extensions.. Logical Methods in Computer Science, (2018)SEH-PILoT: A System for Property-Directed Symbol Elimination - Work in Progress (Short Paper)., and . SOQE@KR, volume 3009 of CEUR Workshop Proceedings, page 75-82. CEUR-WS.org, (2021)On the Verification of the Correctness of a Subgraph Construction Algorithm., , and . VMCAI (1), volume 14499 of Lecture Notes in Computer Science, page 303-325. Springer, (2024)Finding High-Level Explanations for Subsumption w.r.t. Combinations of CBoxes in EL and EL+., and . Description Logics, volume 2663 of CEUR Workshop Proceedings, CEUR-WS.org, (2020)Hierarchical Reasoning in Local Theory Extensions and Applications.. SYNASC, page 34-41. IEEE Computer Society, (2014)Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics I.. Stud Logica, 64 (1): 93-132 (2000)On Uniform Word Problems Involving Bridging Operators on Distributive Lattices.. TABLEAUX, volume 2381 of Lecture Notes in Computer Science, page 235-250. Springer, (2002)