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...

Celý popis

Podrobná bibliografie

Vydáno v:	Theory and practice of logic programming Ročník 20; číslo 6; s. 818 - 833
Hlavní autoři:	DAGNINO, FRANCESCO, ANCONA, DAVIDE, ZUCCA, ELENA
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Cambridge, UK Cambridge University Press 01.11.2020
Témata:	Logic programming Original Article Semantics declarative semantics completeness operational semantics soundness coinduction
ISSN:	1471-0684, 1475-3081
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!