Foundations of logic programming
Foundations of logic programming
A Simplified Format for the Model Elimination Theorem-Proving Procedure
Journal of the ACM (JACM)
An Implementation of the Model Elimination Proof Procedure
Journal of the ACM (JACM)
Gracefully adding negation and disjunction to Prolog
Proceedings of the Third International Conference on Logic Programming
Logic programming with general clauses and defaults based on model elimination
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Application of theorem proving to problem solving
IJCAI'69 Proceedings of the 1st international joint conference on Artificial intelligence
| Hi-index | 0.00 |