Showing papers by "Ofer Arieli published in 1995"
01 Jan 1995
TL;DR: Bilaitices, which have been shown to be very useful in logic programming, are used here for recovering consistent data from an inconsistent knowledge-base and the method is coaseroative in the sense that it considers the contradictory data as useless, and regards all the remaining information unaffected.
Abstract: Bilaitices, which have been shown to be very useful in logic programming, are used here for recovering consistent data from an inconsistent knowledge-base. Our method is coaseroative in the sense that it considers the contradictory data as useless, and regards all the remaining information unaffected. This kind of approach is nonmonotonic and paraconsistent in nature.
8 citations