The Logic Programming Paradigm (Artificial Intelligence) de Krzysztof R. Apt

The Logic Programming Paradigm: A 25-Year Perspective: Artificial Intelligence

Krzysztof R. Apt

Victor W. Marek

Mirek Truszczynski

David S. Warren

en Limba Engleză Paperback – 19 sep 2011

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.

Citește tot Restrânge

Din seria Artificial Intelligence

7%

Preț: 80^.49 lei
7%

Preț: 80^.49 lei
Preț: 86^.99 lei
Preț: 86^.99 lei
23%

Preț: 749^.47 lei
20%

Preț: 351^.85 lei
20%

Preț: 616^.26 lei
20%

Preț: 534^.13 lei
20%

Preț: 312^.30 lei
20%

Preț: 329^.25 lei
20%

Preț: 317^.68 lei
20%

Preț: 634^.45 lei
20%

Preț: 360^.83 lei
20%

Preț: 318^.97 lei
20%

Preț: 635^.90 lei
20%

Preț: 629^.39 lei
20%

Preț: 967^.37 lei
20%

Preț: 622^.77 lei
15%

Preț: 614^.24 lei
20%

Preț: 962^.27 lei
20%

Preț: 625^.13 lei
20%

Preț: 317^.85 lei
20%

Preț: 802^.33 lei
20%

Preț: 314^.04 lei
20%

Preț: 728^.16 lei
20%

Preț: 617^.38 lei
20%

Preț: 315^.80 lei
20%

Preț: 327^.04 lei
20%

Preț: 329^.91 lei
20%

Preț: 623^.39 lei
20%

Preț: 632^.58 lei
20%

Preț: 614^.65 lei
20%

Preț: 630^.68 lei
20%

Preț: 961^.64 lei
20%

Preț: 627^.51 lei
20%

Preț: 325^.92 lei
20%

Preț: 682^.51 lei
20%

Preț: 331^.80 lei
20%

Preț: 627^.83 lei

Specificații

ISBN-13: 9783642642494
ISBN-10: 3642642497
Pagini: 480
Ilustrații: XVI, 456 p.
Dimensiuni: 155 x 235 x 25 mm
Greutate: 0.67 kg
Ediția:Softcover reprint of the original 1st ed. 1999
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Artificial Intelligence

Locul publicării:Berlin, Heidelberg, Germany

Cuprins

I. Computing and Programming.- 1 Concurrent and Agent Programming.- Logic Programming and Multi-Agent Systems: A Synergic Combination for Applications and Semantics.- Inference and Computation Mobility with Jinni.- Concurrent Logic/Constraint Programming: The Next 10 Years.- 2 Program Analysis and Methodology.- Formulas as Programs.- Link-time Optimization of Multi-Language Programs.- Horn Logic Denotations and Their Applications.- Global Analysis, Partial Specifications, and Assertions.- 3 Future of Declarative Programming.- Assessment of Some Issues in CL-Theory and Program Development.- How Enterprises Use Functional Languages, and Why They Don’t.- Continuous Models of Computation for Logic Programs.- The Logic Programming Paradigm in Numerical Computation.- II. Knowledge Representation and Modeling.- 5 Constraints.- Computational Molecular Biology: A Promising Application Using LP and its Extensions.- Adding Constraints to Logic-based Formalisms.- 6 Machine Learning.- A Perspective on Inductive Logic Programming.- From Deduction to Induction: Logical Perspective.- 7 Answer Set Programming.- Action Languages, Answer Sets, and Planning.- Stable Models and an Alternative Logic Programming Paradigm.- 8 Database Systems.- Logic-Based User-Defined Aggregates for the Next Generation of Database Systems.- 9 Natural Language Processing.- The Logic of Language.