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

Frederick Maier

We provide a method of translating theories of Nute's defeasible logic into logic programs, and a corresponding translation in the opposite direction. Under certain natural restric…