Skip to main content
SpringerLink
Log in

Planning diagonalization proofs

  • Posters
  • Conference paper
  • First Online:
KI-97: Advances in Artificial Intelligence (KI 1997)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1303))

Included in the following conference series:

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. C. Benzmüller, L. Cheikhrouhou, D. Fehrer, A. Fiedler, X. Huang, M. Kerber, M. Kohlhase, K. Konrad, E. Melis, A. Meier, W. Schaarschmidt, J. Siekmann, and V. Sorge. ΩMega: Towards a Mathematical Assistant. In William McCune, editor, Proceedings of the 14th Conference on Automated Deduction, LNAI, Townsville, Australia, 1997. Springer Verlag.

    Google Scholar 

  2. Alan Bundy. A Science of Reasoning. In Computational Logic: Essays in honor of Alan Robinson. MIT Press, 1991. also presented at the 10th CADE 1990 as extended abstract.

    Google Scholar 

  3. Lassaad Cheikhrouhou. The Mechanization of the Diagonalization Proof Strategy. SEKI Report SR-96-14, Fachbereich Informatik, Universität des Saarlandes, Im Stadtwald, Saarbrücken, Germany, 1996.

    Google Scholar 

  4. Lassaad Cheikhrouhou. Planning Diagonalization Proofs. SEKI Report SR-97-06, Fachbereich Informatik, Universität des Saarlandes, Im Stadtwald, Saarbrücken, Germany, 1997.

    Google Scholar 

  5. Martin D. Davis, Ron Sigal, and Elaine J. Weyuker. Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science. Academic Press, second edition, 1994.

    Google Scholar 

  6. Xiaorong Huang, Manfred Kerber, Jörn Richts, and Arthur Sehn. Planning Mathematical Proofs with Methods. Journal of Information Processing and Cybernetics, EIK, 30(5-6):277–291, 1994.

    Google Scholar 

  7. I. Kraan, D. Basin, and A. Bundy. Middle-Out Reasoning for Program Synthesis. In P. Szeredi, editor, Proceedings of the 10-th International Conference on Logic Programming. MIT Press, 1993.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fachbereich Informatik, Universität des Saarlandes, D-66041, Saarbrücken, Germany

    Lassaad Cheikhrouhou

Authors
  1. Lassaad Cheikhrouhou
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Gerhard Brewka Christopher Habel Bernhard Nebel

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cheikhrouhou, L. (1997). Planning diagonalization proofs. In: Brewka, G., Habel, C., Nebel, B. (eds) KI-97: Advances in Artificial Intelligence. KI 1997. Lecture Notes in Computer Science, vol 1303. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3540634932_31

Download citation

  • DOI: https://doi.org/10.1007/3540634932_31

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63493-5

  • Online ISBN: 978-3-540-69582-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation