The Logic Programming Paradigm

Krzysztof R. Apt

ISBN 10: 3642642497 / ISBN 13: 9783642642494

Published by Springer Berlin Heidelberg Sep 2011, 2011

About this Item

This item is printed on demand - it takes 3-4 days longer - Neuware -This exciting new text reveals both the evolution of this programming paradigm since its inception and the impressively broad scope of current research in the field. The contributors to this book are all leading world experts in Logic Programming, and they deal with both theoretical and practical issues. They address such diverse topics as: computational molecular biology, machine learning, mobile computing, multi-agent systems, planning, numerical computing and dynamical systems, database systems, an alternative to the 'formulas as types' approach, program semantics and analysis, and natural language processing. XXXXXXX Neuer Text Logic Programming was founded 25 years ago. This exciting book reveals both the evolution of this programming paradigm and its impressively broad scope of current research. The contributions by leading computer scientists deal with both theoretical and practical issues. They address diverse topics such as: computational molecular biology, machine learning, mobile computing, multi-agent systems, numerical computing and dynamical systems, database systems, program semantics, natural language processing, and promising future directions. 480 pp. Englisch.

Seller Inventory # 9783642642494

Bibliographic Details

• Title: The Logic Programming Paradigm
• Publisher: Springer Berlin Heidelberg Sep 2011
• Publication Date: 2011
• Language: English
• ISBN 10: 3642642497
• ISBN 13: 9783642642494
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 26D millimeters 235 millimeters width by 155 millimeters height by 26 millimeters depth
• Weight: 721 grams

About this title

Synopsis

Logic Programming was founded 25 years ago. This exciting new text reveals both the evolution of this programming paradigm since its inception and the impressively broad scope of current research in Logic Programming. The contributions to the book deal with both theoretical and practical issues. They address such diverse topics as: computational molecular biology, machine learning, mobile computing, multi-agent systems, planning, numerical computing and dynamical systems, database systems, an alternative to the "formulas as types" approach, program semantics and analysis, and natural language processing. The contributors are all leading world experts in Logic Programming and their contributions were all invited and refereed.