Flexible coinductive logic programming

Recursive definitions of predicates are usually interpreted either inductively or coinductively. Recently, a more powerful approach has been proposed, called flexible coinduction, to express a variety of intermediate interpretations, necessary in some cases to get the correct meaning. We provide a d...

Full description

Saved in:

Bibliographic Details
Published in:	Theory and practice of logic programming Vol. 20; no. 6; pp. 818 - 833
Main Authors:	DAGNINO, FRANCESCO, ANCONA, DAVIDE, ZUCCA, ELENA
Format:	Journal Article
Language:	English
Published:	Cambridge, UK Cambridge University Press 01.11.2020
Subjects:	Logic programming Original Article Semantics declarative semantics completeness operational semantics soundness coinduction
ISSN:	1471-0684, 1475-3081
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!