Embedding defeasible logic into logic programming
Grigoris Antoniou, David Perkins Billington, Guido Governatori, Michael J. Maher · Theory and Practice of Logic Programming · 2006
Defeasible reasoning is a simple but efficient approach to nonmonotonic reasoning that has recently attracted considerable interest and that has found various applications. Defeasible logic and its variants are an important family of defeasible reasoning methods. So far no relationship has been established between defeasible logic and mainstream nonmonotonic reasoning approaches. In this paper we establish close links to known semantics of logic programs. In particular, we give a translation of a defeasible theory , instead.