A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
An on-line question-answering systems with natural language and pictorial input
ACM '68 Proceedings of the 1968 23rd ACM national conference
Interpreting descriptions in a prolog-based knowledge representation system
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
Hi-index | 0.00 |