Analytic Tableaux and Database Repairs: Foundations
FoIKS '02 Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems
New Generation Systems for Non-monotonic Reasoning
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
On Bottom-Up Pre-processing Techniques for Automated Default Reasoning
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Comparing a Pair-Wise Compatibility Heuristic and Relaxed Stratification: Some Preliminary Results
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Database Repairs and Analytic Tableaux
Annals of Mathematics and Artificial Intelligence
A semantic framework for preference handling in answer set programming
Theory and Practice of Logic Programming
Where fail-safe default logics fail
ACM Transactions on Computational Logic (TOCL)
Computation of Extensions of Seminormal Default Theories
Fundamenta Informaticae
Hi-index | 0.00 |