Skip to main content
SpringerLink
Log in

Sorts and Types in Artificial Intelligence

Workshop, Eringerfeld, FRG, April 24-26, 1989. Proceedings

  • Conference proceedings
  • © 1990

Overview

Editors:
  1. Karl Hans Bläsius
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ulrich Hedtstück
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Claus-Rainer Rollinger
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

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

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (14 papers)

  1. Front Matter

    Download chapter PDF

  2. Introduction

    • K. H. Bläsius, U. Hedtstück, C. -R. Rollinger
    Pages 1-6

  3. Order sorted predicate logic

    • Arnold Oberschelp
    Pages 7-17

  4. Many-sorted inferences in automated theorem proving

    • Christoph Walther
    Pages 18-48

  5. Tableau calculus for order sorted logic

    • P. H. Schmitt, W. Wernecke
    Pages 49-60

  6. A calculus for order-sorted predicate logic with sort literals

    • U. Hedtstück, P. H. Schmitt
    Pages 61-72

  7. Types, modules and databases in the logic programming language PROTOS-L

    • Christoph Beierle
    Pages 73-110

  8. Representation and reasoning with attributive descriptions

    • Bernhard Nebel, Gert Smolka
    Pages 111-139

  9. Knowledge representation in LILOG

    • Udo Pletat, Kai von Luck
    Pages 140-164

  10. Structure and control of the L-LILOG Inference system

    • K. H. Bläsius, C. -R. Rollinger, J. -H. Siekmann
    Pages 165-182

  11. A general characterization of term description languages

    • Bernd Owsnicki-Klewe
    Pages 183-189

  12. Sorts in qualitative reasoning

    • Werner Dilger, Hans Voß
    Pages 190-207

  13. Eventualities in a natural language understanding system

    • Kurt Eberle
    Pages 208-239

  14. What KL-ONE lookalikes need to cope with natural language

    • Jürgen Allgayer, Carola Reddig-Siekmann
    Pages 240-285

  15. Functor-argument structures for the meaning of natural language sentences and their formal interpretation

    • Bernd Mahr, Carla Umbach
    Pages 286-304

  16. Back Matter

    Download chapter PDF
Back to top

Keywords

About this book

The aim of this book is to reflect the substantial re- search done in Artificial Intelligence on sorts and types. The main contributions come from knowledge representation and theorem proving and important impulses come from the "application areas", i.e. natural language (understanding) systems, computational linguistics, and logic programming. The workshop brought together researchers from logic, theoretical computer science, theorem proving, knowledge representation, linguistics, logic programming and qualitative reasoning.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation