Some computational aspects of circumscription
Journal of the ACM (JACM)
Paraconsistent Circumscription: First-Order Case
ISMVL '95 Proceedings of the 25th International Symposium on Multiple-Valued Logic
Preduction: a common form of induction and analogy
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
The logic of inheritance in frame systems
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Circumscription and definability
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |