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

Revising Ontologies via Models: The ALC-formula Case., , and . Description Logics, volume 2954 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)Towards a Semantic Construction for Belief Base Contraction: Partial Meet vs Smooth Kernel (Preliminary Report).. NMR, volume 3464 of CEUR Workshop Proceedings, page 94-103. CEUR-WS.org, (2023)Consolidation via Tacit Culpability Measures: Between Explicit and Implicit Degrees of Culpability., and . KR, page 529-538. (2021)Belief Change without Compactness.. CLEI Electron. J., (2021)Eviction and Reception for Description Logic Ontologies (Preliminary Results)., , and . NMR, volume 3464 of CEUR Workshop Proceedings, page 43-51. CEUR-WS.org, (2023)Measuring Inconsistency with the Tableau Method., and . FLAP, 10 (5): 643-691 (2023)Towards a Semantic Construction for Belief Base Contraction (A Preliminary Report).. FCR@KI, volume 3242 of CEUR Workshop Proceedings, page 4-15. CEUR-WS.org, (2022)Towards Belief Contraction without Compactness., , and . KR, page 287-296. AAAI Press, (2018)A 3-Valued Contraction Model Checking Game: Deciding on the World of Partial Information, and . Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings, volume 9407 of Lecture Notes in Computer Science, page 84--99. Springer, (2015)Belief Change and Non-Monotonic Reasoning Sans Compactness., , and . AAAI, page 3019-3026. AAAI Press, (2019)