Uniform semantic treatment of default and autoepistemic logics (0)

by M Denecker, V W Marek, M Truszczynski
Venue:Artif. Intell