15 citations · 40 across the 14 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017
Generalizing inference systems by coaxioms
Francesco Dagnino
After surveying classical results, we introduce a generalized notion of inference system to support structural recursion on non-well-founded data types. Besides axioms and inferenc…
cs.PL2017★ 7 cited
Extending Coinductive Logic Programming with Co-Facts
Davide Ancona, Francesco Dagnino, Elena Zucca
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…