Sound and complete sld-resolution for bilattice-based annotated logic programs

by Ekaterina Komendantskaya , Anthony Karel Seda
Venue:In Proceedings of the International Conference INFORMATION-MFCSIT’06
Citations:2 - 2 self