ACM SIGART Bulletin
Interpolation Theorems for Nonmonotonic Reasoning Systems
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Default Reasoning via Blocking Sets
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Nonmonotonic logics: meaning and utility
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
On the relation between default theories and autoepistemic logic
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
| Hi-index | 0.00 |