Sequent calculi for propositional nonmonotonic logics
ACM Transactions on Computational Logic (TOCL)
Resolution for Skeptical Stable Model Semantics
Journal of Automated Reasoning
Computation of Stable Models and Its Integration with Logical Query Processing
IEEE Transactions on Knowledge and Data Engineering
Experiments in Parallel Execution of Answer Set Programs
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Construction and Optimization of a Parallel Engine for Answer Set Programming
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Integrating the Completion and the Well Founded Semantics
IBERAMIA '98 Proceedings of the 6th Ibero-American Conference on AI: Progress in Artificial Intelligence
Applications of intuitionistic logic in Answer Set Programming
Theory and Practice of Logic Programming
Issues in parallel execution of non-monotonic reasoning systems
Parallel Computing
Hi-index | 0.00 |