| 000 -LEADER |
|---|
| fixed length control field |
04220nam a22006015i 4500 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| ISBN |
9783540473121 |
| -- |
978-3-540-47312-1 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
006.3 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Logic Programming in Action |
| Sub Title |
Second International Logic Programming Summer School, LPSS '92 Zurich, Switzerland, September 7–11, 1992 Proceedings / |
| Statement of responsibility, etc |
edited by G. Comyn, N. E. Fuchs, M. J. Ratcliffe. |
| 260 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication |
Berlin, Heidelberg : |
| Name of publisher |
Springer Berlin Heidelberg, |
| Year of publication |
1992. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Number of Pages |
CCCXL, 330 p. |
| Other physical details |
online resource. |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture Notes in Computer Science, Lecture Notes in, |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Theory and practice in logic programming -- Constraint Logic Programming -- Scheduling and optimisation in the Automobile Industry -- Factory scheduling using finite domains -- The Prince project and its applications -- A (Gentle) introduction to deductive databases -- Knowledge based PPS applications in PROTOS-L -- The SECReTS banking expert system from phase 1 to phase 2 -- Logic engineering and clinical dilemmas -- A knowledge-based approach to strategic planning -- Expert systems in mining -- Natural and formal language processing -- PUNDIT — Natural language interfaces -- The Esteam-316 dialogue manager -- Legislation as logic programs -- Knowledge representation for natural language processing -- A set of tools for VHDL design -- Tutorial notes: Reasoning about logic programs -- Software formal specification by logic programming: The example of standard Prolog -- The art of computer un-programming: Reverse engineering in Prolog -- Opium — An advanced debugging system -- Automatic theorem proving within the portable AI Lab. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc |
Logic programming enjoys a privileged position. It is firmly rooted in mathematical logic, yet it is also immensely practical, as a growing number of users in universities, research institutes, and industry are realizing. Logic programming languages, specifically Prolog, have turned out to be ideal as prototyping and application development languages. This volume presents the proceedings of the Second Logic Programming Summer School, LPSS'92. The First Logic Programming Summer School, LPSS '90, addressed the theoretical foundations of logic programming. This volume focuses onthe relationship between theory and practice, and on practical applications. The introduction to the volume is by R. Kowalski, one of the pioneers in the field. The following papers are organized into sections on constraint logic programming, deductive databases and expert systems, processing of natural and formal languages, software engineering, and education. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Computer science. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Software engineering. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Artificial intelligence. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Computer aided design. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Management information systems. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Computer Science. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Artificial Intelligence (incl. Robotics). |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Programming Techniques. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Mathematical Logic and Formal Languages. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Software Engineering. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Business Information Systems. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Computer-Aided Engineering (CAD, CAE) and Design. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Comyn, G. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Fuchs, N. E. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Ratcliffe, M. J. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
http://dx.doi.org/10.1007/3-540-55930-2 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Koha item type |
E-BOOKS |
| 264 #1 - |
|---|
| -- |
Berlin, Heidelberg : |
| -- |
Springer Berlin Heidelberg, |
| -- |
1992. |
| 336 ## - |
|---|
| -- |
text |
| -- |
txt |
| -- |
rdacontent |
| 337 ## - |
|---|
| -- |
computer |
| -- |
c |
| -- |
rdamedia |
| 338 ## - |
|---|
| -- |
online resource |
| -- |
cr |
| -- |
rdacarrier |
| 347 ## - |
|---|
| -- |
text file |
| -- |
PDF |
| -- |
rda |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| -- |
0302-9743 ; |
