Q5020542 (Q5020542): Difference between revisions

@@ Property / describes a project that uses @@
+GASP
@@ Property / describes a project that uses: GASP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Clingo
@@ Property / describes a project that uses: Clingo / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+claspfolio 2
@@ Property / describes a project that uses: claspfolio 2 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GitHub
@@ Property / describes a project that uses: GitHub / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The ASP system DLV2
@@ Property / cites work: The ASP system DLV2 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimization Methods for the Partner Units Problem
+Normal rank
@@ Property / cites work @@
+Knowledge Representation, Reasoning and Declarative Problem Solving
+Normal rank
@@ Property / cites work @@
+Design and results of the Fifth Answer Set Programming Competition
+Normal rank
@@ Property / cites work @@
+Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper)
+Normal rank
@@ Property / cites work @@
+Automatic network reconstruction using ASP
@@ Property / cites work: Automatic network reconstruction using ASP / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity results for answer set programming with bounded predicate arities and implications
+Normal rank
@@ Property / cites work @@
+A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system
+Normal rank
@@ Property / cites work @@
+Semantics and complexity of recursive aggregates in answer set programming
+Normal rank
@@ Property / cites work @@
+Logic programs with propositional connectives and aggregates
+Normal rank
@@ Property / cites work @@
+Conflict-driven answer set solving: from theory to practice
+Normal rank
@@ Property / cites work @@
+The Sixth Answer Set Programming Competition
@@ Property / cites work: The Sixth Answer Set Programming Competition / rank @@
+Normal rank
@@ Property / cites work @@
+The Seventh Answer Set Programming Competition: Design and Results
+Normal rank
@@ Property / cites work @@
+Combining Heuristics for Configuration Problems Using 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 @@
+<tt>ASPeRiX</tt>, a first-order forward chaining approach for answer set computing
+Normal rank
@@ Property / cites work @@
+The DLV system for knowledge representation and reasoning
+Normal rank
@@ Property / cites work @@
+Thirteen Definitions of a Stable Model
@@ Property / cites work: Thirteen Definitions of a Stable Model / rank @@
+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 @@
+Team-building with answer set programming in the Gioia-Tauro seaport
+Normal rank
@@ Property / cites work @@
+Degrees of laziness in grounding. Effects of lazy-grounding strategies on ASP solving
+Normal rank
@@ Property / cites work @@
+Blending lazy-grounding and CDNL search for answer-set solving
+Normal rank