MARC details
| 000 -LEADER |
|---|
| fixed length control field |
07717cam a2200877 i 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn867728474 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703163118.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 cnu|||unuuu |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
140108s2013 gw a ob 101 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
GW5XE |
| Language of cataloging |
eng |
| Description conventions |
rda |
| -- |
pn |
| Transcribing agency |
GW5XE |
| Modifying agency |
YDXCP |
| -- |
OCLCO |
| -- |
NUI |
| -- |
UKMGB |
| -- |
ZMC |
| -- |
COO |
| -- |
OHS |
| -- |
OCLCO |
| -- |
OCLCF |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCL |
| -- |
OCLCO |
| -- |
EBLCP |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
DIBIB |
| -- |
OCLCO |
| -- |
DGU |
| -- |
OCLCQ |
| -- |
IOG |
| -- |
OCLCO |
| -- |
NJR |
| -- |
OCLCA |
| -- |
BUF |
| -- |
OCLCO |
| -- |
MERER |
| -- |
OCLCO |
| -- |
CEF |
| -- |
U3W |
| -- |
OCLCA |
| -- |
WYU |
| -- |
YOU |
| -- |
TKN |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCA |
| -- |
OCLCQ |
| -- |
OCLCA |
| -- |
AJS |
| -- |
UKAHL |
| -- |
COM |
| -- |
OCLCO |
| -- |
OCL |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCL |
| -- |
OCLCQ |
| 016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER |
|---|
| Record control number |
016586540 |
| Source |
Uk |
| 019 ## - |
|---|
| -- |
865565230 |
| -- |
934987881 |
| -- |
936312628 |
| -- |
1027580448 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783642415241 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3642415245 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783642415234 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
3642415237 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-3-642-41524-1 |
| Source of number or code |
doi |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000053010052 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
15336314 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)867728474 |
| Canceled/invalid control number |
(OCoLC)865565230 |
| -- |
(OCoLC)934987881 |
| -- |
(OCoLC)936312628 |
| -- |
(OCoLC)1027580448 |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.615 |
| 060 #4 - NATIONAL LIBRARY OF MEDICINE CALL NUMBER |
|---|
| Classification number |
QA76.615 |
| 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 |
23 |
| 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 |
(19th : |
| Date of meeting |
2011 : |
| Location of meeting |
Vienna, Austria) |
| 9 (RLIN) |
50832 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Applications of declarative programming and knowledge management : |
| Remainder of title |
19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised selected papers / |
| Statement of responsibility, etc. |
Hans Tompits ... [and 6 more] (eds.). |
| 246 3# - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
INAP 2011 |
| 246 3# - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
WLP 2011 |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Place of production, publication, distribution, manufacture |
Heidelberg : |
| Name of producer, publisher, distributor, manufacturer |
Springer, |
| Date of production, publication, distribution, manufacture, or copyright notice |
2013. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (xiii, 365 pages) : |
| Other physical details |
illustrations |
| 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 artificial intelligence, |
| International Standard Serial Number |
0302-9743 ; |
| Volume/sequential designation |
7773 |
| 500 ## - GENERAL NOTE |
|---|
| General note |
Includes author index. |
| 505 00 - FORMATTED CONTENTS NOTE |
|---|
| Title |
Invited Talks. |
| -- |
The IMPL Policy Language for Managing Inconsistency in Multi-Context Systems / |
| Statement of responsibility |
Thomas Eiter [and others] -- |
| Title |
The Parameterized Complexity of Constraint Satisfaction and Reasoning / |
| Statement of responsibility |
Stefan Szeider -- |
| Title |
INAP Technical Papers I: Languages. |
| -- |
Translating Nondeterministic Functional Language Based on Attribute Grammars into Java / |
| Statement of responsibility |
Masanobu Umeda [and others] -- |
| Title |
Sensitivity Analysis for Declarative Relational Query Languages with Ordinal Ranks / |
| Statement of responsibility |
Radim Belohlavek, Lucie Urbanova and Vilem Vychodil -- |
| Title |
A Uniform Fixpoint Approach to the Implementation of Inference Methods for Deductive Databases / |
| Statement of responsibility |
Andreas Behrend -- |
| Title |
INAP Technical Papers II: Answer-Set Programming and Abductive Reasoning. |
| -- |
Translating Answer-Set Programs into Bit-Vector Logic / |
| Statement of responsibility |
Mai Nguyen, Tomi Janhunen and Ilkka Niemelä -- |
| Title |
Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems / |
| Statement of responsibility |
Wolfgang Dvořák [and others]. |
| 505 80 - FORMATTED CONTENTS NOTE |
|---|
| Title |
Confidentiality-Preserving Publishing of EDPs for Credulous and Skeptical Users / |
| Statement of responsibility |
Katsumi Inoue, Chiaki Sakama and Lena Wiese -- |
| Title |
INAP Technical Papers III: Semantics. |
| -- |
Every Formula-Based Logic Program Has a Least Infinite-Valued Model / |
| Statement of responsibility |
Rainer Lüdecke -- |
| Title |
WLP Technical Papers I: Constraints and Logic Programming. |
| -- |
A Declarative Approach for Computing Ordinal Conditional Functions Using Constraint Logic Programming / |
| Statement of responsibility |
Christoph Beierle, Gabriele Kern-Isberner and Karl Södler -- |
| Title |
WLP Technical Papers II: Answer-Set Programming and Model Expansion. |
| -- |
A Descriptive Approach to Preferred Answer Sets / |
| Statement of responsibility |
Ján Šefránek and Alexander Šimko -- |
| Title |
Solving Modular Model Expansion: Case Studies / |
| Statement of responsibility |
Shahab Tasharrofi, Xiongnan (Newman) Wu and Eugenia Ternovska -- |
| Title |
INAP Application Papers. |
| -- |
FdConfig: A Constraint-Based Interactive Product Configurator / |
| Statement of responsibility |
Denny Schneeweiss and Petra Hofstedt. |
| 505 80 - FORMATTED CONTENTS NOTE |
|---|
| Title |
INAP System Descriptions. |
| -- |
dynPARTIX -- A Dynamic Programming Reasoner for Abstract Argumentation / |
| Statement of responsibility |
Wolfgang Dvořák [and others] -- |
| Title |
HEX-Programs with Nested Program Calls / |
| Statement of responsibility |
Thomas Eiter, Thomas Krennwallner and Christoph Redl -- |
| Title |
A Prototype of a Knowledge-Based Programming Environment / |
| Statement of responsibility |
Stef De Pooter, Johan Wittocx and Marc Denecker -- |
| Title |
WLP System Descriptions. |
| -- |
Computing with Logic as Operator Elimination: The ToyElim System / |
| Statement of responsibility |
Christoph Wernhard -- |
| Title |
Coprocessor -- a Standalone SAT Preprocessor / |
| Statement of responsibility |
Norbert Manthey -- |
| Title |
The SeaLion has Landed: An IDE for Answer-Set Programming--Preliminary Report / |
| Statement of responsibility |
Johannes Oetsch, Jörg Pührer and Hans Tompits -- |
| Title |
Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs / |
| Statement of responsibility |
Christian Kloimüllner [and others] -- |
| Title |
Unit Testing in ASPIDE / |
| Statement of responsibility |
Onofrio Febbraro [and others]. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This book constitutes revised selected papers of the 19th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2011, and the 25th Workshop on Logic Programming, WLP 2011, held in Vienna, Austria, in September 2011. The 19 papers presented in this volume were carefully reviewed and selected from 27 papers presented at the conference and initially a total of 35 submissions. The book also contains the papers of two invited talks. The papers are organized in topical sections on languages; answer-set programming and abductive reasoning; constraints and logic programming; answer-set programming and model expansion; application papers; and system descriptions. |
| 588 0# - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Online resource; title from PDF title page (SpringerLink, viewed November 18, 2013). |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and index. |
| 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 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Knowledge management. |
| 9 (RLIN) |
1209 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Programming languages (Electronic computers) |
| 9 (RLIN) |
986 |
| 650 #2 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Knowledge Management |
| 9 (RLIN) |
1209 |
| 650 #2 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Programming Languages |
| 9 (RLIN) |
31442 |
| 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 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Gestion des connaissances. |
| 9 (RLIN) |
16563 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Langages de programmation. |
| 9 (RLIN) |
14691 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Programming languages (Electronic computers) |
| Source of heading or term |
fast |
| 9 (RLIN) |
986 |
| 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 |
Tompits, Hans, |
| Relator term |
editor. |
| 9 (RLIN) |
50833 |
| 711 2# - ADDED ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
International Workshop on Logic Programming |
| Number of part/section/meeting |
(25th : |
| Date of meeting |
2011 : |
| Location of meeting |
Vienna, Austria) |
| 9 (RLIN) |
50834 |
| 758 ## - |
|---|
| -- |
has work: |
| -- |
Applications of declarative programming and knowledge management (Text) |
| -- |
https://id.oclc.org/worldcat/entity/E39PCGTvQ9QcxwWQv6qvJCQhd3 |
| -- |
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 (19th : 2011 : Vienna, Austria). |
| Title |
Applications of declarative programming and knowledge management. |
| International Standard Book Number |
3642415237 |
| -- |
9783642415234 |
| 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 ; |
| Volume number/sequential designation |
7773. |
| 9 (RLIN) |
14916 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/978-3-642-41524-1">https://link.springer.com/10.1007/978-3-642-41524-1</a> |
| 938 ## - |
|---|
| -- |
Askews and Holts Library Services |
| -- |
ASKH |
| -- |
AH29631522 |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL3093198 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
11426136 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |