Skip to main content
SpringerLink
Log in

EUODHILOS: A general reasoning system for a variety of logics

  • System Descriptions
  • Conference paper
  • First Online:
Logic Programming and Automated Reasoning (LPAR 1992)

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

Abstract

The basic functional features and system implementation of EUODHILOS: A general reasoning system for a variety of logics are outlined.

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

References

  1. H. Sawamura, T. Minami, K. Yokota and K. Ohashi: A Logic Programming Approach to Specifying Logics and Constructing Proofs, Proc. of the Seventh International Conference on Logic Programming, edited by D. H. D. Warren and P. Szeredi, The MTT Press, pp. 405–424, 1990.

    Google Scholar 

  2. Ohashi, K., Yokota, K., Minami, T., Sawamura, H. and Ohtani, T.: An automatic generation of a parser and an unparser in the definite clause grammar, Transactions of Information Processing Society of Japan, Vol. 31, No. 11, pp. 1616–1626, 1990 (in Japanese).

    Google Scholar 

  3. H. Sawamura, T. Minami and R. K. Meyer: Representing a Logic in EUODHILOS, IIAS-RR-92, Fujitsu Lab., 1992 (in preparation).

    Google Scholar 

  4. H. Sawamura, T. Minami and K. Ohashi: Proof Methods based on Sheet of Thought in EUODHILOS, IIAS-RR-92, Fujitsu Lab., 1992.

    Google Scholar 

  5. H. Sawamura, T. Minami, T. Ohtani, K. Yokota and K. Ohashi: A Collection of Logical systems and Proofs Implemented in Euodhilos I, IIAS-RR-91-13E, Fujitsu Lab., 1991.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fujitsu Laboratories Ltd., 140 Miyamoto, Numazu, 410-03, Shizuoka, Japan

    Hajime Sawamura, Toshiro Minami & Kyoko Ohashi

Authors
  1. Hajime Sawamura
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Toshiro Minami
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Kyoko Ohashi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Andrei Voronkov

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Sawamura, H., Minami, T., Ohashi, K. (1992). EUODHILOS: A general reasoning system for a variety of logics. In: Voronkov, A. (eds) Logic Programming and Automated Reasoning. LPAR 1992. Lecture Notes in Computer Science, vol 624. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013101

Download citation

  • DOI: https://doi.org/10.1007/BFb0013101

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55727-2

  • Online ISBN: 978-3-540-47279-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation