Interdefinability of defeasible logic and logic programming under the well-founded semantics (Q2845124): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Defeasible Logic is Stable
@@ Property / cites work: Defeasible Logic is Stable / rank @@
+Normal rank
@@ Property / cites work @@
+Dualities between alternative semantics for logic programming and nonmonotonic reasoning
+Normal rank
@@ Property / cites work @@
+Embedding defeasible logic into logic programming
@@ Property / cites work: Embedding defeasible logic into logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Representation results for defeasible logic
@@ Property / cites work: Representation results for defeasible logic / rank @@
+Normal rank
@@ Property / cites work @@
+Defeasible reasoning: A discussion of some intuitions
+Normal rank
@@ Property / cites work @@
+Floating conclusions and zombie paths: Two deep difficulties in the ``directly skeptical'' approach to defeasible inheritance nets
+Normal rank
@@ Property / cites work @@
+Ambiguity Propagating Defeasible Logic and 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 @@
+Negation in logic programming
@@ Property / cites work: Negation in logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+A skeptical theory of inheritance in nonmonotonic semantic networks
+Normal rank
@@ Property / cites work @@
+Argumentation Semantics for Defeasible Logic
@@ Property / cites work: Argumentation Semantics for Defeasible Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional plausible logic: Introduction and implementation
+Normal rank
@@ Property / cites work @@
+Propositional Clausal Defeasible Logic
@@ Property / cites work: Propositional Clausal Defeasible Logic / rank @@
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+The Semantics of Predicate Logic as a Programming Language
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+A logic for default reasoning
@@ Property / cites work: A logic for default reasoning / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s147106841100041x
+Normal rank
@@ Property / OpenAlex ID @@
+W2963571216
@@ Property / OpenAlex ID: W2963571216 / rank @@
+Normal rank