Representing first-order causal theories by logic programs (Q2909525): Difference between revisions

@@ Property / describes a project that uses @@
+f2lp
@@ Property / describes a project that uses: f2lp / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CCalc
@@ Property / describes a project that uses: CCalc / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programs with stable model semantics as a constraint programming paradigm
+Normal rank
@@ Property / cites work @@
+Stable models and circumscription
@@ Property / cites work: Stable models and circumscription / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic causal theories
@@ Property / cites work: Nonmonotonic causal theories / rank @@
+Normal rank
@@ Property / cites work @@
+Specifying norm-governed computational societies
@@ Property / cites work: Specifying norm-governed computational societies / rank @@
+Normal rank
@@ Property / cites work @@
+Representing the Zoo World and the Traffic World in the language of the Causal Calculator
+Normal rank
@@ Property / cites work @@
+Translating First-Order Causal Theories into Answer Set Programming
+Normal rank
@@ Property / cites work @@
+On the logic of causal explanation
@@ Property / cites work: On the logic of causal explanation / rank @@
+Normal rank