Answers that Have Integrity (Q3092322): Difference between revisions

@@ Property / cites work @@
+Answer sets for consistent query answering in inconsistent databases
+Normal rank
@@ Property / cites work @@
+Inconsistency Tolerance
@@ Property / cites work: Inconsistency Tolerance / rank @@
+Normal rank
@@ Property / cites work @@
+Q4707746
@@ Property / cites work: Q4707746 / rank @@
+Normal rank
@@ Property / cites work @@
+Dialectic proof procedures for assumption-based, admissible argumentation
+Normal rank
@@ Property / cites work @@
+The IFF proof procedure for abductive logic programming
+Normal rank
@@ Property / cites work @@
+Q4051550
@@ Property / cites work: Q4051550 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4349102
@@ Property / cites work: Q4349102 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments
+Normal rank