Constraint Answer Set Programming without Grounding (Q4559798): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.11162
@@ Property / arXiv ID: 1804.11162 / rank @@
+Normal rank
@@ Property / cites work @@
+Abduction in well-founded semantics and generalized stable models via tabled dual programs
+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 @@
+Constraint answer set solver EZCSP and why integration schemas matter
+Normal rank
@@ Property / cites work @@
+<i>Clingcon</i>: The next generation
@@ Property / cites work: <i>Clingcon</i>: The next generation / rank @@
+Normal rank
@@ Property / cites work @@
+A decidable subclass of finitary programs
@@ Property / cites work: A decidable subclass of finitary programs / rank @@
+Normal rank
@@ Property / cites work @@
+On finitely recursive programs
@@ Property / cites work: On finitely recursive programs / rank @@
+Normal rank
@@ Property / cites work @@
+External sources of knowledge and value invention in logic 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 @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+An overview of Ciao and its design philosophy
@@ Property / cites work: An overview of Ciao and its design philosophy / rank @@
+Normal rank
@@ Property / cites work @@
+Clingo goes linear constraints over reals and integers
+Normal rank
@@ Property / cites work @@
+A closed-form evaluation for Datalog queries with integer (gap)-order constraints
+Normal rank