Torsten Schaub;Michael Thielscher
-;-
Resolution for Skeptical Stable Model Semantics
Journal of Automated Reasoning
Learning Default Theories
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty