25 Books to Read Before You Die
 
 

Recently Viewed clear list


Original Essays | August 18, 2014

Ian Leslie: IMG Empathic Curiosity



Today, we wonder anxiously if digital media is changing our brains. But if there's any time in history when our mental operations changed... Continue »
  1. $18.89 Sale Hardcover add to wish list

spacer
Qualifying orders ship free.
$118.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 #475: Extensions of Logic Programming: International Workshop, T??bingen, Frg, December 8-10, 1989. Proceedings

by

Lecture Notes in Computer Science / Lecture Notes in Artific #475: Extensions of Logic Programming: International Workshop, T??bingen, Frg, December 8-10, 1989. Proceedings Cover

 

Synopses & Reviews

Publisher Comments:

This volume contains finalized versions of papers presented at an international workshop on extensions of logic programming, held at the Seminar for Natural Language Systems at the University of Tübingen in December 1989. Several recent extensions of definite Horn clause programming, especially those with a proof-theoretic background, have much in common. One common thread is a new emphasis on hypothetical reasoning, which is typically inspired by Gentzen-style sequent or natural deduction systems. This is not only of theoretical significance, but also bears upon computational issues. It was one purpose of the workshop to bring some of these recent developments together. The volume covers topics such as the languages Lambda-Prolog, N-Prolog, and GCLA, the relationship between logic programming and functional programming, and the relationship between extensions of logic programming and automated theorem proving. It contains the results of the first conference concentrating on proof-theoretic approaches to logic programming.

Product Details

ISBN:
9783540535904
Author:
Schroeder-heister, Peter
Publisher:
Springer
Other:
Schroeder-Heister, Peter Joseph
Editor:
Schroeder-Heister, Peter
Author:
Schroeder-Heister, Peter
Location:
Berlin, Heidelberg
Subject:
Logic programming
Subject:
Congresses
Subject:
Artificial Intelligence - General
Subject:
Logic Design
Subject:
Intelligence (AI) & Semantics
Subject:
Computers-Reference - General
Subject:
Artificial Intelligence
Subject:
Automatisches Beweisen
Subject:
Hypothetical Reasoning
Subject:
Hypothetisches Schließen
Subject:
Knowledge representation.
Subject:
Logische Programmierung
Subject:
Prolog
Subject:
Wissensreprsentation
Subject:
automatied theorem proving
Subject:
Artificial Intelligence (incl. Robotics)
Subject:
Logics and Meanings of Programs
Subject:
Computer Science
Subject:
Language, literature and biography
Copyright:
Edition Description:
Book
Series:
Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
Series Volume:
475
Publication Date:
19910312
Binding:
TRADE PAPER
Language:
English
Pages:
376
Dimensions:
242 x 170 mm 1160 gr

Related Subjects

Computers and Internet » Artificial Intelligence » Fuzzy Logic
Computers and Internet » Artificial Intelligence » General
Computers and Internet » Computers Reference » General
Computers and Internet » Software Engineering » Programming and Languages

Lecture Notes in Computer Science / Lecture Notes in Artific #475: Extensions of Logic Programming: International Workshop, T??bingen, Frg, December 8-10, 1989. Proceedings New Trade Paper
0 stars - 0 reviews
$118.50 In Stock
Product details 376 pages Springer - English 9783540535904 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.