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

@@ Property / author @@
+Terrance Swift
@@ Property / author: Terrance Swift / rank @@
+Normal rank
@@ Property / author @@
+David S. Warren
@@ Property / author: David S. Warren / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OpenRuleBench
@@ Property / describes a project that uses: OpenRuleBench / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+XcelLog
@@ Property / describes a project that uses: XcelLog / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+YAP-Prolog
@@ Property / describes a project that uses: YAP-Prolog / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OPTYap
@@ Property / describes a project that uses: OPTYap / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.5123
@@ Property / arXiv ID: 1012.5123 / rank @@
+Normal rank
@@ 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
@@ Property / OpenAlex ID @@
+W2165876990
@@ Property / OpenAlex ID: W2165876990 / rank @@
+Normal rank