6 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.LO2022
Region-Based Merging of Open-Domain Terminological Knowledge
Zied Bouraoui, Sebastien Konieczny, Thanh Ma +2
This paper introduces a novel method for merging open-domain terminological knowledge. It takes advantage of the Region Connection Calculus (RCC5), a formalism used to represent re…
cs.AI2015★ 6 cited
Characterization of Logic Program Revision as an Extension of Propositional Revision
Nicolas Schwind, Katsumi Inoue
We address the problem of belief revision of logic programs, i.e., how to incorporate to a logic program P a new logic program Q. Based on the structure of SE interpretations, Delg…