Autoepistemic logic (1991)

by W Marek, M Truszczynski
Venue:MT93] [MT94a] [MT94b] [MT95] [MT99