Research Catalog

Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings

Title
Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings / K.H. Bläsius, U. Hedtstück, C.-R. Rollinger, eds.
Publication
Berlin ; New York : Springer-Verlag, ©1990.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
Book/TextUse in library Q334 .S632 1990Off-site

Details

Additional Authors
  • Bläsius, K. H. (Karl Hans)
  • Hedtstück, U. (Ulrich), 1951-
  • Rollinger, Claus-Rainer.
  • IBM Deutschland.
Description
viii, 307 pages : illustrations; 25 cm.
Summary
"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."--Publisher's website.
Series Statement
Lecture notes in computer science ; 418. Lecture notes in artificial intelligence
Uniform Title
  • Lecture notes in computer science ; 418.
  • Lecture notes in computer science. Lecture notes in artificial intelligence
Subject
  • Artificial intelligence > Congresses
  • Logic, Symbolic and mathematical > Congresses
  • Sorting (Electronic computers) > Congresses
  • Abstract data types (Computer science) > Congresses
  • Artificial Intelligence > Congresses
  • Abstract data types (Computer science)
  • Artificial intelligence
  • Logic, Symbolic and mathematical
  • Sorting (Electronic computers)
  • Datentyp
  • Künstliche Intelligenz
  • Mehrsortige Prädikatenlogik
  • Prädikatenlogik
  • Sorte Logik
  • Sortierverfahren
  • Kongress
  • ARTIFICIAL INTELLIGENCE
  • LOGIC PROGRAMMING
  • MATHEMATICAL LOGIC
  • CLASSIFYING
  • DATA
  • CONFERENCES
  • Intelligence artificielle > Congrès
  • Sorte (Logik)
  • Datentyp
  • Kongress
Genre/Form
Conference papers and proceedings.
Note
  • "Workshop held in Geseke, West Germany ... sponsored and organized by IBM Germany"--Introduction.
Bibliography (note)
  • Includes bibliographical references.
Contents
Introduction -- Sorts and Types in Logic, Theorem Proving and Logic Programming -- Sorts and Types in Knowledge Representation Including Qualitative Reasoning -- Sorts and Types in Natural Language (Understanding) Systems -- List of Contributors.
ISBN
  • 0387523367
  • 9780387523361
  • 3540523367
  • 9783540523369
  • 0387523375
  • 9780387523378
  • 3540523375
  • 9783540523376
LCCN
90009872
OCLC
  • ocm21600816
  • 21600816
  • SCSB-9149250
Owning Institutions
Princeton University Library