On abstract modular inference systems and solvers (Q286083): Difference between revisions

@@ Property / cites work @@
+Q3089162
@@ Property / cites work: Q3089162 / rank @@
+Normal rank
@@ Property / cites work @@
+Splitting on Demand in SAT Modulo Theories
@@ Property / cites work: Splitting on Demand in SAT Modulo Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q5282970
@@ Property / cites work: Q5282970 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5480653
@@ Property / cites work: Q5480653 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular Nonmonotonic Logic Programming Revisited
@@ Property / cites work: Modular Nonmonotonic Logic Programming Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+A Tarskian Informal Semantics for Answer Set Programming
+Normal rank
@@ Property / cites work @@
+Abstract conflict driven learning
@@ Property / cites work: Abstract conflict driven learning / rank @@
+Normal rank
@@ Property / cites work @@
+Predicate-calculus-based logics for modeling and solving search problems
+Normal rank
@@ Property / cites work @@
+Conflict-driven ASP solving with external sources
@@ Property / cites work: Conflict-driven ASP solving with external sources / rank @@
+Normal rank
@@ Property / cites work @@
+The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems
+Normal rank
@@ Property / cites work @@
+Solution Enumeration for Projected Boolean Search Problems
+Normal rank
@@ Property / cites work @@
+Conflict-driven answer set solving: from theory to practice
+Normal rank
@@ Property / cites work @@
+Constraint Answer Set Solving
@@ Property / cites work: Constraint Answer Set Solving / 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 @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+On the relation among answer set solvers
@@ Property / cites work: On the relation among answer set solvers / rank @@
+Normal rank
@@ Property / cites work @@
+Answer set programming based on propositional satisfiability
+Normal rank
@@ Property / cites work @@
+Q3184604
@@ Property / cites work: Q3184604 / rank @@
+Normal rank
@@ Property / cites work @@
+Modularity Aspects of Disjunctive Stable Models
@@ Property / cites work: Modularity Aspects of Disjunctive Stable Models / rank @@
+Normal rank
@@ Property / cites work @@
+A Module-Based Framework for Multi-language Constraint Modeling
+Normal rank
@@ Property / cites work @@
+Abstract answer set solvers with backjumping and learning
+Normal rank
@@ Property / cites work @@
+Relating constraint answer set programming languages and algorithms
+Normal rank
@@ Property / cites work @@
+Strongly equivalent logic programs
@@ Property / cites work: Strongly equivalent logic programs / rank @@
+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 @@
+Integrating answer set programming and constraint logic programming
+Normal rank
@@ Property / cites work @@
+Logic programs with stable model semantics as a constraint programming paradigm
+Normal rank
@@ Property / cites work @@
+Q2734950
@@ Property / cites work: Q2734950 / 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 @@
+Extending and implementing the stable model semantics
+Normal rank
@@ Property / cites work @@
+A Semantic Account for Modularity in Multi-language Modelling of Search Problems
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank