Debugging Non-ground ASP Programs: Technique and Graphical Tools (Q5197755): Difference between revisions

@@ Property / describes a project that uses @@
+QUICKXPLAIN
@@ Property / describes a project that uses: QUICKXPLAIN / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SeaLion
@@ Property / describes a project that uses: SeaLion / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+WASP
@@ Property / describes a project that uses: WASP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+spock
@@ Property / describes a project that uses: spock / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Gringo
@@ Property / describes a project that uses: Gringo / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DLV
@@ Property / describes a project that uses: DLV / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.00417
@@ Property / arXiv ID: 1808.00417 / rank @@
+Normal rank
@@ Property / cites work @@
+Shift Design with Answer Set Programming*
@@ Property / cites work: Shift Design with Answer Set Programming* / rank @@
+Normal rank
@@ Property / cites work @@
+Anytime answer set optimization via unsatisfiable core shrinking
+Normal rank
@@ Property / cites work @@
+Advances in WASP
@@ Property / cites work: Advances in WASP / rank @@
+Normal rank
@@ Property / cites work @@
+Optimization Methods for the Partner Units Problem
+Normal rank
@@ Property / cites work @@
+Q4800172
@@ Property / cites work: Q4800172 / rank @@
+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 @@
+Interactive Debugging of Non-ground ASP Programs
@@ Property / cites work: Interactive Debugging of Non-ground ASP Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Generating explanations for biomedical queries
@@ Property / cites work: Generating explanations for biomedical queries / rank @@
+Normal rank
@@ Property / cites work @@
+An ASP approach for the valves positioning optimization in a water distribution system
+Normal rank
@@ Property / cites work @@
+Conflict-driven answer set solving: from theory to practice
+Normal rank
@@ Property / cites work @@
+The Design of the Sixth Answer Set Programming Competition
+Normal rank
@@ Property / cites work @@
+Detecting inconsistencies in large biological networks with answer set programming
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimizing phylogenetic supertrees using answer set programming
+Normal rank
@@ Property / cites work @@
+Catching the Ouroboros: On debugging non-ground answer-set programs
+Normal rank
@@ Property / cites work @@
+Stepping through an Answer-Set Program
@@ Property / cites work: Stepping through an Answer-Set Program / rank @@
+Normal rank
@@ Property / cites work @@
+Debugging Non-ground ASP Programs with Choice Rules, Cardinality and Weight Constraints
+Normal rank
@@ Property / cites work @@
+Justifications for logic programs under answer set semantics
+Normal rank
@@ Property / cites work @@
+Characterising and Explaining Inconsistency in Logic Programs
+Normal rank
@@ Property / cites work @@
+Justifying answer sets using argumentation
@@ Property / cites work: Justifying answer sets using argumentation / rank @@
+Normal rank
@@ Property / cites work @@
+GRASP: a search algorithm for propositional satisfiability
+Normal rank
@@ Property / cites work @@
+Extending and implementing the stable model semantics
+Normal rank