Extensions of Logic Programming

Name: Extensions of Logic Programming
Brand: Springer, Berlin
SKU: 9783540564546
Price: 276.54 RON
Availability: InStock

Third International Workshop, ELP '92, Bologna, Italy, Februar 26-28, 1992. Proceedings

Autor: Evelina Lamma, Paola Mello

Limbă:

Legare: Carte broșată

Editura: Springer, Berlin

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

276.54 lei

This book contains papers which investigate how to extend logic programming toward the artificial in...

Informații despre carte

Autor

Evelina Lamma, Paola Mello

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

1993

Pagini

426

EAN

9783540564546

ISBN

3540564543

Enbook ID

05274295

Editura

Springer, Berlin

Greutate

570

Dimensiuni

156 x 234 x 22

Descriere completă

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, with the 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 concern implementation techniques for some of these logic programming extensions.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Extensions of Logic Programming

Third International Workshop, ELP '92, Bologna, Italy, Februar 26-28, 1992. Proceedings

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și