Termination and Confluence by Rule Prioritization
IEEE Transactions on Knowledge and Data Engineering
External sources of knowledge and value invention in logic programming
Annals of Mathematics and Artificial Intelligence
Decidable fragments of logic programming with value invention
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Hi-index | 0.00 |