Sorts and Types in Artificial Intelligence: Workshop, Eringerfeld, FRG, April 24-26, 1989. Proceedings by Karl H. BläsiusSorts and Types in Artificial Intelligence: Workshop, Eringerfeld, FRG, April 24-26, 1989. Proceedings by Karl H. Bläsius

Sorts and Types in Artificial Intelligence: Workshop, Eringerfeld, FRG, April 24-26, 1989…

EditorKarl H. Bläsius, Ulrich Hedtstück, Claus-Rainer Rollinger

Paperback | July 12, 1990

Pricing and Purchase Info

$125.64 online 
$128.95 list price
Earn 628 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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.
Title:Sorts and Types in Artificial Intelligence: Workshop, Eringerfeld, FRG, April 24-26, 1989…Format:PaperbackDimensions:315 pages, 10 × 7.01 × 0.07 inPublished:July 12, 1990Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540523375

ISBN - 13:9783540523376

Look for similar items by category:

Reviews

Table of Contents

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.