Author of the publication

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)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)Eviction and Reception for Description Logic Ontologies (Extended Abstract)., , and . Description Logics, volume 3515 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)Belief Change without Compactness.. CLEI Electron. J., (2021)Consolidation via Tacit Culpability Measures: Between Explicit and Implicit Degrees of Culpability., and . KR, page 529-538. (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)