Go back

Extensions Of Logic Programming Third International Workshop ELP 92 Bologna Italy LNAI 660(1st Edition)

Authors:

Evelina Lamma ,Paola Mello

Free extensions of logic programming third international workshop elp 92 bologna italy lnai 660 1st edition
11 ratings
Cover Type:Hardcover
Condition:Used

In Stock

Include with your book

Free shipping: April 03, 2024
Access to 3 Million+ solutions Free
Ask 10 Questions from expert 200,000+ Expert answers
7 days-trial

Total Price:

$0

List Price: $52.56 Savings: $52.56(100%)

Book details

ISBN: 3540564543, 978-3540564546

Book publisher: Springer

Get your hands on the best-selling book Extensions Of Logic Programming Third International Workshop ELP 92 Bologna Italy LNAI 660 1st Edition for free. Feed your curiosity and let your imagination soar with the best stories coming out to you without hefty price tags. Browse SolutionInn to discover a treasure trove of fiction and non-fiction books where every page leads the reader to an undiscovered world. Start your literary adventure right away and also enjoy free shipping of these complimentary books to your door.

Extensions Of Logic Programming Third International Workshop ELP 92 Bologna Italy LNAI 660 1st Edition Summary: This book contains papers which investigate how to extend logic programming toward the artificial intelligence and software engineering areas, covering both theoretical and practical aspects. Some papers investigate topics such as abductive reasoning and negation. Some works discuss how to enhance the expressive power of logic programming by introducing constraints, sets, and integration with functional programming. Other papers deal with the structuring of knowledge into modules, taxonomies, and objects, withthe aim of extending logic programming toward software engineering applications. A section is devoted to papers concentrating on proof theory and inspired by Gentzen-style sequent or natural deduction systems. Topics such as concurrency are considered to enhance the expressive power of logic languages. Finally, some papers mainly concernimplementation techniques for some of these logic programming extensions.