A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
N-sorted logic for automatic theorem-proving in higher-order logic
ACM '72 Proceedings of the ACM annual conference - Volume 1
An extension of a first-order language and its applications (many-sorted logic, distributed database design, resolution, automatic theorem proving, horizontal partitioning)
A theoretical framework for consistency techniques in logic programming
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
| Hi-index | 0.00 |