Flexible coinductive logic programming (Q5140017): Difference between revisions

@@ Property / cites work @@
+Iterative algebras at work
@@ Property / cites work: Iterative algebras at work / rank @@
+Normal rank
@@ Property / cites work @@
+Generalizing Inference Systems by Coaxioms
@@ Property / cites work: Generalizing Inference Systems by Coaxioms / rank @@
+Normal rank
@@ Property / cites work @@
+A Theoretical Perspective of Coinductive Logic Programming
+Normal rank
@@ Property / cites work @@
+Fundamental properties of infinite trees
@@ Property / cites work: Fundamental properties of infinite trees / rank @@
+Normal rank
@@ Property / cites work @@
+Q3121528
@@ Property / cites work: Q3121528 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite Computation, Co-induction and Computational Logic
+Normal rank
@@ Property / cites work @@
+Coalgebraic logic programming: from Semantics to Implementation
+Normal rank
@@ Property / cites work @@
+A productivity checker for logic programming
@@ Property / cites work: A productivity checker for logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Productive corecursion in logic programming
@@ Property / cites work: Productive corecursion in logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Coinductive big-step operational semantics
@@ Property / cites work: Coinductive big-step operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4608652
@@ Property / cites work: Q4608652 / rank @@
+Normal rank
@@ Property / cites work @@
+Tabling, Rational Terms, and Coinduction Finally Together!
+Normal rank
@@ Property / cites work @@
+Co-Logic Programming: Extending Logic Programming with Coinduction
+Normal rank
@@ Property / cites work @@
+Coinductive Logic Programming
@@ Property / cites work: Coinductive Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank