244 citations · 366 across the 25 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2015
Relaxation-based revision operators in description logics
Marc Aiguier, Jamal Atif, Isabelle Bloch +1
As ontologies and description logics (DLs) reach out to a broader audience, several reasoning services are developed in this context. Belief revision is one of them, of prime impor…
cs.AI2015
Belief Revision, Minimal Change and Relaxation: A General Framework based on Satisfaction Systems, and Applications to Description Logics
Marc Aiguier, Jamal Atif, Isabelle Bloch +1
Belief revision of knowledge bases represented by a set of sentences in a given logic has been extensively studied but for specific logics, mainly propositional, and also recently…