Translating default logic into standard autoepistemic logic
Journal of the ACM (JACM)
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
On the relation between truth maintenance and autoepistemic logic
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Abductive framework for nonmonotonic theory change
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Fundamenta Informaticae
| Hi-index | 0.01 |