On the relation among answer set solvers (Q1028643): Difference between revisions

@@ Property / describes a project that uses @@
+nomore++
@@ Property / describes a project that uses: nomore++ / 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.1007/s10472-009-9113-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2018172994
@@ Property / OpenAlex ID: W2018172994 / rank @@
+Normal rank
@@ Property / cites work @@
+A sharp threshold in proof complexity
@@ Property / cites work: A sharp threshold in proof complexity / rank @@
+Normal rank
@@ Property / cites work @@
+The nomore + + Approach to Answer Set Solving
@@ Property / cites work: The nomore + + Approach to Answer Set Solving / rank @@
+Normal rank
@@ Property / cites work @@
+Q5480653
@@ Property / cites work: Q5480653 / rank @@
+Normal rank
@@ Property / cites work @@
+Many hard examples for resolution
@@ Property / cites work: Many hard examples for resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Q2747613
@@ Property / cites work: Q2747613 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5715702
@@ Property / cites work: Q5715702 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear-time algorithms for testing the satisfiability of propositional horn formulae
+Normal rank
@@ Property / cites work @@
+Q4708951
@@ Property / cites work: Q4708951 / rank @@
+Normal rank
@@ Property / cites work @@
+Tight logic programs
@@ Property / cites work: Tight logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Logics in Artificial Intelligence
@@ Property / cites work: Logics in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+Tableau Calculi for Answer Set Programming
@@ Property / cites work: Tableau Calculi for Answer Set Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Generic Tableaux for Answer Set Programming
@@ Property / cites work: Generic Tableaux for Answer Set Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Conflict-Driven Answer Set Enumeration
@@ Property / cites work: Conflict-Driven Answer Set Enumeration / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+AI*IA 2005: Advances in Artificial Intelligence
@@ Property / cites work: AI*IA 2005: Advances in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Answer set programming based on propositional satisfiability
+Normal rank
@@ Property / cites work @@
+The intractability of resolution
@@ Property / cites work: The intractability of resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Some (in)translatability results for normal logic programs and propositional theories
+Normal rank
@@ Property / cites work @@
+Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs
+Normal rank
@@ Property / cites work @@
+Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
+Normal rank
@@ Property / cites work @@
+On the complexity of choosing the branching literal in DPLL
+Normal rank
@@ Property / cites work @@
+Abstract Answer Set Solvers
@@ Property / cites work: Abstract Answer Set Solvers / rank @@
+Normal rank
@@ Property / cites work @@
+Q4702576
@@ Property / cites work: Q4702576 / rank @@
+Normal rank
@@ Property / cites work @@
+ASSAT: computing answer sets of a logic program by SAT solvers
+Normal rank
@@ Property / cites work @@
+Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers
+Normal rank
@@ Property / cites work @@
+Q4256671
@@ Property / cites work: Q4256671 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4273952
@@ Property / cites work: Q4273952 / rank @@
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2003
+Normal rank
@@ Property / cites work @@
+Logic programs with stable model semantics as a constraint programming paradigm
+Normal rank
@@ Property / cites work @@
+Q5490663
@@ Property / cites work: Q5490663 / rank @@
+Normal rank
@@ Property / cites work @@
+Extending and implementing the stable model semantics
+Normal rank
@@ Property / cites work @@
+Q4473043
@@ Property / cites work: Q4473043 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank