Extensions of Logic Programming
Produktnummer:
18c3d83b1c5d6c424295bbf13845ca4214
Themengebiete: | Constraint Extension Natural Turing abductive reasoning artificial intelligence functional programming intelligence knowledge logic |
---|---|
Veröffentlichungsdatum: | 12.02.1993 |
EAN: | 9783540564546 |
Sprache: | Englisch |
Seitenzahl: | 426 |
Produktart: | Kartoniert / Broschiert |
Herausgeber: | Lamma, Evelina Mello, Paola |
Verlag: | Springer Berlin |
Untertitel: | Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings |
Produktinformationen "Extensions of Logic Programming"
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.

Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen