Angélica De Antonio

Learn More
MECORI [Ramírez & de Antonio, 1998] is a method which is able to detect inconsistencies defined by integrity constraints (ICs) in a Knowlegde base (KB). The approach of MECORI is similar to that of other methods like COVADIS [Rousset, 1988] or KB-REDUCER [Ginsberg, 1988], since all of them build an ATMS-theory [de Kleer, 1986]. However, the scope of MECORI(More)
  • 1