Belief, Knowledge, Revisions, and a Semantics of Non-Monotonic Reasoning
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
ACM Transactions on Computational Logic (TOCL)
Logic programming with default, weak and strict negations
Theory and Practice of Logic Programming
Hi-index | 0.00 |