Extensions of Logic Programming: International Workshop, Tübingen, Frg, December 8-10, 1989. Proceedings

by Peter Schroeder-Heister

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.

• Format: Paperback
• Language: English
• ISBN: 354053590X
• ISBN13: 9783540535904
• Release Date: February 1991
• Publisher: Springer
• Length: 366 Pages
• Weight: 1.16 lbs.
• Dimensions: 0.8" x 6.1" x 9.2"