Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs

Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou. Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs. TPLP, 18(3-4):421-437, 2018. [doi]

Abstract

Abstract is missing.