The power of non-ground rules in Answer Set Programming (Q4593042): Difference between revisions

@@ Property / describes a project that uses @@
+GASP
@@ Property / describes a project that uses: GASP / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.01856
@@ Property / arXiv ID: 1608.01856 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of Finding Embeddings in a <i>k</i>-Tree
+Normal rank
@@ Property / cites work @@
+A Linear-Time Algorithm for Finding Tree-Decompositions of Small Treewidth
+Normal rank
@@ Property / cites work @@
+Lazy Model Expansion by Incremental Grounding
@@ Property / cites work: Lazy Model Expansion by Incremental Grounding / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity results for answer set programming with bounded predicate arities and implications
+Normal rank
@@ Property / cites work @@
+On the computational cost of disjunctive logic programming: Propositional case
+Normal rank
@@ Property / cites work @@
+Abduction from logic programs: Semantics and complexity
+Normal rank
@@ Property / cites work @@
+Towards automated integration of guess and check programs in answer set programming: a meta-interpreter and applications
+Normal rank
@@ Property / cites work @@
+Complex optimization in answer set programming
@@ Property / cites work: Complex optimization in answer set programming / rank @@
+Normal rank
@@ Property / cites work @@
+Conflict-driven answer set solving: from theory to practice
+Normal rank
@@ Property / cites work @@
+Generalized hypertree decompositions: NP-hardness and tractable variants
+Normal rank
@@ Property / cites work @@
+On the complexity of single-rule datalog queries.
@@ Property / cites work: On the complexity of single-rule datalog queries. / rank @@
+Normal rank
@@ Property / cites work @@
+Unfolding partiality and disjunctions in stable model semantics
+Normal rank
@@ Property / cites work @@
+Enhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination
+Normal rank
@@ Property / cites work @@
+Q4702577
@@ Property / cites work: Q4702577 / rank @@
+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