|
" The Logic programming paradigm : "
K.R. Apt [and others] eds.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
735751
|
| Doc. No
|
:
|
b555593
|
| Main Entry
|
:
|
K.R. Apt [and others] eds.
|
| Title & Author
|
:
|
The Logic programming paradigm : : a 25-year perspective\ K.R. Apt [and others] eds.
|
| Publication Statement
|
:
|
Berlin ; New York: Springer, ©1999.
|
| Series Statement
|
:
|
Artificial intelligence (Berlin, Germany)
|
| Page. NO
|
:
|
(xvi, 456 pages) : illustrations
|
| ISBN
|
:
|
3642600859
|
|
|
:
|
: 9783642600852
|
| Contents
|
:
|
Preface --;Part I. Computing and Programming: Concurrent and Agent Programming. Program Analysis and Methodology. Future of Declarative Programming. Continuous Mathematics --;Part II. Knowledge Representation and Modeling: Constraints; Machine Learning; Answer Set Programming; Database Systems; Natural Language Processing.
|
| Abstract
|
:
|
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.
|
| Subject
|
:
|
Logic programming.
|
| Subject
|
:
|
Logisch programmeren.
|
| Subject
|
:
|
Programmation logique.
|
| LC Classification
|
:
|
QA76.63K737 1999
|
| Added Entry
|
:
|
Krzysztof R Apt
|
| |