Cumulativity Tailored for Nonmonotonic Reasoning (Q5172609): Difference between revisions

@@ Property / cites work @@
+Cumulative default logic: In defense of nonmonotonic inference rules
+Normal rank
@@ Property / cites work @@
+Q4282550
@@ Property / cites work: Q4282550 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282551
@@ Property / cites work: Q4282551 / rank @@
+Normal rank
@@ Property / cites work @@
+Tableau Calculi for Answer Set Programming
@@ Property / cites work: Tableau Calculi for Answer Set Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Generic Tableaux for Answer Set Programming
@@ Property / cites work: Generic Tableaux for Answer Set Programming / rank @@
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028795
@@ Property / cites work: Q4028795 / rank @@
+Normal rank
@@ Property / cites work @@
+Cumulative default logic: Finite characterization, algorithms, and complexity
+Normal rank
@@ Property / cites work @@
+Removing Redundancy from Answer Set Programs
@@ Property / cites work: Removing Redundancy from Answer Set Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282608
@@ Property / cites work: Q4282608 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic reasoning, preferential models and cumulative logics
+Normal rank
@@ Property / cites work @@
+Strongly equivalent logic programs
@@ Property / cites work: Strongly equivalent logic programs / 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 @@
+Q4273952
@@ Property / cites work: Q4273952 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical considerations on nonmonotonic logic
@@ Property / cites work: Semantical considerations on nonmonotonic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Equilibrium logic
@@ Property / cites work: Equilibrium 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 @@
+Q4955343
@@ Property / cites work: Q4955343 / rank @@
+Normal rank
@@ Property / cites work @@
+Extending and implementing the stable model semantics
+Normal rank
@@ Property / cites work @@
+Q4799292
@@ Property / cites work: Q4799292 / rank @@
+Normal rank
@@ Property / cites work @@
+Strong equivalence made easy: nested expressions and weight constraints
+Normal rank