Loop formulas for circumscription (Q2457644): Difference between revisions

@@ Property / describes a project that uses @@
+ASSAT
@@ Property / describes a project that uses: ASSAT / 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 / full work available at URL @@
+https://doi.org/10.1016/j.artint.2005.09.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2123741728
@@ Property / OpenAlex ID: W2123741728 / 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 @@
+Q4413371
@@ Property / cites work: Q4413371 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing circumscription revisited: A reduction algorithm
+Normal rank
@@ Property / cites work @@
+Tight logic programs
@@ Property / cites work: Tight logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic causal theories
@@ Property / cites work: Nonmonotonic causal theories / rank @@
+Normal rank
@@ Property / cites work @@
+Answer set programming based on propositional satisfiability
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / 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 @@
+Why are there so many loop formulas?
@@ Property / cites work: Why are there so many loop formulas? / rank @@
+Normal rank
@@ Property / cites work @@
+Nested expressions in logic programs
@@ Property / cites work: Nested expressions in logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734935
@@ Property / cites work: Q2734935 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4514010
@@ Property / cites work: Q4514010 / rank @@
+Normal rank
@@ Property / cites work @@
+On the logic of causal explanation
@@ Property / cites work: On the logic of causal explanation / rank @@
+Normal rank
@@ Property / cites work @@
+On strongest necessary and weakest sufficient conditions
+Normal rank
@@ Property / cites work @@
+Q4434175
@@ Property / cites work: Q4434175 / rank @@
+Normal rank
@@ Property / cites work @@
+Circumscription - a form of non-monotonic reasoning
+Normal rank
@@ Property / cites work @@
+Q4002238
@@ Property / cites work: Q4002238 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2457644