Sequent calculi for propositional nonmonotonic logics
ACM Transactions on Computational Logic (TOCL)
Foundations of Secure Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
Nonmonotonic Logic Programming
IEEE Transactions on Knowledge and Data Engineering
Nonmonotonic Inductive Logic Programming
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Hi-index | 0.00 |