Interdefinability of defeasible logic and logic programming under the well-founded semantics

Open in new window