Year: 2001
2001
[13] Proof transformation and expansion with a parameterisable inference machine. (Christoph Benzmüller, Andreas Meier, Martin Pollet, Volker Sorge), In Proceedings of the Eighth Workshop on Automated Reasoning, Bridging the Gap between Theory and Practice, University of York, pp. 1-2, 2001. ((Mildly reviewed)) [bibtex] [pdf]
[12] Learning proof methods in proof planning (Mateja Jamnik, Manfred Kerber, Christoph Benzmüller), In Proceedings of the Eighth Workshop on Automated Reasoning, Bridging the Gap between Theory and Practice, University of York, pp. 5-6, 2001. ((Mildly reviewed)) [bibtex] [pdf]
[11] Towards Learning New Methods in Proof Planning (Mateja Jamnik, Manfred Kerber, Christoph Benzmüller), In Proceedings of the CADE-17 Workshop: Automated Deduction in the Context of Mathematics, pp. 1-12, 2001. [bibtex] [pdf]
[10] Distributed Assertion Retrieval (Christoph Benzmüller, Andreas Meier, Volker Sorge), In First International Workshop on Mathematical Knowledge Management, pp. 1-7, 2001. (slides) [bibtex] [pdf]
[9] A Lost Proof (Christoph Benzmüller, Manfred Kerber), In Proceedings of the IJCAR 2001 Workshop: Future Directions in Automated Reasoning, pp. 13-24, 2001. [bibtex] [pdf]
[8] Proof Planning: A Fresh Start? (Christoph Benzmüller, Andreas Meier, Erica Melis, Martin Pollet, Volker Sorge), In Proceedings of the IJCAR 2001 Workshop: Future Directions in Automated Reasoning, pp. 25-37, 2001. [bibtex] [pdf]
[7] An Agent-oriented Approach to Reasoning (Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge), In Proceedings of the Calculemus Workshop 2001, pp. 48-63, 2001. [bibtex] [pdf]
[6] An Agent Based Approach to Reasoning (Christoph Benzmüller), In Extended abstract for invited plenary talk at AISB'01 Convention `Agents and Cognition, University of York, pp. 57-58, 2001. (slides) [bibtex] [pdf]
[5] OMEGA: Ressourcenadaptive Beweisplanung (Jörg Siekmann, Christoph Benzmüller, Erica Melis), pp. 1-30, 2001. (Project proposal in the Collaborative Research Centre SFB 378 on Resource-adaptive Cognitive Processes) [bibtex] [pdf]
[4] DIALOG: Tutorieller Dialog mit einem Mathematik Assistenzsystem (Manfred Pinkal, Jörg Siekmann, Christoph Benzmüller), pp. 1-34, 2001. (Project proposal in the Collaborative Research Centre SFB 378 on Resource-adaptive Cognitive Processes) [bibtex] [pdf]
[3] Learning Method Outlines in Proof Planning (Mateja Jamnik, Manfred Kerber, Christoph Benzmüller), Technical report, University of Birmingham, School of Computer Science, number CSRP-01-08, pp. 1-15, 2001. [bibtex] [pdf]
[2] OANTS -- Combining Interactive and Automated Theorem Proving (Christoph Benzmüller, Volker Sorge), In Symbolic Computation and Automated Reasoning (Manfred Kerber, Michael Kohlhase, eds.), A.K.Peters, pp. 81-97, 2001. (slides) [bibtex] [pdf]
[1] Experiments with an Agent-oriented Reasoning system (Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge), In KI 2001: Advances in Artificial Intelligence, Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings (Franz Baader, Gerhard Brewka, Thomas Eiter, eds.), Springer, LNCS, number 2174, pp. 409-424, 2001. (slides) [bibtex] [pdf] [doi]
Powered by bibtexbrowser