The complexity of propositional closed world reasoning and circumscription
Journal of Computer and System Sciences
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Logical Deduction Using the Local Computation Framework
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
On Stratified Belief Base Compilation
Annals of Mathematics and Artificial Intelligence
Reasoning under minimal upper bounds in propositional logic
Theoretical Computer Science
Consequence-finding based on ordered linear resolution
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Query answering in circumscription
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Transforming prioritized defaults and specificity into parallel defaults
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
| Hi-index | 0.00 |