Neli Zlatareva. Testing the Integrity of Non-monotonic Knowledge Bases Containing Semi-Normal Defaults. In Valerie Barr, Zdravko Markov, editors, Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference, Miami Beach, Florida, USA. pages 349-355, AAAI Press, 2004.
Abstract is missing.