Some computational aspects of circumscription
Journal of the ACM (JACM)
General Preferential Entailments as Circumscriptions
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Smallest Equivalent Sets for Finite Propositional Formula Circumscription
CL '00 Proceedings of the First International Conference on Computational Logic
Relating default logic and circumscription
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |