Unification factoring for efficient execution of logic programs
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Principles and practice of unification factoring
ACM Transactions on Programming Languages and Systems (TOPLAS)
Single Elementary Associative-Commutative Matching
Journal of Automated Reasoning
ELAN from a rewriting logic point of view
Theoretical Computer Science - Rewriting logic and its applications
Algorithms, Datastructures, and other Issues in Efficient Automated Deduction
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Handbook of automated reasoning
Journal of Functional Programming
Compile the Hypothesis Space: Do it Once, Use it Often
Fundamenta Informaticae - Progress on Multi-Relational Data Mining
Global Storing Mechanisms for Tabled Evaluation
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
Relational Models for Tabling Logic Programs in a Database
Applications of Declarative Programming and Knowledge Management
A Term-Based Global Trie for Tabled Logic Programs
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Experiments with associative-commutative discrimination nets
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Automated reasoning: past story and new trends
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
ILP'07 Proceedings of the 17th international conference on Inductive logic programming
On the implementation of the probabilistic logic programming language problog
Theory and Practice of Logic Programming
AC completion with termination tools
CADE'11 Proceedings of the 23rd international conference on Automated deduction
A subterm-based global trie for tabled evaluation of logic programs
EPIA'11 Proceedings of the 15th Portugese conference on Progress in artificial intelligence
Compact lists for tabled evaluation
PADL'10 Proceedings of the 12th international conference on Practical Aspects of Declarative Languages
A provably correct compiler for efficient model checking of mobile processes
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
Compilation techniques for associative-commutative normalisation
Algebraic'97 Proceedings of the 2nd international conference on Theory and Practice of Algebraic Specifications
Compile the Hypothesis Space: Do it Once, Use it Often
Fundamenta Informaticae - Progress on Multi-Relational Data Mining
| Hi-index | 0.00 |