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

Interpolation in Local Theory Extensions.. IJCAR, volume 4130 of Lecture Notes in Computer Science, page 235-250. Springer, (2006)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)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)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)Interpolation in local theory extensions. CoRR, (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)Automated reasoning in extensions of theories of constructors with recursively defined functions and homomorphisms.. Interaction versus Automation: The two Faces of Deduction, volume 09411 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2009)On P-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics Eℒ, Eℒ+., , and . CADE, volume 14132 of Lecture Notes in Computer Science, page 419-437. Springer, (2023)On Testing Containedness Between Geometric Graph Classes using Second-order Quantifier Elimination and Hierarchical Reasoning (Short Paper)., , , and . SOQE@KR, volume 3009 of CEUR Workshop Proceedings, page 37-45. CEUR-WS.org, (2021)