Multi-level Algorithm Selection for ASP (Q3449227): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-23264-5_36
+Normal rank
@@ Property / OpenAlex ID @@
+W2394640999
@@ Property / OpenAlex ID: W2394640999 / 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 @@
+Q3011298
@@ Property / cites work: Q3011298 / rank @@
+Normal rank
@@ Property / cites work @@
+Normalizing Cardinality Rules Using Merging and Sorting Constructions
+Normal rank
@@ Property / cites work @@
+ASP-Core-2 Input Language Format
@@ Property / cites work: ASP-Core-2 Input Language Format / rank @@
+Normal rank
@@ Property / cites work @@
+Design and results of the Fifth Answer Set Programming Competition
+Normal rank
@@ Property / cites work @@
+Q5282991
@@ Property / cites work: Q5282991 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+aspeed: Solver scheduling via answer set programming
+Normal rank
@@ Property / cites work @@
+<tt>claspfolio</tt>2: Advances in Algorithm Selection for Answer Set Programming
+Normal rank
@@ Property / cites work @@
+Some (in)translatability results for normal logic programs and propositional theories
+Normal rank
@@ Property / cites work @@
+The DLV system for knowledge representation and reasoning
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3449227