Repairing Inconsistent Databases: A Model-Theoretic Approach and Abductive Reasoning

Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Maurice Bruynooghe. Repairing Inconsistent Databases: A Model-Theoretic Approach and Abductive Reasoning. In Hendrik Decker, Jørgen Villadsen, Toshiharu Waragai, editors, Paraconsistent Computational Logic, This proceedings volume contains the papers presented at the ICLP 2002 workshop Paraconsistent Computational Logic, on July 27, in Copenhagen, Denmark, as part of the Federated Logic Conference (FLoC). Volume 95 of Datalogiske Skrifter, pages 51-65, Roskilde University, Roskilde, Denmark, 2002. [doi]

Abstract

Abstract is missing.