Year: 2000
2000
[5] Resource Guided Concurrent Deduction (Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge), In Proceedings of the AISB'2000 Symposium `How to design a functioning mind', pp. 137-138, 2000. ((Mildly reviewed)) [bibtex] [pdf]
[4] Adaptive Course Generation and Presentation (Jörg Siekmann, Christoph Benzmüller, Armin Fiedler, Andreas Franke, George Goguadze, Helmut Horacek, Michael Kohlhase, Paul Libbrecht, Andreas Meier, Erica Melis, Martin Pollet, Volker Sorge, Carsten Ullrich, Jürgen Zimmer), In Proceedings of the Fifth International Conference on Intelligent Tutoring Systems---Workshop W2: Adaptive and Intelligent Web-Based Education Systems (P. Brusilovski, ed.), pp. 54-61, 2000. [bibtex] [pdf]
[3] Towards Learning new Methods in Proof Planning (Mateja Jamnik, Manfred Kerber, Christoph Benzmüller), Technical report, University of Birmingham, School of Computer Science, number CSRP-00-09, pp. 1-16, 2000. [bibtex] [pdf]
[2] Towards Learning New Methods in Proof Planning (Mateja Jamnik, Manfred Kerber, Christoph Benzmüller), In Symbolic Computation and Automated Reasoning (Manfred Kerber, Michael Kohlhase, eds.), A.K.Peters, pp. 142-159, 2000. [bibtex] [pdf]
[1] Resource Guided Concurrent Deduction (Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge), In Symbolic Computation and Automated Reasoning (Manfred Kerber, Michael Kohlhase, eds.), A.K.Peters, pp. 245-246, 2000. [bibtex] [pdf]
Powered by bibtexbrowser