On relation between constraint answer set programming and satisfiability modulo theories (Q4593096): Difference between revisions

@@ Property / describes a project that uses @@
+SWI-Prolog
@@ Property / describes a project that uses: SWI-Prolog / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SICStus
@@ Property / describes a project that uses: SICStus / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Smodels
@@ Property / describes a project that uses: Smodels / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+B-Prolog
@@ Property / describes a project that uses: B-Prolog / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.07461
@@ Property / arXiv ID: 1702.07461 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3089162
@@ Property / cites work: Q3089162 / rank @@
+Normal rank
@@ Property / cites work @@
+ASP with non-herbrand partial functions: a language and system for practical use
+Normal rank
@@ Property / cites work @@
+Answer Set Programming Modulo Acyclicity
@@ Property / cites work: Answer Set Programming Modulo Acyclicity / rank @@
+Normal rank
@@ Property / cites work @@
+Computable Functions in ASP: Theory and Implementation
+Normal rank
@@ Property / cites work @@
+Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions
+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 @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736516
@@ Property / cites work: Q4736516 / 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 @@
+SAT Modulo Graphs: Acyclicity
@@ Property / cites work: SAT Modulo Graphs: Acyclicity / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint Answer Set Solving
@@ Property / cites work: Constraint Answer Set Solving / rank @@
+Normal rank
@@ Property / cites work @@
+Relating constraint answer set programming languages and algorithms
+Normal rank
@@ Property / cites work @@
+Nested expressions in logic programs
@@ Property / cites work: Nested expressions in logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4254883
@@ Property / cites work: Q4254883 / rank @@
+Normal rank
@@ Property / cites work @@
+Integrating answer set programming and constraint logic programming
+Normal rank
@@ Property / cites work @@
+Stable models and difference logic
@@ Property / cites work: Stable models and difference logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734950
@@ Property / cites work: Q2734950 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+SWI-Prolog
@@ Property / cites work: SWI-Prolog / rank @@
+Normal rank
@@ Property / cites work @@
+The language features and architecture of B-Prolog
+Normal rank
@@ Property / OpenAlex ID @@
+W2593721831
@@ Property / OpenAlex ID: W2593721831 / rank @@
+Normal rank