Skip to main content
SpringerLink
Log in

A calculus for order-sorted predicate logic with sort literals

  • I. Sorts And Types In Logic, Theorem Proving And Logic Programming
  • Conference paper
  • First Online:
Sorts and Types in Artificial Intelligence

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

  • 147 Accesses

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. Beierle, U. Hedtstück, U. Pletat, and J. Siekmann. An Order-Sorted Predicate Logic with Closely Coupled Taxonomic Information. To appear.

    Google Scholar 

  2. C. Beierle, J. Dörre, U. Pletat, C. Rollinger, P.H. Schmitt, and R.Studer. The Knowledge Representation Language LLILOG. LILOG-Report 41, IBM Germany, Scientific Center, July 1988.

    Google Scholar 

  3. T. Bollinger, U. Hedtstück, and C.-R. Rollinger. Reasoning in Text Understanding: Knowledge Processing in the LILOG Prototype. LILOG-Report 49, IBM Deutschland, Scientific Center, October 1988.

    Google Scholar 

  4. R.J. Brachman and J.G. Schmolze. An Overview of the KL-ONE Knowledge Representation System. Cognitive Science, 9(2):171–216, April 1985.

    Article  Google Scholar 

  5. A. G. Cohn. A More Expressive Formulation of Many Sorted Logic. Journal of Automated Reasoning, 3:113–200, 1987.

    Article  MATH  MathSciNet  Google Scholar 

  6. J.-M. Glubrecht, A. Oberschelp, and G. Todt. Klassenlogik. BI, Mannheim, Wien, Zürich, 1983.

    MATH  Google Scholar 

  7. J.A. Goguen and J. Meseguer. Remarks on Remarks on Many-Sorted equational Logic. In Bulletin of the EATCS, 1986.

    Google Scholar 

  8. M.E. Stickel. Automated Deduction by Theory Resolution. Journal of Automated Reasoning, 1:333–355, 1985.

    Article  MATH  MathSciNet  Google Scholar 

  9. C. Walther. A Many-Sorted Calculus Based on Resolution and Paramodulation. Research Notes in Artificial Intelligence, Pitman, London, and Morgan Kaufmann, Los Altos, Calif., 1987.

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute for Knowledge Based Systems Project LILOG, IBM Germany Scientific Center, POBox 80 0880, D-7000, Stuttgart 80

    U. Hedtstück

  2. Institute for Logic, Complexity, and Deduction Systems, University of Karlsruhe, POBox 6980, D-7500, Karlsruhe 1

    P. H. Schmitt

Authors
  1. U. Hedtstück
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. P. H. Schmitt
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Karl Hans Bläsius Ulrich Hedtstück Claus-Rainer Rollinger

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hedtstück, U., Schmitt, P.H. (1990). A calculus for order-sorted predicate logic with sort literals. In: Bläsius, K.H., Hedtstück, U., Rollinger, CR. (eds) Sorts and Types in Artificial Intelligence. Lecture Notes in Computer Science, vol 418. Springer, Berlin, Heidelberg . https://doi.org/10.1007/3-540-52337-6_19

Download citation

  • DOI: https://doi.org/10.1007/3-540-52337-6_19

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-52337-6

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation