Non-Clausal Reasoning with Definite Theories
Fundamenta Informaticae
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Resolution with Order and Selection for Hybrid Logics
Journal of Automated Reasoning
Temporal representation and reasoning in artificial intelligence: A review
Mathematical and Computer Modelling: An International Journal
Non-Clausal Reasoning with Definite Theories
Fundamenta Informaticae
Hi-index | 0.00 |