Author of the publication

Measuring Disagreement with Interpolants

, , and . Proceedings of the 14th International Conference on Scalable Uncertainty Management (SUM'20), (September 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)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)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)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)Interpolation in Local Theory Extensions.. Logical Methods in Computer Science, (2008)