Design and results of the Fifth Answer Set Programming Competition (Q899444): Difference between revisions

@@ Property / describes a project that uses @@
+SMT-LIB
@@ Property / describes a project that uses: SMT-LIB / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MiniZinc
@@ Property / describes a project that uses: MiniZinc / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PDDL
@@ Property / describes a project that uses: PDDL / 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 @@
+QBFLIB
@@ Property / describes a project that uses: QBFLIB / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MiniSat
@@ Property / describes a project that uses: MiniSat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+clasp
@@ Property / describes a project that uses: clasp / rank @@
+Normal rank
@@ 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 @@
+pyrunlim
@@ Property / describes a project that uses: pyrunlim / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Datalog
@@ Property / describes a project that uses: Datalog / rank @@
+Normal rank
@@ 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.1016/j.artint.2015.09.008
+Normal rank
@@ Property / OpenAlex ID @@
+W2265638991
@@ Property / OpenAlex ID: W2265638991 / 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 @@
+Propositional semantics for disjunctive logic programs
+Normal rank
@@ Property / cites work @@
+Normalizing Cardinality Rules Using Merging and Sorting Constructions
+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 @@
+Q4798023
@@ Property / cites work: Q4798023 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734932
@@ Property / cites work: Q2734932 / rank @@
+Normal rank
@@ Property / cites work @@
+On the computational cost of disjunctive logic programming: Propositional case
+Normal rank
@@ Property / cites work @@
+Answer Set Programming: A Primer
@@ Property / cites work: Answer Set Programming: A Primer / rank @@
+Normal rank
@@ Property / cites work @@
+Tight logic programs
@@ Property / cites work: Tight logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+The Intelligent Grounder of DLV
@@ Property / cites work: The Intelligent Grounder of DLV / rank @@
+Normal rank
@@ Property / cites work @@
+Logics in Artificial Intelligence
@@ Property / cites work: Logics in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics and complexity of recursive aggregates in answer set programming
+Normal rank
@@ Property / cites work @@
+Design and implementation of aggregate functions in the DLV                         system
+Normal rank
@@ Property / cites work @@
+Q5282991
@@ Property / cites work: Q5282991 / rank @@
+Normal rank
@@ Property / cites work @@
+Conflict-driven answer set solving: from theory to practice
+Normal rank
@@ Property / cites work @@
+Multi-threaded ASP solving with clasp
@@ Property / cites work: Multi-threaded ASP solving with clasp / rank @@
+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 @@
+Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners
+Normal rank
@@ Property / cites work @@
+Answer set programming based on propositional satisfiability
+Normal rank
@@ Property / cites work @@
+Compact Translations of Non-disjunctive Answer Set Programs to Propositional Clauses
+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 @@
+Evaluating ASP and commercial solvers on the CSPLib
+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 @@
+Q4016561
@@ Property / cites work: Q4016561 / rank @@
+Normal rank
@@ Property / cites work @@
+Team-building with answer set programming in the Gioia-Tauro seaport
+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