Author of the publication

Measuring Disagreement with Interpolants.

, , and . SUM, volume 12322 of Lecture Notes in Computer Science, page 84-97. Springer, (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.

 

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)On Interpolation and Symbol Elimination in Theory Extensions.. Logical Methods in Computer Science, (2018)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)Hierarchical Reasoning in Local Theory Extensions and Applications.. SYNASC, page 34-41. IEEE Computer Society, (2014)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)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)Interpolation in Local Theory Extensions.. Logical Methods in Computer Science, (2008)On Uniform Word Problems Involving Bridging Operators on Distributive Lattices.. TABLEAUX, volume 2381 of Lecture Notes in Computer Science, page 235-250. Springer, (2002)