Conflict-driven ASP solving with external sources (Q4911141): Difference between revisions

@@ Property / arXiv ID @@
+.1649
@@ Property / arXiv ID: 1210.1649 / rank @@
+Normal rank
@@ Property / cites work @@
+BerkMin: A fast and robust SAT-solver
@@ Property / cites work: BerkMin: A fast and robust SAT-solver / rank @@
+Normal rank
@@ Property / cites work @@
+The DLV system for knowledge representation and reasoning
+Normal rank
@@ Property / cites work @@
+Combining answer set programming with description logics for the semantic web
+Normal rank
@@ Property / cites work @@
+Exploiting conjunctive queries in description logic programs
+Normal rank
@@ Property / cites work @@
+Semantics and complexity of recursive aggregates in answer set programming
+Normal rank
@@ Property / cites work @@
+Extending and implementing the stable model semantics
+Normal rank
@@ Property / cites work @@
+Logic programs with stable model semantics as a constraint programming paradigm
+Normal rank
@@ Property / cites work @@
+ASSAT: computing answer sets of a logic program by SAT solvers
+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 @@
+Answer set programming based on propositional satisfiability
+Normal rank