Minimal Revision of Logical Specification Using Extended Logic Programming: Preliminary Report Ken Satoh

AAAI Conferences 

In software engineering, there are several proposals of logical treatment of "inconsistency" of software specification (Borgida 1985; Balzer 1991; Finkelstein et al. 1994). A survey of these approaches is found in (Nuseibeh 1996).