Baidu
map

Flexible coinductive logic programming

Dagnino, F; Ancona, D; Zucca, E

Dagnino, F (corresponding author), Univ Genoa, DIBRIS, Genoa, Italy.

THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2020; 20 (6): 818

Abstract

Recursive definitions of predicates are usually interpreted either inductively or coinductively. Recently, a more powerful approach has been proposed,......

Full Text Link


Baidu
map
Baidu
map
Baidu
map