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

@@ Property / DOI @@
-.1016/j.artint.2016.03.004
@@ Property / DOI: 10.1016/j.artint.2016.03.004 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Clingcon
@@ Property / describes a project that uses: Clingcon / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Smodels
@@ Property / describes a project that uses: Smodels / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2328438203
@@ Property / OpenAlex ID: W2328438203 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.6151
@@ Property / arXiv ID: 1312.6151 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1016/J.ARTINT.2016.03.004
@@ Property / DOI: 10.1016/J.ARTINT.2016.03.004 / rank @@
+Normal rank