Contributions

  • Bläsius, K. H. - Contributor
  • Hedtstück, U. 1951- - Contributor
  • Rollinger, Claus-Rainer. - Contributor
  • IBM Deutschland. - Contributor

Publication

1990 - Springer-Verlag, Berlin, Germany

Language

English

Word Count

76,750 words, Guess

Page Count

307 pages

Identifiers

  • ISBN-100387523367
  • ISBN-103540523367
  • ISBN-139780387523361
  • ISBN-139783540523369
  • LibraryThing7101382
and 3 more
  • Goodreads4863163', '4374929
  • Library of Congress Control Number90009872
  • Open LibraryOL1857630M

Classifications

  • DDC006.3
  • LCCQ334 .S632 1990

Description

"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.

Subjects

Series Statement

  • Lecture notes in computer science ;
  • 418.
  • Lecture notes in artificial intelligence

Other Editions

  • Sorts and types in artificial intelligenceSpringer-Verlag1990

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!