A contraction core for Horn belief change preliminary report
Richard Booth Thomas Meyer; Renata Wassermann; Non-Monotonic Reasoning 2010: International Workshop on Non-Monotonic Reasoning - NMR (13. 2010 Toronto)
Proceedings Toronto : SFU, 2010Toronto SFU 2010
Localização: IME - Inst. Matemática e Estatística (PROD-1832114 ) e outros locais(Acessar)