Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Chandrabose Aravindan. An abductive framework for negation in disjunctive logic programming. In J. J. Alferes, L. M. Pereira, and E. Orlowska, editors, Proceedings of Joint European workshop on Logics in AI, number 1126 in Lecture Notes in Artificial Intelligence, pages 252–267. Springer-Verlag, 1996. A related report is available on the web from <
http://www.unikoblenz.de/~arvind/papers/
>.
2. Peter Baumgartner and Ulrich Furbach. PROTEIN: A PROver with a Theory Extension I nterface. In A. Bundy, editor, Automated Deduction-CADE-12, volume 814 of Lecture Notes in Artificial Intelligence, pages 769–773. Springer, 1994. Available in the WWW, URL:
http://www.uni-koblenz.de/ag-ki/Systems/PROTEIN/
.
3. Peter Baumgartner and Ulrich Furbach. Calculi for Disjunctive Logic Programming. In Jan Maluszynski, editor, Logic Programming-Proceedings of the 1997 International Symposium, Port Jefferson, New York, 1997. The MIT Press.
4. Peter Baumgartner, Ulrich Furbach, and Ilkka Niemelä. Hyper Tableaux. In Proc. JELIA 96, number 1126 in Lecture Notes in Artificial Intelligence. European Workshop on Logic in AI, Springer, 1996.
5. Peter Baumgartner, Ulrich Furbach, and Frieder Stolzenburg. Computing Answers with Model Elimination. Artificial Intelligence, 90(1–2):135–176, 1997.