An abstract machine for tabled execution of fixed-order stratified logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Tabling for non-monotonic programming
Annals of Mathematics and Artificial Intelligence
Proceedings of the 17th International Conference on Logic Programming
On a Tabling Engine That Can Exploit Or-Parallelism
Proceedings of the 17th International Conference on Logic Programming
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
Efficient fixpoint computation in linear tabling
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
On applying or-parallelism and tabling to logic programs
Theory and Practice of Logic Programming
On Improving the Efficiency of Deterministic Calls and Answers in Tabled Logic Programs
EPIA '09 Proceedings of the 14th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
On applying program transformation to implement suspension-based tabling in prolog
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Swapping evaluation: A memory-scalable solution for answer-on-demand tabling*
Theory and Practice of Logic Programming
Retroactive subsumption-based tabled evaluation of logic programs
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Dynamic mixed-strategy evaluation of tabled logic programs
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Incremental evaluation of tabled prolog: beyond pure logic programs
PADL'06 Proceedings of the 8th international conference on Practical Aspects of Declarative Languages
An efficient implementation of linear tabling based on dynamic reordering of alternatives
PADL'10 Proceedings of the 12th international conference on Practical Aspects of Declarative Languages
Towards multi-threaded local tabling using a common table space
Theory and Practice of Logic Programming
| Hi-index | 0.00 |