Results 311 to 316 of about 93,680 (316)
Some of the next articles are maybe not open access.
Logic Programming and Co-inductive Definitions
2000This paper aims to define a complete semantics for a class of non-terminating logic programs. Standard approaches to deal with this problem consist in concentrating on programs where infinite derivations can be seen as computing, in the limit, some ”infinite object”. This is usually done by extending the domain of computation with infinite elements and
openaire +2 more sources