Skip to main content
SpringerLink
Log in

Constructing more relevant models

  • Posters
  • Conference paper
  • First Online:
Concurrency and Parallelism, Programming, Networking, and Security (ASIAN 1996)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1179))

Included in the following conference series:

  • 111 Accesses

Abstract

We show that by incorporating availability checking into model generation approach for first-order theorem proving, we can construct more relevant models, thereby further restricting forward chaining.

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. J.W. Lloyd, ‘Foundations of Logic Programming', 2nd edn, Springer-Verlag, Heidelberg, 1987.

    Google Scholar 

  2. D.W. Ramsay, ‘Generating Relevant Models', Journal of Automated Reasoning, 7: 359–368, 1991.

    Article  MathSciNet  Google Scholar 

  3. R. Manthey and F. Bry, 'sATCHMO: a theorem prover implemented in Prolog', Proceedings of 9th Conference on Automated Deduction, 1988.

    Google Scholar 

  4. D.W. Loveland, D.W. Reed and D.S. Wilson, ‘SATCHMORE: SATCHMO with RElevancy', Journal of Automated Reasoning, 14: 325–351, 1995.

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Nagoya Institute of Technology, 466, Nagoya, Japan

    Lifeng He, Yuka Simajiri, Hirohisa Seki & Hidenori Itoh

  2. Nagoya University, 464-01, Nogoya, Japan

    Yuyan Chao

Authors
  1. Lifeng He
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yuyan Chao
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Yuka Simajiri
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Hirohisa Seki
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Hidenori Itoh
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Joxan Jaffar Roland H. C. Yap

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

He, L., Chao, Y., Simajiri, Y., Seki, H., Itoh, H. (1996). Constructing more relevant models. In: Jaffar, J., Yap, R.H.C. (eds) Concurrency and Parallelism, Programming, Networking, and Security. ASIAN 1996. Lecture Notes in Computer Science, vol 1179. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0027811

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-62031-0

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation