Annotated defeasible logic (Q4592709): Difference between revisions

@@ Property / cites work @@
+Defeasible logic versus Logic Programming without Negation as Failure
+Normal rank
@@ Property / cites work @@
+On the correctness of unfold/fold transformation of normal and extended logic programs
+Normal rank
@@ Property / cites work @@
+An inclusion theorem for defeasible logics
@@ Property / cites work: An inclusion theorem for defeasible logics / rank @@
+Normal rank
@@ Property / cites work @@
+On the equivalence between logic programming semantics and argumentation semantics
+Normal rank
@@ Property / cites work @@
+On the partial semantics for disjunctive deductive databases
+Normal rank
@@ Property / cites work @@
+A kripke-kleene semantics for logic programs*
@@ Property / cites work: A kripke-kleene semantics for logic programs* / rank @@
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+Argumentation Semantics for Defeasible Logic
@@ Property / cites work: Argumentation Semantics for Defeasible Logic / rank @@
+Normal rank
@@ Property / cites work @@
+The rationale behind the concept of goal
@@ Property / cites work: The rationale behind the concept of goal / rank @@
+Normal rank
@@ Property / cites work @@
+Negation in logic programming
@@ Property / cites work: Negation in logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767055
@@ Property / cites work: Q2767055 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional defeasible logic has linear complexity
+Normal rank
@@ Property / cites work @@
+Relative expressiveness of defeasible logics
@@ Property / cites work: Relative expressiveness of defeasible logics / rank @@
+Normal rank
@@ Property / cites work @@
+Relative expressiveness of defeasible logics II
@@ Property / cites work: Relative expressiveness of defeasible logics II / rank @@
+Normal rank
@@ Property / cites work @@
+Modelling and Analysing Qualitative Biological Models using Rewriting Logic
+Normal rank
@@ Property / cites work @@
+Interdefinability of defeasible logic and logic programming under the well-founded semantics
+Normal rank
@@ Property / cites work @@
+Well-founded semantics for defeasible logic
@@ Property / cites work: Well-founded semantics for defeasible logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3486858
@@ Property / cites work: Q3486858 / rank @@
+Normal rank
@@ Property / cites work @@
+DefLog: on the Logical Interpretation of Prima Facie Justified Assumptions
+Normal rank
@@ Property / cites work @@
+Logic Programming with Defaults and Argumentation Theories
+Normal rank
@@ Property / cites work @@
+A three-valued semantics for deductive databases and logic programs
+Normal rank