A Semantic Account for Modularity in Multi-language Modelling of Search Problems (Q3172899): Difference between revisions

@@ Property / cites work @@
+Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+A logic of nonmonotone inductive definitions
@@ Property / cites work: A logic of nonmonotone inductive definitions / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Based Program Synthesis and Transformation
@@ Property / cites work: Logic Based Program Synthesis and Transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Essence: A constraint language for specifying combinatorial problems
+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 @@
+On the Complexity of Model Expansion
@@ Property / cites work: On the Complexity of Model Expansion / rank @@
+Normal rank
@@ Property / cites work @@
+Integrating answer set programming and constraint logic programming
+Normal rank