research
∙
08/16/2011
Origins of Answer-Set Programming - Some Background And Two Personal Accounts
We discuss the evolution of aspects of nonmonotonic reasoning towards th...
research
∙
08/16/2011
Reiter's Default Logic Is a Logic of Autoepistemic Reasoning And a Good One, Too
A fact apparently not observed earlier in the literature of nonmonotonic...
research
∙
05/11/2002
Ultimate approximations in nonmonotonic knowledge representation systems
We study fixpoints of operators on lattices. To this end we introduce th...
research
∙
02/03/2000
Uniform semantic treatment of default and autoepistemic logics
We revisit the issue of connections between two leading formalisms in no...
research
∙
09/18/1998