A Theoretical Perspective of Coinductive Logic Programming

DOI10.3233/FI-2015-1252zbMath1348.68028OpenAlexW2119376944MaRDI QIDQ3187007

Agostino Dovier, Davide Ancona

Publication date: 15 August 2016

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2015-1252

zbMATH Keywords

denotational semanticscoinductionfoundations of logic programming

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (8)

Deconfined Global Types for Asynchronous Sessions ⋮ Enhancing expressivity of checked corecursive streams ⋮ Checked corecursive streams: expressivity and completeness ⋮ Productive corecursion in logic programming ⋮ Partially Typed Multiparty Sessions ⋮ Unnamed Item ⋮ Flexible coinductive logic programming ⋮ Unnamed Item

This page was built for publication: A Theoretical Perspective of Coinductive Logic Programming