Integrating induction and abduction in logic programming (Q1818759): Difference between revisions

@@ Property / describes a project that uses @@
+SICStus
@@ Property / describes a project that uses: SICStus / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385536
@@ Property / cites work: Q4385536 / rank @@
+Normal rank
@@ Property / cites work @@
+A unifying view for logic programming with non-monotonic reasoning
+Normal rank
@@ Property / cites work @@
+Abductive explanation-based learning: A solution to the multiple inconsistent explanation problem
+Normal rank
@@ Property / cites work @@
+Abductive Logic Programming
@@ Property / cites work: Abductive Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Short note preferred extensions are partial stable models
+Normal rank
@@ Property / cites work @@
+On the semantics of abstract argumentation
@@ Property / cites work: On the semantics of abstract argumentation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4843403
@@ Property / cites work: Q4843403 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3723721
@@ Property / cites work: Q3723721 / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/isci/LammaMMR99
@@ Property / DBLP publication ID: journals/isci/LammaMMR99 / rank @@
+Normal rank