Stock image for illustration purposes only - book cover, edition or condition may vary.
Extensions of Logic Programming
P. . Ed(S): Schroeder-Heister
€ 68.36
FREE Delivery in Ireland
Description for Extensions of Logic Programming
Paperback. This volume contains papers presented at an international workshop. It gives an overview of various approaches to extending logic programming, concentrating on proof-theoretic extensions developed recently, which put a new emphasis on hypothetical reasoning. Editor(s): Schroeder-Heister, P. Series: Lecture Notes in Computer Science. Num Pages: 366 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 19. Weight in Grams: 1160.
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. ... Read more
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. ... Read more
Product Details
Format
Paperback
Publication date
1991
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
366
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
366
Place of Publication
Berlin, Germany
ISBN
9783540535904
SKU
V9783540535904
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Extensions of Logic Programming