Modal nonmonotonic logics: ranges, characterization, computation
Journal of the ACM (JACM)
Translating default logic into standard autoepistemic logic
Journal of the ACM (JACM)
Logical considerations on default semantics
Annals of Mathematics and Artificial Intelligence
Modal logic S4F and the minimal knowledge paradigm
TARK '92 Proceedings of the 4th conference on Theoretical aspects of reasoning about knowledge
Hi-index | 0.00 |