MARC details
| 000 -LEADER |
|---|
| fixed length control field |
06043cam a2200757 a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn728101840 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703160603.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
|---|
| fixed length control field |
m o d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr cn||||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
110602s2011 gw a ob 101 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
GW5XE |
| Language of cataloging |
eng |
| Description conventions |
pn |
| Transcribing agency |
GW5XE |
| Modifying agency |
OCLCQ |
| -- |
E7B |
| -- |
OCLCQ |
| -- |
C$Q |
| -- |
OCLCQ |
| -- |
OCLCA |
| -- |
OCLCF |
| -- |
OCLCO |
| -- |
A7U |
| -- |
YDXCP |
| -- |
OCL |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
EBLCP |
| -- |
OCLCQ |
| -- |
ESU |
| -- |
OCLCQ |
| -- |
SHS |
| -- |
IOG |
| -- |
CEF |
| -- |
CRU |
| -- |
OCLCQ |
| -- |
TFW |
| -- |
U3W |
| -- |
OCLCA |
| -- |
WYU |
| -- |
YOU |
| -- |
LEAUB |
| -- |
AU@ |
| -- |
OCLCQ |
| -- |
OL$ |
| -- |
OCLCQ |
| -- |
AJS |
| -- |
DKU |
| -- |
OCLCO |
| -- |
COM |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCL |
| -- |
OCLCQ |
| -- |
OCLCL |
| 019 ## - |
|---|
| -- |
769768404 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783642205897 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3642205895 |
| Qualifying information |
(electronic bk.) |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-3-642-20589-7 |
| Source of number or code |
doi |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
DKDLA |
| System control number |
820120-katalog:000461510 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
DKDLA |
| System control number |
820120-katalog:000686689 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
13849349 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
13853825 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)728101840 |
| Canceled/invalid control number |
(OCoLC)769768404 |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.615 |
| Item number |
.I58 2011 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UYQ |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
TJFM1 |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM004000 |
| Source |
bisacsh |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.13/1 |
| Edition number |
22 |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
International Conference on Applications of Declarative Programming and Knowledge Management |
| Number of part/section/meeting |
(18th : |
| Date of meeting |
2009 : |
| Location of meeting |
Évora, Portugal) |
| 9 (RLIN) |
41895 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Applications of declarative programming and knowledge management : |
| Remainder of title |
18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised selected papers / |
| Statement of responsibility, etc. |
Salvador Abreu, Dietmar Seipel (Eds.). |
| 246 30 - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
INAP 2009 |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc. |
Berlin ; |
| -- |
Heidelberg ; |
| -- |
New York : |
| Name of publisher, distributor, etc. |
Springer, |
| Date of publication, distribution, etc. |
©2011. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (x, 238 pages) |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
computer |
| Media type code |
c |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
online resource |
| Carrier type code |
cr |
| Source |
rdacarrier |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| File type |
text file |
| Encoding format |
PDF |
| Source |
rda |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science, |
| International Standard Serial Number |
0302-9743 ; |
| Volume/sequential designation |
6547. |
| Series statement |
Lecture notes in artificial intelligence |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
LNCS sublibrary. SL 7, Artificial intelligence |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and index. |
| 588 0# - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Print version record. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2009, held in Évora, Portugal, in November 2009. The 12 revised full papers presented together with 2 invited talks were carefully reviewed and selected during two rounds of reviewing and improvement. The conference comprehensively covers the impact of programmable logic solvers in the internet society, its underlying technologies, and leading edge applications in industry, commerce, government, and societal services. The topics of the selected papers concentrate on three currently important fields: foundations and extensions of logic programming, databases and query languages, declarative programming with logic languages, and applications thereof. |
| 505 00 - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Machine generated contents note: |
| Title |
Invited Talks -- |
| -- |
Design Patterns for Tabled Logic Programming / |
| Statement of responsibility |
Terrance Swift -- |
| Title |
Alternative High-Level Approach to Interaction with Databases / |
| Statement of responsibility |
Antonio Porto -- |
| Title |
Foundations and Extensions of Logic Programming -- |
| -- |
ISTO: A Language for Temporal Organizational Information Systems / |
| Statement of responsibility |
Salvador Abreu -- |
| Title |
Programming Patterns for Logtalk Parametric Objects / |
| Statement of responsibility |
Paulo Moura -- |
| Title |
Stable Model Implementation of Layer Supported Models by Program Transformation / |
| Statement of responsibility |
Alexandre Miguel Pinto -- |
| Title |
Towards Computing Revised Models for FO Theories / |
| Statement of responsibility |
Marc Denecker -- |
| Title |
Adaptive Reasoning for Cooperative Agents / |
| Statement of responsibility |
Alexandre Miguel Pinto -- |
| Title |
Databases and Query Languages -- |
| -- |
Extending XQuery for Semantic Web Reasoning / |
| Statement of responsibility |
Jesus Manuel Almendros-Jimenez -- |
| Title |
Reference Model and Perspective Schemata Inference for Enterprise Data Integration / |
| Statement of responsibility |
Joao Carlos Moura Pires -- |
| Title |
JSquash: Source Code Analysis of Embedded Database Applications for Determining SQL Statements / |
| Statement of responsibility |
Markus Frohlich -- |
| Title |
Applications -- |
| -- |
Elder Care via Intention Recognition and Evolution Prospection / |
| Statement of responsibility |
The Anh Han -- |
| Title |
Knowledge Management Strategy and Tactics for Forging Die Design Support / |
| Statement of responsibility |
Yuji Mure -- |
| Title |
Searching in Protein State Space / |
| Statement of responsibility |
Jorg Schultz -- |
| Title |
Network Monitoring with Constraint Programming: Preliminary Specification and Analysis / |
| Statement of responsibility |
Salvador Abreu. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Declarative programming |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
15358 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Knowledge management |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
16482 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Programmation déclarative |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
20455 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Gestion des connaissances |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
19247 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Declarative programming |
| Source of heading or term |
fast |
| 9 (RLIN) |
15359 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Knowledge management |
| Source of heading or term |
fast |
| 9 (RLIN) |
1209 |
| 655 #2 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Congress |
| 9 (RLIN) |
11670 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
proceedings (reports) |
| Source of term |
aat |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings |
| Source of term |
fast |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings. |
| Source of term |
lcgft |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Actes de congrès. |
| Source of term |
rvmgf |
| 9 (RLIN) |
609890 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Abreu, Salvador, |
| Dates associated with a name |
1961- |
| -- |
https://id.oclc.org/worldcat/entity/E39PCjMvm9bxFqfVR8HqpqK883 |
| 9 (RLIN) |
17690 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Seipel, Dietmar. |
| 9 (RLIN) |
18823 |
| 758 ## - |
|---|
| -- |
has work: |
| -- |
Applications of declarative programming and knowledge management (Text) |
| -- |
https://id.oclc.org/worldcat/entity/E39PCGFm74Krmk6RyDrcJkPjfm |
| -- |
https://id.oclc.org/worldcat/ontology/hasWork |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Print version: |
| Main entry heading |
International Conference on Applications of Declarative Programming and Knowledge Management (18th : 2009 : Évora, Portugal). |
| Title |
Applications of declarative programming and knowledge management. |
| Edition |
1st ed. |
| Place, publisher, and date of publication |
Berlin : Springer, ©2011 |
| International Standard Book Number |
9783642205880 |
| Record control number |
(DLC) 2011925389 |
| -- |
(OCoLC)731644472 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
6547. |
| International Standard Serial Number |
0302-9743 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science. |
| Name of part/section of a work |
Lecture notes in artificial intelligence. |
| 9 (RLIN) |
14916 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
LNCS sublibrary. |
| Number of part/section of a work |
SL 7, |
| Name of part/section of a work |
Artificial intelligence. |
| 9 (RLIN) |
20712 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/978-3-642-20589-7">https://link.springer.com/10.1007/978-3-642-20589-7</a> |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL3066655 |
| 938 ## - |
|---|
| -- |
ebrary |
| -- |
EBRY |
| -- |
ebr10465347 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
5489076 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |