Relating constraint answer set programming languages and algorithms (Q490456): Difference between revisions

@@ Property / describes a project that uses @@
+Smodels
@@ Property / describes a project that uses: Smodels / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+IDP
@@ Property / describes a project that uses: IDP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Clingcon
@@ Property / describes a project that uses: Clingcon / 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.2013.10.004
+Normal rank
@@ Property / OpenAlex ID @@
+W2089928029
@@ Property / OpenAlex ID: W2089928029 / rank @@
+Normal rank
@@ Property / cites work @@
+Integrating answer set programming and constraint logic programming
+Normal rank
@@ Property / cites work @@
+Constraint Answer Set Solving
@@ Property / cites work: Constraint Answer Set Solving / rank @@
+Normal rank
@@ Property / cites work @@
+ASP modulo CSP: The clingcon system
@@ Property / cites work: ASP modulo CSP: The clingcon system / rank @@
+Normal rank
@@ Property / cites work @@
+Q3089162
@@ Property / cites work: Q3089162 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+A translational approach to constraint answer set solving
+Normal rank
@@ Property / cites work @@
+Q2734950
@@ Property / cites work: Q2734950 / rank @@
+Normal rank
@@ Property / cites work @@
+A machine program for theorem-proving
@@ Property / cites work: A machine program for theorem-proving / rank @@
+Normal rank
@@ Property / cites work @@
+Solving SAT and SAT Modulo Theories
@@ Property / cites work: Solving SAT and SAT Modulo Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Combining Nonmonotonic Knowledge Bases with External Sources
+Normal rank
@@ Property / cites work @@
+Abstract Answer Set Solvers
@@ Property / cites work: Abstract Answer Set Solvers / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract answer set solvers with backjumping and learning
+Normal rank
@@ Property / cites work @@
+Abductive Logic Programming
@@ Property / cites work: Abductive Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Nested expressions in logic programs
@@ Property / cites work: Nested expressions in logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Weight constraints as nested expressions
@@ Property / cites work: Weight constraints as nested expressions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4955343
@@ Property / cites work: Q4955343 / rank @@
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+Stable models and circumscription
@@ Property / cites work: Stable models and circumscription / rank @@
+Normal rank
@@ Property / cites work @@
+Transition systems for model generators—A unifying approach
+Normal rank
@@ Property / cites work @@
+Prolog and ASP Inference under One Roof
@@ Property / cites work: Prolog and ASP Inference under One Roof / rank @@
+Normal rank
@@ Property / cites work @@
+SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions
+Normal rank
@@ Property / cites work @@
+Q5426204
@@ Property / cites work: Q5426204 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:490456