Keyword:Negation in Logic Programming

Publications
Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs Angelos Charalambidis, Panos Rondogiannis and Ioanna Symeonidou EasyChair Preprint 193