Constraint Answer Set Solving (Q4649733): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-02846-5_22
+Normal rank
@@ Property / OpenAlex ID @@
+W2096621306
@@ Property / OpenAlex ID: W2096621306 / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge Representation, Reasoning and Declarative Problem Solving
+Normal rank
@@ Property / cites work @@
+Answer set based design of knowledge systems
@@ Property / cites work: Answer set based design of knowledge systems / rank @@
+Normal rank
@@ Property / cites work @@
+Detecting Inconsistencies in Large Biological Networks with Answer Set Programming
+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 @@
+Boosting search with variable elimination in constraint optimization and constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Q3184605
@@ Property / cites work: Q3184605 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Integrating Answer Set Reasoning with Constraint Solving Techniques
+Normal rank
@@ Property / cites work @@
+Integrating answer set programming and constraint logic programming
+Normal rank
@@ Property / cites work @@
+Extending and implementing the stable model semantics
+Normal rank
@@ Property / cites work @@
+Conflict-Driven Answer Set Enumeration
@@ Property / cites work: Conflict-Driven Answer Set Enumeration / rank @@
+Normal rank
@@ Property / cites work @@
+External sources of knowledge and value invention in logic programming
+Normal rank