A calculus for order-sorted predicate logic with sort literals

  • U. Hedtstück
  • P. H. Schmitt
I. Sorts And Types In Logic, Theorem Proving And Logic Programming
Part of the Lecture Notes in Computer Science book series (LNCS, volume 418)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Beierle et al., To appear]
    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. [Beierle et al., 1988]
    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. [Bollinger et al., 1988]
    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. [Brachman and Schmolze, 1985]
    R.J. Brachman and J.G. Schmolze. An Overview of the KL-ONE Knowledge Representation System. Cognitive Science, 9(2):171–216, April 1985.CrossRefGoogle Scholar
  5. [Cohn, 1987]
    A. G. Cohn. A More Expressive Formulation of Many Sorted Logic. Journal of Automated Reasoning, 3:113–200, 1987.MATHMathSciNetCrossRefGoogle Scholar
  6. [Glubrecht et al., 1983]
    J.-M. Glubrecht, A. Oberschelp, and G. Todt. Klassenlogik. BI, Mannheim, Wien, Zürich, 1983.MATHGoogle Scholar
  7. [Goguen and Meseguer, 1986]
    J.A. Goguen and J. Meseguer. Remarks on Remarks on Many-Sorted equational Logic. In Bulletin of the EATCS, 1986.Google Scholar
  8. [Stickel, 1985]
    M.E. Stickel. Automated Deduction by Theory Resolution. Journal of Automated Reasoning, 1:333–355, 1985.MATHMathSciNetCrossRefGoogle Scholar
  9. [Walther, 1987]
    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.MATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • U. Hedtstück
    • 1
  • P. H. Schmitt
    • 2
  1. 1.Institute for Knowledge Based Systems Project LILOGIBM Germany Scientific CenterStuttgart 80
  2. 2.Institute for Logic, Complexity, and Deduction SystemsUniversity of KarlsruheKarlsruhe 1

Personalised recommendations