T. Linke and T. Schaub. On bottom-up pre-processing techniques for automated default reasoning. In A. Hunter and S. Parsons, editors, Proceedings of the Fifth European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, pages 268--278. Springer Verlag, 1999. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Alternative foundations for Reiter's default logic - Linke, Schaub (2000) (3 citations) Self-citation (Linke Schaub) (Correct)
No context found.
T. Linke and T. Schaub. On bottom-up pre-processing techniques for automated default reasoning. In A. Hunter and S. Parsons, editors, Proceedings of the Fifth European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, pages 268--278. Springer Verlag, 1999.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC