Paola Mello - Böcker
Visar alla böcker från författaren Paola Mello. Handla med fri frakt och snabb leverans.
1 produkt
1 produkt
Extensions of Logic Programming
Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings
Häftad, Engelska, 1993
552 kr
Skickas inom 10-15 vardagar
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.