Parallel instantiation of ASP programs: techniques and experiments (Q5299587): Difference between revisions

@@ Property / describes a project that uses @@
+GraphBase
@@ Property / describes a project that uses: GraphBase / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.1015
@@ Property / arXiv ID: 1110.1015 / rank @@
+Normal rank
@@ Property / cites work @@
+Extending and implementing the stable model semantics
+Normal rank
@@ Property / cites work @@
+Mixed integer programming methods for computing nonmonotonic deductive databases
+Normal rank
@@ Property / cites work @@
+ASSAT: computing answer sets of a logic program by SAT solvers
+Normal rank
@@ Property / cites work @@
+Knowledge Representation, Reasoning and Declarative Problem Solving
+Normal rank
@@ Property / cites work @@
+The DLV system for knowledge representation and reasoning
+Normal rank
@@ Property / cites work @@
+Verifying security protocols as planning in logic programming
+Normal rank
@@ Property / cites work @@
+Q4317725
@@ Property / cites work: Q4317725 / rank @@
+Normal rank
@@ Property / cites work @@
+Unfolding partiality and disjunctions in stable model semantics
+Normal rank
@@ Property / cites work @@
+Logic programming and knowledge representation---The A-Prolog perspective
+Normal rank
@@ Property / OpenAlex ID @@
+W2962859023
@@ Property / OpenAlex ID: W2962859023 / rank @@
+Normal rank