Wintersalen Sale
 
 

Special Offers see all

Enter to WIN a $100 Credit

Subscribe to PowellsBooks.news
for a chance to win.
Privacy Policy

Tour our stores


    Recently Viewed clear list


    Original Essays | September 18, 2014

    Lin Enger: IMG Knowing vs. Knowing



    On a hot July evening years ago, my Toyota Tercel overheated on a flat stretch of highway north of Cedar Rapids, Iowa. A steam geyser shot up from... Continue »

    spacer
Qualifying orders ship free.
$108.50
New Trade Paper
Ships in 1 to 3 days
Add to Wishlist
available for shipping or prepaid pickup only
Available for In-store Pickup
in 7 to 12 days
Qty Store Section
25 Remote Warehouse Computers Reference- General

Lecture Notes in Computer Science / Lecture Notes in Artific #418: Sorts and Types in Artificial Intelligence: Workshop, Eringerfeld, Frg, April 24-26, 1989. Proceedings

by

Lecture Notes in Computer Science / Lecture Notes in Artific #418: Sorts and Types in Artificial Intelligence: Workshop, Eringerfeld, Frg, April 24-26, 1989. Proceedings Cover

 

Synopses & Reviews

Publisher Comments:

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.

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.

Product Details

ISBN:
9783540523376
Author:
Bldsius, Karl H.
Publisher:
Springer
Editor:
Hedtst]ck, Ulrich
Editor:
Rollinger, Claus-Rainer
Author:
Hedtstück, Ulrich
Author:
Bläsius, Karl H.
Author:
Rollinger, Claus-Rainer
Location:
Berlin, Heidelberg
Subject:
Logic
Subject:
Artificial Intelligence - General
Subject:
Intelligence (AI) & Semantics
Subject:
Computers-Reference - General
Subject:
Artificial Intelligence
Subject:
Beweissysteme
Subject:
Knstliche Intelligenz
Subject:
Linguistik
Subject:
Logik.
Subject:
Wissensreprsentation
Subject:
Artificial Intelligence (incl. Robotics)
Subject:
Mathematical Logic and Formal Languages
Subject:
Mathematical Logic and Foundations
Subject:
Computer Science
Subject:
Language, literature and biography
Subject:
Logic, symbolic and mathematical
Copyright:
Edition Description:
Book
Series:
Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
Series Volume:
418
Publication Date:
19900810
Binding:
TRADE PAPER
Language:
English
Pages:
315
Dimensions:
242 x 170 mm 1250 gr

Related Subjects

Computers and Internet » Artificial Intelligence » General
Computers and Internet » Computers Reference » General
Computers and Internet » Software Engineering » Programming and Languages
Engineering » Mechanical Engineering » General
Health and Self-Help » Health and Medicine » Anatomy and Physiology
Reference » Science Reference » General
Science and Mathematics » Materials Science » General
Science and Mathematics » Mathematics » Foundations and Logic
Science and Mathematics » Mathematics » Logic and Philosophy

Lecture Notes in Computer Science / Lecture Notes in Artific #418: Sorts and Types in Artificial Intelligence: Workshop, Eringerfeld, Frg, April 24-26, 1989. Proceedings New Trade Paper
0 stars - 0 reviews
$108.50 In Stock
Product details 315 pages Springer - English 9783540523376 Reviews:
spacer
spacer
  • back to top

FOLLOW US ON...

     
Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.