Uniform semantic treatment of default and autoepistemic logics (0)

by M Denecker, V W Marek, M Truszczyński
Venue:Artificial Intelligence