Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs
Sign Up to like & getrecommendations! Published in 2018 at "Theory and Practice of Logic Programming"
DOI: 10.1017/s1471068418000108
Abstract: Abstract We define a novel, extensional, three-valued semantics for higher-order logic programs with negation. The new semantics is based on interpreting the types of the source language as three-valued Fitting-monotonic functions at all levels of… read more here.
Keywords: higher order; semantics higher; logic programs; order logic ... See more keywords