Perspectives on database theory
ACM SIGACT News
An abstract machine for tabled execution of fixed-order stratified logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Programming with non-determinism in deductive databases
Annals of Mathematics and Artificial Intelligence
SLT-Resolution for the Well-Founded Semantics
Journal of Automated Reasoning
Linear Tabulated Resolutions for the Well-Founded Semantics
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Linear tabulated resolution based on Prolog control strategy
Theory and Practice of Logic Programming
Reasoning with recursive loops under the PLP framework
ACM Transactions on Computational Logic (TOCL)
Deriving a stationary dynamic bayesian network from a logic program with recursive loops
ILP'05 Proceedings of the 15th international conference on Inductive Logic Programming
| Hi-index | 0.00 |