Autor der Publikation

Measuring Disagreement with Interpolants.

, , und . SUM, Volume 12322 von Lecture Notes in Computer Science, Seite 84-97. Springer, (2020)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Interpolation in Local Theory Extensions.. IJCAR, Volume 4130 von Lecture Notes in Computer Science, Seite 235-250. Springer, (2006)Finding High-Level Explanations for Subsumption w.r.t. Combinations of CBoxes in EL and EL+., und . Description Logics, Volume 2663 von CEUR Workshop Proceedings, CEUR-WS.org, (2020)On the Verification of the Correctness of a Subgraph Construction Algorithm., , und . VMCAI (1), Volume 14499 von Lecture Notes in Computer Science, Seite 303-325. Springer, (2024)SEH-PILoT: A System for Property-Directed Symbol Elimination - Work in Progress (Short Paper)., und . SOQE@KR, Volume 3009 von CEUR Workshop Proceedings, Seite 75-82. CEUR-WS.org, (2021)Hierarchical Reasoning in Local Theory Extensions and Applications.. SYNASC, Seite 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 von Lecture Notes in Computer Science, Seite 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 von 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ℒ+., , und . CADE, Volume 14132 von Lecture Notes in Computer Science, Seite 419-437. Springer, (2023)On Testing Containedness Between Geometric Graph Classes using Second-order Quantifier Elimination and Hierarchical Reasoning (Short Paper)., , , und . SOQE@KR, Volume 3009 von CEUR Workshop Proceedings, Seite 37-45. CEUR-WS.org, (2021)