Books > Computing & IT > Applications of computing > Artificial intelligence
|
Buy Now
Extensions of Logic Programming - International Workshop, Tubingen, FRG, December 8-10, 1989. Proceedings (Paperback, 1991 ed.)
Loot Price: R1,608
Discovery Miles 16 080
|
|
Extensions of Logic Programming - International Workshop, Tubingen, FRG, December 8-10, 1989. Proceedings (Paperback, 1991 ed.)
Series: Lecture Notes in Artificial Intelligence, 475
Expected to ship within 10 - 15 working days
|
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
TA1/4bingen 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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.