Computers & Internet Books:

Extensions of Logic Programming

Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$151.99
RRP:
$187.95 save $35.96
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 2-3 weeks

Buy Now, Pay Later with:

4 payments of $38.00 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 8-20 May using International Courier

Description

This book contains papers which investigate how to extendlogic programming toward the artificial intelligence andsoftware engineering areas, covering both theoretical andpractical aspects. Some papers investigate topics such asabductive reasoning and negation. Some works discuss how toenhance the expressive power of logic programming byintroducing constraints, sets, and integration withfunctional programming. Other papers deal with thestructuring of knowledge into modules, taxonomies, andobjects, withthe aim of extending logic programming towardsoftware engineering applications. A section is devoted topapers concentrating on proof theory and inspired byGentzen-style sequent or natural deduction systems. Topicssuch as concurrency are considered to enhance the expressivepower of logic languages. Finally, some papers mainlyconcernimplementation techniques for some of these logicprogramming extensions.
Release date Australia
February 12th, 1993
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
Contributors
  • Edited by Evelina Lamma
  • Edited by Paola Mello
Illustrations
X, 426 p.
Pages
426
Dimensions
156x234x22
ISBN-13
9783540564546
Product ID
2841317

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Help & options

Filed under...