Shortest path by approximation in logic programs
ACM Letters on Programming Languages and Systems (LOPLAS)
A procedural semantics for stratified database updates
Annals of Mathematics and Artificial Intelligence
Implementation of Tabled Evaluation with Delaying in Prolog
IEEE Transactions on Knowledge and Data Engineering
Implementation of a Linear Tabling Mechanism
PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages
On applying program transformation to implement suspension-based tabling in prolog
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Foundations of rule-based query answering
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
Hi-index | 0.00 |