Rule Calculus: Semantics, Axioms and Applications (Q3532483): Difference between revisions

@@ Property / cites work @@
+Q4028795
@@ Property / cites work: Q4028795 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4799292
@@ Property / cites work: Q4799292 / rank @@
+Normal rank
@@ Property / cites work @@
+General Default Logic
@@ Property / cites work: General Default Logic / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for default reasoning
@@ Property / cites work: A logic for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Yet some more complexity results for default logic
+Normal rank
@@ Property / cites work @@
+Complexity Results for Nonmonotonic Logics
@@ Property / cites work: Complexity Results for Nonmonotonic Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Characterization of strongly equivalent logic programs in intermediate logics
+Normal rank
@@ Property / cites work @@
+Propositional theories are strongly equivalent to logic programs
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Strongly equivalent logic programs
@@ Property / cites work: Strongly equivalent logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342082
@@ Property / cites work: Q4342082 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411161
@@ Property / cites work: Q4411161 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5624681
@@ Property / cites work: Q5624681 / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive Logic Programming: Issues, results and the challenge of Learning Language in Logic
+Normal rank
@@ Property / cites work @@
+Q3995235
@@ Property / cites work: Q3995235 / 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 @@
+Q3624114
@@ Property / cites work: Q3624114 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional entailment: bridging two approaches to default reasoning.
+Normal rank
@@ Property / cites work @@
+Q4343988
@@ Property / cites work: Q4343988 / rank @@
+Normal rank
@@ Property / cites work @@
+A sequent calculus for skeptical Default Logic
@@ Property / cites work: A sequent calculus for skeptical Default Logic / rank @@
+Normal rank