Author
Bernhard Anrig
results may include different authors with the same name
1 papers
In this paper we present a transformation of finite propositional default theories into so-called propositional argumentation systems. This transformation allows to characterize all notions of Reiter's default logic in the framework of…