Sorts and Types in Artificial Intelligence

... Theoretical Computer Science , Theorem Proving , Knowledge Representation , NL Systems , Linguistics , Logic Programming and Qualitative Reasoning in order to discuss the role of sorts and types in the various aspects of AI .

Sorts and Types in Artificial Intelligence

This book reflects substantial research done in AI on sorts and types. It is of great importance for researchers interested in natural language understanding and knowledge representation.

More Books:

Sorts and Types in Artificial Intelligence
Language: en
Pages: 307
Authors: Ulrich Hedtstück
Categories: Computers
Type: BOOK - Published: 1990-07-12 - Publisher: Springer Science & Business Media

This book reflects substantial research done in AI on sorts and types. It is of great importance for researchers interested in natural language understanding and knowledge representation.
Sorts and Types in Artificial Intelligence
Language: en
Pages: 307
Authors: Ulrich Hedtstück
Categories: Abstract data types (Computer science)
Type: BOOK - Published: 1990 - Publisher:

"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
Trends in Artificial Intelligence
Language: en
Pages: 479
Authors: Associazione italiana per l'intelligenza artificiale. Congress
Categories: Computers
Type: BOOK - Published: 1991-10-09 - Publisher: Springer Science & Business Media

This book collects the papers presented at the 2nd Congress of the Italian Association for Artificial Intelligence. It displays the state of the art of both Italian and European scientific research in AI.
Artificial Intelligence and Symbolic Mathematical Computation
Language: en
Pages: 379
Authors: Jaques Calmet, Jochen Pfalzgraf
Categories: Computers
Type: BOOK - Published: 1996-09-11 - Publisher: Springer Science & Business Media

Spine title: AISMC-3 : artificial intelligence and symbolic mathematical computation.
Logics in AI
Language: en
Pages: 412
Authors: David Pearce, Gerd Wagner
Categories: Computers
Type: BOOK - Published: 1992-08-19 - Publisher: Springer Science & Business Media

This volume contains the proceedings of JELIA '92, les Journ es Europ ennes sur la Logique en Intelligence Artificielle, or the Third European Workshop on Logics in Artificial Intelligence. The volume contains 2 invited addresses and 21 selected papers covering such topics as: - Logical foundations of logic programming and