On the sequential nature of unification
Journal of Logic Programming
Logic for problem-solving
The society of mind
The early years of logic programming
Communications of the ACM
The craft of Prolog
Essentials of logic programming
Essentials of logic programming
A Mechanical Proof Procedure and its Realization in an Electronic Computer
Journal of the ACM (JACM)
A Computing Procedure for Quantification Theory
Journal of the ACM (JACM)
Theorem-Proving on the Computer
Journal of the ACM (JACM)
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
Efficiency and Completeness of the Set of Support Strategy in Theorem Proving
Journal of the ACM (JACM)
Mechanical Theorem-Proving by Model Elimination
Journal of the ACM (JACM)
Contributions to the Theory of Logic Programming
Journal of the ACM (JACM)
Parallelism in Logic: Its Potential for Performance and Program Development
Parallelism in Logic: Its Potential for Performance and Program Development
PROLOG Programming for Artificial Intelligence
PROLOG Programming for Artificial Intelligence
Understanding Natural Language
Understanding Natural Language
The complexity of unification.
The complexity of unification.
The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions
The impact of logic programming on databases
Communications of the ACM
A linear programming approach to logical inference
CSC '93 Proceedings of the 1993 ACM conference on Computer science
Logic and Artificial Intelligence: Divorced, Still Married, Separated...?
Minds and Machines
The Automation of Proof: A Historical and Sociological Exploration
IEEE Annals of the History of Computing
A Proof Strategy Based on a Dual Representation
AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
The Early Search for Tractable Ways of Reasoning about Programs
IEEE Annals of the History of Computing
How to infer finite session types in a calculus of services and sessions
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Reasoning support for flexible task resourcing
Expert Systems with Applications: An International Journal
Combining semantic web and logic programming for agent reasoning
AAMAS'11 Proceedings of the 10th international conference on Advanced Agent Technology
| Hi-index | 48.24 |