Author:
Baumgartner Peter,Stolzenburg Frieder
Publisher
Springer Berlin Heidelberg
Reference33 articles.
1. Owen L. Astrachan and Mark E. Stickel. Caching and Lemmaizing in Model Elimination Theorem Provers. In D. Kapur, editor, Proceedings of the 11th International Conference on Automated Deduction (CADE-11), pages 224–238. Springer-Verlag, June 1992. LNAI 607.
2. Peter Baumgartner. Refinements of theory model elimination and a variant without contrapositives. Fachberichte Informatik 8/93, Universität Koblenz-Landau, Koblenz, 1993.
3. P. Baumgartner. Refinements of Theory Model Elimination and a Variant without Contrapositives. In A.G. Cohn, editor, 11th European Conference on Artificial Intelligence, ECAI94. Wiley, 1994.
4. Franz Baader, Hans-Jürgen Bürckert, Bernhard Hollunder, Werner Nutt, and Jörg H. Siekmann. Concept logics. Research Report RR-90-10, DFKI, Kaiserslautern, Saarbrücken, September 1990. Also in Proceedings of the Symposium on Computational Logics, Brüssel, Belgium, 1990.
5. Martin Buchheit, Franceso M. Donini, and Andrea Schaerf. Decidable reasoning in terminological knowledge systems. Journal of Artificial Intelligence Research, 1:109–138, 1993.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献