Year: 1999
1999
[14] Agent Based Mathematical Reasoning (Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge), In Proceedings of the Calculemus Workshop: Systems for Integrated Computation and Deduction, pp. 1-12, 1999. (slides) [bibtex] [pdf]
[13] Towards Fine-Grained Proof Planning with Critical Agents (Christoph Benzmüller, Volker Sorge), In Proceedings of the 6th Workshop on Automated Reasoning, Edinburgh College of Art & Divison of Informatics, University of Edinburgh, pp. 19-20, 1999. ((Mildly reviewed)) [bibtex] [pdf]
[12] Equality and Extensionality in Higher-Order Theorem Proving (Christoph Benzmüller), PhD thesis, Naturwissenschaftlich-Technische Fakultät I, Saarland University, Saarbrücken, Germany, pp. 1-174, 1999. [bibtex] [pdf]
[11] Resource Adaptive Agents in Interactive Theorem Proving (Christoph Benzmüller, Volker Sorge), SEKI Publications (ISSN 1437-4447), number SR-99-02, pp. 1-13, 1999. [bibtex] [pdf]
[10] Forschungsinteressen am Graduiertenkolleg Kognitionswissenschaft (Christoph Benzmüller), pp. 1-17, 1999. (Draft, AG Siekmann, Saarland University) [bibtex] [pdf]
[9] OANTS for Interactive ATP (Christoph Benzmüller, Volker Sorge, John Byrnes), pp. 1-5, 1999. (Draft, AG Siekmann, Saarland University) [bibtex] [pdf]
[8] Equality and Extensionality in Higher-Order Theorem Proving (Christoph Benzmüller), Technical report, Saarland University, SEKI Publications (ISSN 1437-4447), number SR-99-08, pp. 1-139, 1999. [bibtex] [pdf]
[7] Towards Concurrent Resource Guided Deduction (Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge), Technical report, Saarland University, SEKI Publications (ISSN 1437-4447), number SR-99-07, pp. 1-27, 1999. [bibtex] [pdf]
[6] 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]
[5] An Interactive Proof Development Environment + Anticipation = A Mathematical Assistant? (Jörg Siekmann, Helmut Horacek, Michael Kohlhase, Christoph Benzmüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Stephan Hess, Karsten Konrad, Andreas Meier, Erica Melis, Volker Sorge), In International Journal of Computing Anticipatory Systems (CASYS), volume 3, pp. 101-110, 1999. [bibtex] [pdf]
[4] LOUI: Lovely OMEGA User Interface (Jörg Siekmann, Stephan Hess, Christoph Benzmüller, Lassaad Cheikhrouhou, Armin Fiedler, Helmut Horacek, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Martin Pollet, Volker Sorge), In Formal Aspects of Computing, volume 11, number 3, pp. 326-342, 1999. [bibtex] [pdf] [doi]
[3] Integrating TPS and OMEGA (Christoph Benzmüller, Matt Bishop, Volker Sorge), In Journal of Universal Computer Science, volume 5, number 3, pp. 188-207, 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]
[1] Extensional Higher-Order Paramodulation and RUE-Resolution (Christoph Benzmüller), In Automated Deduction - CADE-16, 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings (Harald Ganzinger, ed.), Springer, LNCS, number 1632, pp. 399-413, 1999. (slides) [bibtex] [pdf] [doi]
Powered by bibtexbrowser