The Design of the Sixth Answer Set Programming Competition (Q3449235): 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_44
+Normal rank
@@ Property / OpenAlex ID @@
+W1787538678
@@ Property / OpenAlex ID: W1787538678 / rank @@
+Normal rank
@@ Property / cites work @@
+Advances in WASP
@@ Property / cites work: Advances in WASP / rank @@
+Normal rank
@@ Property / cites work @@
+Anytime Computation of Cautious Consequences in Answer Set Programming
+Normal rank
@@ Property / cites work @@
+Optimization Methods for the Partner Units Problem
+Normal rank
@@ Property / cites work @@
+Industrial-Size Scheduling with ASP+CP
@@ Property / cites work: Industrial-Size Scheduling with ASP+CP / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge Representation, Reasoning and Declarative Problem Solving
+Normal rank
@@ Property / cites work @@
+Improving the Normalization of Weight Rules in Answer Set Programs
+Normal rank
@@ Property / cites work @@
+Design and results of the Fifth Answer Set Programming Competition
+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 @@
+Q2734932
@@ Property / cites work: Q2734932 / rank @@
+Normal rank
@@ Property / cites work @@
+Answer Set Programming: A Primer
@@ Property / cites work: Answer Set Programming: A Primer / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+A Computational Approach to Conway’s Thrackle Conjecture
+Normal rank
@@ Property / cites work @@
+Genetic Algorithms for Scheduling Devices Operation in a Water Distribution System in Response to Contamination Events
+Normal rank
@@ Property / cites work @@
+Q5282991
@@ Property / cites work: Q5282991 / rank @@
+Normal rank
@@ Property / cites work @@
+SAT Modulo Graphs: Acyclicity
@@ Property / cites work: SAT Modulo Graphs: Acyclicity / rank @@
+Normal rank
@@ Property / cites work @@
+Complex optimization in answer set programming
@@ Property / cites work: Complex optimization in answer set programming / rank @@
+Normal rank
@@ Property / cites work @@
+Conflict-driven answer set solving: from theory to practice
+Normal rank
@@ Property / cites work @@
+Combining Heuristics for Configuration Problems Using Answer Set Programming
+Normal rank
@@ Property / cites work @@
+Detecting inconsistencies in large biological networks with answer set programming
+Normal rank
@@ Property / cites work @@
+Logic programming and knowledge representation---The A-Prolog perspective
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+Answer set programming based on propositional satisfiability
+Normal rank
@@ Property / cites work @@
+Unfolding partiality and disjunctions in stable model semantics
+Normal rank
@@ Property / cites work @@
+The DLV system for knowledge representation and reasoning
+Normal rank
@@ Property / cites work @@
+Answer set programming and plan generation
@@ Property / cites work: Answer set programming and plan generation / rank @@
+Normal rank
@@ Property / cites work @@
+ASSAT: computing answer sets of a logic program by SAT solvers
+Normal rank
@@ Property / cites work @@
+Consistent query answering via ASP from different perspectives: Theory and practice
+Normal rank
@@ Property / cites work @@
+Multi-level Algorithm Selection for ASP
@@ Property / cites work: Multi-level Algorithm Selection for ASP / rank @@
+Normal rank
@@ Property / cites work @@
+Q4702577
@@ Property / cites work: Q4702577 / rank @@
+Normal rank
@@ Property / cites work @@
+SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions
+Normal rank
@@ Property / cites work @@
+Logic programs with stable model semantics as a constraint programming paradigm
+Normal rank
@@ Property / cites work @@
+Extending and implementing the stable model semantics
+Normal rank