6 found
Order:
  1.  12
    Combined Reasoning by Automated Cooperation.Christoph Benzmüller, Volker Sorge, Mateja Jamnik & Manfred Kerber - 2008 - Journal of Applied Logic 6 (3):318-342.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  11
    Agent Based Mathematical Reasoning.Christoph Benzmüller, Mateja Jamnik, Manfred Kerber & Volker Sorge - 1999 - Electronic Notes in Theoretical Computer Science, Elsevier 23 (3):21-33.
    In this contribution we propose an agent architecture for theorem proving which we intend to investigate in depth in the future. The work reported in this paper is in an early state, and by no means finished. We present and discuss our proposal in order to get feedback from the Calculemus community.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  1
    Computational Logic — Cl 2000: First International Conference London, Uk, July 24–28, 2000 Proceedings.John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luis M. Pereira, Yehoshua Sagiv & Peter J. Stuckey - 2000 - Springer Verlag.
    These are the proceedings of the First International Conference on Compu- tional Logic which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspects of the theory, implementation, and application of computational logic, where computational logic is to be understood broadly as the use of logic in computer science. The conference was collocated with the following events: { 6th International Conference on Rules and Objects in Databases { 10th International (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  29
    Reasoning Without Believing: On the Mechanisation of Presuppositions and Partiality.Manfred Kerber & Michael Kohlhase - 2012 - Journal of Applied Non-Classical Logics 22 (4):295 - 317.
    (2012). Reasoning without believing: on the mechanisation of presuppositions and partiality. Journal of Applied Non-Classical Logics: Vol. 22, No. 4, pp. 295-317. doi: 10.1080/11663081.2012.705962.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  9
    Model-Guided Proof Planning.Seungyeob Choi & Manfred Kerber - 2002 - In L. Magnani, N. J. Nersessian & C. Pizzi (eds.), Logical and Computational Aspects of Model-Based Reasoning. Kluwer Academic Publishers. pp. 143--162.
  6.  23
    Automatic Learning of Proof Methods in Proof Planning.Mateja Jamnik, Manfred Kerber, Martin Pollet & Christoph Benzmüller - 2003 - Logic Journal of the IGPL 11 (6):647-673.
    In this paper we present an approach to automated learning within mathematical reasoning systems. In particular, the approach enables proof planning systems to automatically learn new proof methods from well-chosen examples of proofs which use a similar reasoning pattern to prove related theorems. Our approach consists of an abstract representation for methods and a machine learning technique which can learn methods using this representation formalism. We present an implementation of the approach within the ΩMEGA proof planning system, which we call (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation