The Intricacies of Three-Valued Extensional Semantics for Higher-Order Logic Programs.

Panos Rondogiannis, Ioanna Symeonidou

Browse the full IJCAI paper archive.