Optimizing Answer Set Computation via Heuristic-Based Decomposition (Q4957190): Difference between revisions

@@ Property / describes a project that uses @@
+Clingo
@@ Property / describes a project that uses: Clingo / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Datalog
@@ Property / describes a project that uses: Datalog / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Lpopt
@@ Property / describes a project that uses: Lpopt / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.09718
@@ Property / arXiv ID: 1812.09718 / rank @@
+Normal rank
@@ Property / cites work @@
+The ASP system DLV2
@@ Property / cites work: The ASP system DLV2 / rank @@
+Normal rank
@@ Property / cites work @@
+Advances in WASP
@@ Property / cites work: Advances in WASP / rank @@
+Normal rank
@@ Property / cites work @@
+Magic sets for disjunctive Datalog programs
@@ Property / cites work: Magic sets for disjunctive Datalog programs / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional semantics for disjunctive logic programs
+Normal rank
@@ Property / cites work @@
+Reasoning with minimal models: efficient algorithms and applications
+Normal rank
@@ Property / cites work @@
+Lpopt: a rule optimization tool for answer set programming
+Normal rank
@@ Property / cites work @@
+The power of non-ground rules in Answer Set Programming
+Normal rank
@@ Property / cites work @@
+The Impact of Treewidth on Grounding and Solving of Answer Set Programs
+Normal rank
@@ Property / cites work @@
+Design and results of the Fifth Answer Set Programming Competition
+Normal rank
@@ Property / cites work @@
+Experimenting with parallelism for the instantiation of ASP programs
+Normal rank
@@ Property / cites work @@
+The Intelligent Grounder of DLV
@@ Property / cites work: The Intelligent Grounder of DLV / rank @@
+Normal rank
@@ Property / cites work @@
+Progress in clasp Series 3
@@ Property / cites work: Progress in clasp Series 3 / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-shot ASP solving with clingo
@@ Property / cites work: Multi-shot ASP solving with clingo / rank @@
+Normal rank
@@ Property / cites work @@
+Conflict-driven answer set solving: from theory to practice
+Normal rank
@@ Property / cites work @@
+The Design of the Sixth Answer Set Programming Competition
+Normal rank
@@ Property / cites work @@
+The design of the Seventh Answer Set Programming Competition
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+Answer set programming based on propositional satisfiability
+Normal rank
@@ Property / cites work @@
+Graph-Theoretic Concepts in Computer Science
@@ Property / cites work: Graph-Theoretic Concepts in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Q4779133
@@ Property / cites work: Q4779133 / rank @@
+Normal rank
@@ Property / cites work @@
+Unfolding partiality and disjunctions in stable model semantics
+Normal rank
@@ Property / cites work @@
+<tt>ASPeRiX</tt>, a first-order forward chaining approach for answer set computing
+Normal rank
@@ Property / cites work @@
+Q4798016
@@ Property / cites work: Q4798016 / rank @@
+Normal rank
@@ Property / cites work @@
+The DLV system for knowledge representation and reasoning
+Normal rank
@@ Property / cites work @@
+Preprocessing of Complex Non-Ground Rules in Answer Set Programming
+Normal rank
@@ Property / cites work @@
+GASP: Answer Set Programming with Lazy Grounding
@@ Property / cites work: GASP: Answer Set Programming with Lazy Grounding / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel instantiation of ASP programs: techniques and experiments
+Normal rank
@@ Property / cites work @@
+Enhancing DLV instantiator by backjumping techniques
+Normal rank
@@ Property / cites work @@
+Graph minors. II. Algorithmic aspects of tree-width
+Normal rank
@@ Property / cites work @@
+Extending and implementing the stable model semantics
+Normal rank
@@ Property / cites work @@
+Q4798015
@@ Property / cites work: Q4798015 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Blending lazy-grounding and CDNL search for answer-set solving
+Normal rank