@techreport{77ad4468cfde47ffbae34dd1f3a458f0,
title = "An Extension of Defeasible Prolog",
abstract = "Defeasible Prolog is a Prolog metainterpreter designed by Nute to implement nonmonotonic inference based on a defeasible logic. In this paper it is first shown how to give proof conditions for even-if conditions of Nute{\textquoteright}s defeasible logic that allow also the preemption of defeaters. These conditions are then implemented to the defeasible Prolog. Finally, some computational results are presented for the given examples.",
author = "Ahti Pietarinen",
year = "1998",
month = jan,
language = "English",
series = "The tenth White House papers: Graduate research in the cognitive and computing sciences at Sussex",
publisher = "University of Sussex",
pages = "1--7",
type = "WorkingPaper",
institution = "University of Sussex",
}