Semantics of templates in a compositional framework for building logics (Q4593008): Difference between revisions

@@ Property / arXiv ID @@
+.06778
@@ Property / arXiv ID: 1507.06778 / rank @@
+Normal rank
@@ Property / cites work @@
+Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming
+Normal rank
@@ Property / cites work @@
+HiLog: A foundation for higher-order logic programming
+Normal rank
@@ Property / cites work @@
+Modular Nonmonotonic Logic Programming Revisited
@@ Property / cites work: Modular Nonmonotonic Logic Programming Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767097
@@ Property / cites work: Q2767097 / rank @@
+Normal rank
@@ Property / cites work @@
+A Tarskian Informal Semantics for Answer Set Programming
+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 @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Well-founded and stable semantics of logic programs with aggregates
+Normal rank
@@ Property / cites work @@
+A Semantic Account for Modularity in Multi-language Modelling of Search Problems
+Normal rank