XSB: Extending Prolog with Tabled Logic Programming (Q2893097): Difference between revisions

@@ Property / cites work @@
+Logic Programming with Defaults and Argumentation Theories
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+Quantitative deduction and its fixpoint theory
@@ Property / cites work: Quantitative deduction and its fixpoint theory / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient access mechanisms for tabled logic programs
+Normal rank
@@ Property / cites work @@
+Logic programs with stable model semantics as a constraint programming paradigm
+Normal rank
@@ Property / cites work @@
+Concurrent and Local Evaluation of Normal Programs
+Normal rank
@@ Property / cites work @@
+Preference Logic Grammars: Fixed point semantics and application to data standardization
+Normal rank
@@ Property / cites work @@
+Semantics-based program analysis for logic-based languages using XSB
+Normal rank
@@ Property / cites work @@
+Tabling with Answer Subsumption: Implementation, Applications and Performance
+Normal rank
@@ Property / cites work @@
+Tabled evaluation with delaying for general logic programs
+Normal rank
@@ Property / cites work @@
+Tabling for non-monotonic programming
@@ Property / cites work: Tabling for non-monotonic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Extending and implementing the stable model semantics
+Normal rank
@@ Property / cites work @@
+The limits of fixed-order computation
@@ Property / cites work: The limits of fixed-order computation / rank @@
+Normal rank
@@ Property / cites work @@
+Strategies in combined learning via logic programs
+Normal rank
@@ Property / cites work @@
+Logical foundations of object-oriented and frame-based languages
+Normal rank