V GERVASI, D ZOWGHI - ACM Transactions on Software Engineering …, 2005 - islp.di.unipi.it
The use of logic in identifying and analyzing inconsistency in requirements from multiple
stakeholders has been found to be effective in a number of studies. Nonmonotonic logic is a …