A theory of diagnosis from first principles
Artificial Intelligence
A logical framework for depiction and image interpretation
Artificial Intelligence
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Artificial intelligence and mathematical theory of computation
Knowledge representation
Two Results on Ordering for Resolution with Merging and Linear Format
Journal of the ACM (JACM)
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
On Formalizing Database Updates: Preliminary Report
EDBT '92 Proceedings of the 3rd International Conference on Extending Database Technology: Advances in Database Technology
On Indefinite Databases and the Closed World Assumption
Proceedings of the 6th Conference on Automated Deduction
Hi-index | 0.00 |