POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Differential logic programming
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Constraint-based termination analysis of logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Logic programming and knowledge representation-the A-prolog perspective
Artificial Intelligence
Building a knowledge base: an example
Annals of Mathematics and Artificial Intelligence
Practical methods for proving termination of general logic programs
Journal of Artificial Intelligence Research
A methodology for proving termination of general logic programs
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.01 |