Logic Programs and Many-Valued Logic

Logic programming semantics using a compact data structure

ISMIS '86 Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems

Characterizations of Classes of Programs by Three-Valued Operators

LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning

Logic Programs under Three-Valued Łukasiewicz Semantics

ICLP '09 Proceedings of the 25th International Conference on Logic Programming

Topology And The Semantics Of Logic Programs

Fundamenta Informaticae

Logic programming: from underspecification to undefinedness

CATS '12 Proceedings of the Eighteenth Computing: The Australasian Theory Symposium - Volume 128