Extensions of Logic Programming: Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings by Evelina LammaExtensions of Logic Programming: Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings by Evelina Lamma

Extensions of Logic Programming: Third International Workshop, ELP '92, Bologna, Italy, February 26…

EditorEvelina Lamma, Paola Mello

Paperback | February 12, 1993

Pricing and Purchase Info

$132.12 online 
$154.95 list price save 14%
Earn 661 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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.
Title:Extensions of Logic Programming: Third International Workshop, ELP '92, Bologna, Italy, February 26…Format:PaperbackDimensions:436 pages, 9.25 × 6.1 × 0.07 inPublished:February 12, 1993Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540564543

ISBN - 13:9783540564546

Look for similar items by category:

Reviews