The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Christoph Benzmüller: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Christoph Benzmüller, Quoc Bao Vo
    Mathematical Domain Reasoning Tasks in Natural Language Tutorial Dialog on Proofs. [Citation Graph (0, 0)][DBLP]
    AAAI, 2005, pp:516-522 [Conf]
  2. Christoph Benzmüller, Volker Sorge
    A Blackboard Architecture for Guiding Interactive Proofs. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1998, pp:102-114 [Conf]
  3. Christoph Benzmüller, Andreas Meier, Volker Sorge
    Bridging Theorem Proving and Mathematical Knowledge Retrieval. [Citation Graph (0, 0)][DBLP]
    Mechanizing Mathematical Reasoning, 2005, pp:277-296 [Conf]
  4. Christoph Benzmüller
    Extensional Higher-Order Paramodulation and RUE-Resolution. [Citation Graph (0, 0)][DBLP]
    CADE, 1999, pp:399-413 [Conf]
  5. Christoph Benzmüller, Chad E. Brown, Michael Kohlhase
    Cut-Simulation in Impredicative Logics. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2006, pp:220-234 [Conf]
  6. Christoph Benzmüller, Michael Kohlhase
    Extensional Higher-Order Resolution. [Citation Graph (0, 0)][DBLP]
    CADE, 1998, pp:56-71 [Conf]
  7. Christoph Benzmüller, Michael Kohlhase
    System Description: LEO - A Higher-Order Theorem Prover. [Citation Graph (0, 0)][DBLP]
    CADE, 1998, pp:139-144 [Conf]
  8. Christoph Benzmüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Wolf Schaarschmidt, Jörg H. Siekmann, Volker Sorge
    Omega: Towards a Mathematical Assistant. [Citation Graph (0, 0)][DBLP]
    CADE, 1997, pp:252-255 [Conf]
  9. Jörg H. Siekmann, Christoph Benzmüller, Vladimir Brezhnev, Lassaad Cheikhrouhou, Armin Fiedler, Andreas Franke, Helmut Horacek, Michael Kohlhase, Andreas Meier, Erica Melis, Markus Moschner, Immanuel Normann, Martin Pollet, Volker Sorge, Carsten Ullrich, Claus-Peter Wirth, Jürgen Zimmer
    Proof Development with OMEGA. [Citation Graph (0, 0)][DBLP]
    CADE, 2002, pp:144-149 [Conf]
  10. Christoph Benzmüller, Volker Sorge
    Critical Agents Supporting Interactive Theorem Proving. [Citation Graph (0, 0)][DBLP]
    EPIA, 1999, pp:208-221 [Conf]
  11. Quoc Bao Vo, Christoph Benzmüller, Serge Autexier
    Assertion Application in Theorem Proving and Proof Planning. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2003, pp:1343-0 [Conf]
  12. Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge
    Experiments with an Agent-Oriented Reasoning System. [Citation Graph (0, 0)][DBLP]
    KI/ÖGAI, 2001, pp:409-424 [Conf]
  13. Jörg H. Siekmann, Christoph Benzmüller
    Omega: Computer Supported Mathematics. [Citation Graph (0, 0)][DBLP]
    KI, 2004, pp:3-28 [Conf]
  14. Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber
    Can a Higher-Order and a First-Order Theorem Prover Cooperate?. [Citation Graph (0, 0)][DBLP]
    LPAR, 2004, pp:415-431 [Conf]
  15. Jörg H. Siekmann, Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet
    Proof Development with Omega-MEGA: sqrt(2) Is Irrational. [Citation Graph (0, 0)][DBLP]
    LPAR, 2002, pp:367-387 [Conf]
  16. Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Andreas Meier, Claus-Peter Wirth
    A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity. [Citation Graph (0, 0)][DBLP]
    MKM, 2005, pp:126-142 [Conf]
  17. Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet, Jörg H. Siekmann
    Omega. [Citation Graph (0, 0)][DBLP]
    The Seventeen Provers of the World, 2006, pp:127-141 [Conf]
  18. Christoph Benzmüller, Chad E. Brown
    A Structured Set of Higher-Order Problems. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2005, pp:66-81 [Conf]
  19. Christoph Benzmüller, Helmut Horacek, Ivana Kruijff-Korbayová, Manfred Pinkal, Jörg H. Siekmann, Magdalena Wolska
    Natural Language Dialog with a Tutor System for Mathematical Proofs. [Citation Graph (0, 0)][DBLP]
    Cognitive Systems, 2005, pp:1-14 [Conf]
  20. Serge Autexier, Christoph Benzmüller, Armin Fiedler, Helmut Horacek, Quoc Bao Vo
    Assertion-level Proof Representation with Under-Specification. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:93, n:, pp:5-23 [Journal]
  21. Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge
    Agent based mathematical reasoning. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:23, n:3, pp:- [Journal]
  22. Malte Hübner, Serge Autexier, Christoph Benzmüller, Andreas Meier
    Interactive Theorem Proving with Tasks. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:103, n:, pp:161-181 [Journal]
  23. Marc Wagner, Serge Autexier, Christoph Benzmüller
    PlatOmega: A Mediator between Text-Editors and Proof Assistance Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:2, pp:87-107 [Journal]
  24. Serge Autexier, Christoph Benzmüller
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:2, pp:1-2 [Journal]
  25. Jörg H. Siekmann, Stephan M. Hess, Christoph Benzmüller, Lassaad Cheikhrouhou, Armin Fiedler, Helmut Horacek, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Martin Pollet, Volker Sorge
    L<Omega>UI: Lovely <Omega>MEGA User Interface. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1999, v:11, n:3, pp:326-342 [Journal]
  26. Mateja Jamnik, Manfred Kerber, Martin Pollet, Christoph Benzmüller
    Automatic Learning of Proof Methods in Proof Planning. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2003, v:11, n:6, pp:647-673 [Journal]
  27. Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier
    Computer supported mathematics with Omegamega. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2006, v:4, n:4, pp:533-559 [Journal]
  28. Christoph Benzmüller
    Towards computer aided mathematics. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2006, v:4, n:4, pp:359-365 [Journal]
  29. Christoph Benzmüller, Matthew Bishop, Volker Sorge
    Integrating Tps and Omega. [Citation Graph (0, 0)][DBLP]
    J. UCS, 1999, v:5, n:3, pp:188-207 [Journal]
  30. Mark Buckley, Christoph Benzmüller
    An Agent-Based Architecture for Dialogue Systems. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2006, pp:135-147 [Conf]
  31. Christoph Benzmüller, Dominik Dietrich, Marvin Schiller, Serge Autexier
    Deep Inference for Automated Proof Tutoring? [Citation Graph (0, 0)][DBLP]
    KI, 2007, pp:435-439 [Conf]
  32. Christoph Benzmüller, Helmut Horacek, Ivana Kruijff-Korbayová, Henri Lesourd, Marvin Schiller, Magdalena Wolska
    DiaWOz-II - A Tool for Wizard-of-Oz Experiments in Mathematics. [Citation Graph (0, 0)][DBLP]
    KI, 2006, pp:159-173 [Conf]
  33. Christoph Benzmüller, John Harrison, Carsten Schürmann
    LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL) [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]

  34. Granularity-Adaptive Proof Presentation. [Citation Graph (, )][DBLP]


  35. THF0 - The Core of the TPTP Language for Higher-Order Logic. [Citation Graph (, )][DBLP]


  36. LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description). [Citation Graph (, )][DBLP]


  37. Evaluation of Systems for Higher-order Logic (ESHOL). [Citation Graph (, )][DBLP]


  38. Progress in the Development of Automated Theorem Proving for Higher-Order Logic. [Citation Graph (, )][DBLP]


  39. Combining Logics in Simple Type Theory. [Citation Graph (, )][DBLP]


  40. Presenting Proofs with Adapted Granularity. [Citation Graph (, )][DBLP]


  41. Automating Access Control Logics in Simple Type Theory with LEO-II. [Citation Graph (, )][DBLP]


  42. Proof Granularity as an Empirical Problem? [Citation Graph (, )][DBLP]


  43. A remark on higher order RUE-resolution with EXTRUE [Citation Graph (, )][DBLP]


  44. Automating Access Control Logics in Simple Type Theory with LEO-II (Techreport) [Citation Graph (, )][DBLP]


  45. Resource Adaptive Agents in Interactive Theorem Proving [Citation Graph (, )][DBLP]


  46. Cut-Simulation and Impredicativity [Citation Graph (, )][DBLP]


  47. Lectures on Jacques Herbrand as a Logician [Citation Graph (, )][DBLP]


  48. Granularity-Adaptive Proof Presentation [Citation Graph (, )][DBLP]


  49. Quantified Multimodal Logics in Simple Type Theory [Citation Graph (, )][DBLP]


  50. Preface. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002