Reformulating Action Language $\mathcal{C}$ + in Answer Set Programming (Q2900536): Difference between revisions

@@ Property / cites work @@
+Nonmonotonic causal theories
@@ Property / cites work: Nonmonotonic causal theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+Representing first-order causal theories by logic programs
+Normal rank
@@ Property / cites work @@
+Q2909140
@@ Property / cites work: Q2909140 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Extending and implementing the stable model semantics
+Normal rank
@@ Property / cites work @@
+Stable models and circumscription
@@ Property / cites work: Stable models and circumscription / rank @@
+Normal rank