Online Action Language $$o\mathcal {BC}$$+ (Q3449194): Difference between revisions

@@ Property / cites work @@
+Reactive Answer Set Programming
@@ Property / cites work: Reactive Answer Set Programming / 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 @@
+Online Action Language $$o\mathcal {BC}$$+
@@ Property / cites work: Online Action Language $$o\mathcal {BC}$$+ / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic causal theories
@@ Property / cites work: Nonmonotonic causal theories / rank @@
+Normal rank
@@ Property / cites work @@
+Module theorem for the general theory of stable models
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank