Publications/Manuscripts of Serge Autexier
2010
[24] OMEGA: Resource-Adaptive Processes in an Automated Reasoning Systems (Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Jörg Siekmann), Chapter in Resource-Adaptive Cognitive Processes (Matthew W. Crocker, Jörg Siekmann, eds.), Springer, Cognitive Technologies, pp. 389-423, 2010. ((Final project report, DFG SFB 378)) [bibtex] [pdf] [doi]
2009
[23] Lectures on Jacques Herbrand as a Logician (Claus-Peter Wirth, Jörg Siekmann, Christoph Benzmüller, Serge Autexier), SEKI Publications (ISSN 1437-4447), 2009. (arXiv:0902.4682) [bibtex] [pdf]
[22] Preface: Proceedings of the 8th Workshop on User Interfaces for Theorem Provers (UITP 2008) (Serge Autexier, Christoph Benzmüller), In Electronic Notes in Theoretical Computer Science, volume 226, number 1, pp. 1-2, 2009. [bibtex] [pdf] [doi]
[21] Jacques Herbrand: Life, Logic, and Automated Deduction (Claus-Peter Wirth, Jörg Siekmann, Christoph Benzmüller, Serge Autexier), Chapter in Handbook of the History of Logic, Volume 5 -- Logic from Russell to Church (Dov Gabbay, John Woods, eds.), Elsevier, 2009. [bibtex] [pdf] [doi]
2008
[20] OMEGA: Agent-oriented Proof Planning (Jörg Siekmann, Serge Autexier, Christoph Benzmüller), pp. 1-19, 2008. (Project report in the Collaborative Research Centre SFB 378 on Resource-adaptive Cognitive Processes) [bibtex] [pdf]
[19] Organisation, Transformation, and Propagation of Mathematical Knowledge in Omega (Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Marc Wagner), In Mathematics in Computer Science, volume 2, number 2, pp. 253-277, 2008. [bibtex] [pdf] [doi]
2007
[18] Preface: Proceedings of the 7th Workshop on User Interfaces for Theorem Provers (UITP 2006) (Serge Autexier, Christoph Benzmüller), In Electronic Notes in Theoretical Computer Science, volume 174, number 2, pp. 1-2, 2007. [bibtex] [pdf] [doi]
[17] PLATO: A Mediator between Text-Editors and Proof Assistance Systems (Marc Wagner, Serge Autexier, Christoph Benzmüller), In Electronic Notes in Theoretical Computer Science, volume 174, number 2, pp. 87-107, 2007. [bibtex] [pdf] [doi]
[16] Deep Inference for Automated Proof Tutoring? (Christoph Benzmüller, Dominik Dietrich, Marvin Schiller, Serge Autexier), In KI 2007: Advances in Artificial Intelligence, 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10-13, 2007, Proceedings (Joachim Hertzberg, Michael Beetz, Roman Englert, eds.), Springer, volume 4667, pp. 435-439, 2007. [bibtex] [pdf] [doi]
2006
[15] Computer Supported Mathematics with OMEGA (Jörg Siekmann, Christoph Benzmüller, Serge Autexier), In Journal of Applied Logic, volume 4, number 4, pp. 533-559, 2006. [bibtex] [pdf] [doi]
[14] A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity (Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Andreas Meier, Claus-Peter Wirth), In Mathematical Knowledge Management, 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers (Michael Kohlhase, ed.), Springer, LNCS, volume 3863, pp. 126-142, 2006. [bibtex] [pdf] [doi]
2005
[13] Integrating Proof Assistants as Reasoning and Verification Tools into a Scientific WYSIWYG Editor (Serge Autexier, Christoph Benzmüller, Armin Fiedler, Henri Lesourd), 2005. (This article was formally accepted for the UITP'05 post-proceedings in ENTCS; this volume did not appear though.) [bibtex] [pdf]
2004
[12] Interactive Theorem Proving with Tasks (Malte Hübner, Serge Autexier, Christoph Benzmüller, Andreas Meier), In Electronic Notes in Theoretical Computer Science, volume 103, number C, pp. 161-181, 2004. [bibtex] [pdf] [doi]
[11] VERMATH: Distributed Mathematical Problem Solving (Serge Autexier, Christoph Benzmüller, Michael Kohlhase, Jörg Siekmann), pp. 1-22, 2004. (DFG research grant proposal) [bibtex] [pdf]
[10] OMEGA: Agent-oriented Proof Planning (Jörg Siekmann, Christoph Benzmüller, Serge Autexier), pp. 1-26, 2004. (Project proposal in the Collaborative Research Centre SFB 378 on Resource-adaptive Cognitive Processes) [bibtex] [pdf]
[9] Assertion-level Proof Representation with Under-Specification (Serge Autexier, Christoph Benzmüller, Armin Fiedler, Helmut Horacek, Bao Quoc Vo), In Electronic Notes in Theoretical Computer Science, volume 93, pp. 5-23, 2004. [bibtex] [pdf] [doi]
2003
[8] OMEGA --- From Proof Planning towards Mathematical Knowledge Management (Serge Autexier, Christoph Benzmüller), In Mathematical Knowledge Management Symposium, 2003. (slides) [bibtex] [pdf]
[7] Interactive Proof Construction at the Task Level (Malte Hübner, Christoph Benzmüller, Serge Autexier, Andreas Meier), In Proceedings of the Workshop User Interfaces for Theorem Provers (UITP 2003), ARACNE EDITRICE S.R.L. (ISBN 88-7999-545-6), pp. 81-100, 2003. (Also available as: Technical Report No. 189, Institut für Informatik, Albert-Ludwig-Universität, Freiburg) [bibtex] [pdf]
[6] Assertion Application in Theorem Proving and Proof Planning (Bao Quoc Vo, Christoph Benzmüller, Serge Autexier), In Proceedings of the 10th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice, 2003. [bibtex] [pdf]
[5] Towards a Framework to Integrate Proof Search Paradigms (Serge Autexier, Christoph Benzmüller, Dieter Hutter), SEKI Publications (ISSN 1437-4447), number SR-03-02, 2003. [bibtex] [pdf]
[4] An Approach to Assertion Application via Generalized Resolution (Bao Quoc Vo, Christoph Benzmüller, Serge Autexier), SEKI Publications (ISSN 1437-4447), number SR-03-01, 2003. [bibtex] [pdf]
[3] Assertion Application in Theorem Proving and Proof Planning (Quoc Bao Vo, Christoph Benzmüller, Serge Autexier), In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI) (G. Gottlob, T. Walsh, eds.), 2003. (poster) (ISBN 0-127-05661-0) [bibtex] [pdf]
2002
[2] Agent-based Proof Search with Indexed Formulas (Malte Hübner, Serge Autexier, Christoph Benzmüller), In Additonal Proceedings of 10th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (CALCULEMUS 2002), pp. 11-20, 2002. (slides) [bibtex] [pdf]
1992
[1] Das Fallbeispiel `UNIX' --- Dokumentation einer UNIX-Filesystem-Spezifikation mit OWEB (Serge Autexier, Christoph Benzmüller, Ramses A. Heckler), Technical report, Saarland University, SEKI Publications (ISSN 1437-4447), number WP 92/36, 1992. [bibtex] [pdf]
Powered by bibtexbrowser