Resolution for Skeptical Stable Model Semantics
Journal of Automated Reasoning
Prototypes for Reasoning with Infinite Stable Models and Function Symbols
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Reasoning with Open Logic Programs
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Hi-index | 0.01 |