Paraconsistent declarative semantics for extended logic programs. (2002)

by O Arieli
Venue:Annals of Mathematics and Artificial Intelligence