ACM Transactions on Programming Languages and Systems (TOPLAS)
Approximating the Semantics of Logic Programs by Recurrent Neural Networks
Applied Intelligence
Nonmonotonic Logic Programming
IEEE Transactions on Knowledge and Data Engineering
Characterizations of Classes of Programs by Three-Valued Operators
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Generalized metrics and uniquely determined logic programs
Theoretical Computer Science - Topology in computer science
Properties of Input-Consuming Derivations
Theory and Practice of Logic Programming
A uniform approach to logic programming semantics
Theory and Practice of Logic Programming
Quasi-Metrics And The Semantics Of Logic Programs
Fundamenta Informaticae
Hi-index | 5.23 |