Extending Coinductive Logic Programming with Co-Facts

We introduce a generalized logic programming paradigm where programs, consisting of facts and rules with the usual syntax, can be enriched by co-facts, which syntactically resemble facts but have a special meaning. As in coinductive logic programming, interpretations are subsets of the complete Herb...

Celý popis

Podrobná bibliografie

Vydáno v:	Electronic proceedings in theoretical computer science Ročník 258; číslo Proc. CoALP-Ty 2016; s. 1 - 18
Hlavní autoři:	Ancona, Davide, Dagnino, Francesco, Zucca, Elena
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Open Publishing Association 13.09.2017
ISSN:	2075-2180, 2075-2180
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!