Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs (Q3546042): Difference between revisions

@@ Property / cites work @@
+Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs
+Normal rank
@@ Property / cites work @@
+TOAST: Applying Answer Set Programming to Superoptimisation
+Normal rank
@@ Property / cites work @@
+Knowledge Representation, Reasoning and Declarative Problem Solving
+Normal rank
@@ Property / cites work @@
+Extending and implementing the stable model semantics
+Normal rank
@@ Property / cites work @@
+Structuring logic programs: a modal approach
@@ Property / cites work: Structuring logic programs: a modal approach / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programming and knowledge representation---The A-Prolog perspective
+Normal rank
@@ Property / cites work @@
+Building a knowledge base: An example
@@ Property / cites work: Building a knowledge base: An example / 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 @@
+Modularity in smodels Programs
@@ Property / cites work: Modularity in smodels Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programs with stable model semantics as a constraint programming paradigm
+Normal rank
@@ Property / cites work @@
+Transformations of CLP modules
@@ Property / cites work: Transformations of CLP modules / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal phylogenetic networks and logic programming
+Normal rank
@@ Property / cites work @@
+A logical analysis of modules in logic programming
+Normal rank
@@ Property / cites work @@
+Autoepistemic logic
@@ Property / cites work: Autoepistemic logic / rank @@
+Normal rank