Ambivalent Logic as the Semantic Basis of Metalogic Programming.

Yuejun Jiang

Browse the full ICLP paper archive.