Keywords: Agents
2016
[18] Is it Reasonable to Employ Agents in Theorem Proving? (Max Wisniewski, Christoph Benzmüller), In Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016) -- Volume 1, pages 281-286 (Jan van den Heerik, Joaquim Filipe, eds.), SCITEPRESS -- Science and Technology Publications, Lda, volume 1, pp. 281-286, 2016. [bibtex] [pdf] [doi]
2015
[17] LeoPARD - A Generic Platform for the Implementation of Higher-Order Reasoners (Max Wisniewski, Alexander Steen, Christoph Benzmüller), In Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings (Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge, eds.), Springer, LNCS, volume 9150, pp. 325--330, 2015. [bibtex] [pdf] [doi]
2010
[16] 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]
2008
[15] Combined Reasoning by Automated Cooperation (Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber), In Journal of Applied Logic, volume 6, number 3, pp. 318-342, 2008. [bibtex] [pdf] [doi]
2007
[14] An Agent-based Architecture for Dialogue Systems (Mark Buckley, Christoph Benzmüller), In Perspectives of Systems Informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers (Irina Virbitskaite, Andrei Voronkov, eds.), Springer, LNCS, volume 4378, pp. 135-147, 2007. [bibtex] [pdf] [doi]
2006
[13] 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]
2005
[12] System Description: A Dialog Manager supporting Tutorial Natural Language Dialogue on Proofs (Mark Buckley, Christoph Benzmüller), In Proceedings of the ETAPS Satellite Workshop on User Interfaces for Theorem Provers (UITP), pp. 40-67, 2005. [bibtex] [pdf]
[11] System Description: A Dialog Manager supporting Tutorial Natural Language Dialogue on Proofs (Mark Buckley, Christoph Benzmüller), 2005. (This article was formally accepted for the UITP'05 post-proceedings in ENTCS; this volume did not appear though.) [bibtex] [pdf]
2004
[10] 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]
[9] A Dialogue Manager for the DIALOG Demonstrator (Mark Buckley, Christoph Benzmüller), SEKI Publications (ISSN 1437-4447), number SR-04-01, 2004. [bibtex] [pdf]
2003
[8] Automatic Learning of Proof Methods in Proof Planning (Mateja Jamnik, Manfred Kerber, Martin Pollet, Christoph Benzmüller), In The Logic Journal of the IGPL, volume 11, number 6, pp. 647-674, 2003. [bibtex] [pdf] [doi]
2001
[7] 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]
[6] 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]
[5] 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]
2000
[4] 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]
1999
[3] Agent based Mathematical Reasoning (Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge), In Electronic Notes in Theoretical Computer Science, Elsevier, volume 23, number 3, pp. 21-33, 1999. [bibtex] [pdf] [doi]
[2] Critical Agents Supporting Interactive Theorem Proving (Christoph Benzmüller, Volker Sorge), In Progress in Artificial Intelligence, 9th Portuguese Conference on Artificial Intelligence, EPIA '99, Évora, Portugal, September 21-24, 1999, Proceedings (Pedro Borahona, Jose J. Alferes, eds.), Springer, LNCS, number 1695, pp. 208-221, 1999. (slides) [bibtex] [pdf] [doi]
1998
[1] A Blackboard Architecture for Guiding Interactive Proofs (Christoph Benzmüller, Volker Sorge), In Artificial Intelligence: Methodology, Systems, and Applications, 8th International Conference, AIMSA '98, Sozopol, Bulgaria, September 21-13, 1998, Proceedings (Fausto Giunchiglia, ed.), Springer, LNCS, number 1480, pp. 102-114, 1998. [bibtex] [pdf] [doi]
Powered by bibtexbrowser