Normal view
MARC view
Applications of Declarative Programming and Knowledge Management (Record no. 357092)
[ view plain ]
000 -Маркер записи | |
---|---|
Контрольное поле постоянной длины | 04495nam a22005655i 4500 |
001 - Контрольный номер | |
Контрольное поле | vtls000485428 |
005 - Дата корректировки | |
Контрольное поле | 20210922065903.0 |
007 - Кодируемые данные (физ. описан.) | |
Контрольное поле постоянной длины | cr nn 008mamaa |
008 - Кодируемые данные | |
Контрольное поле постоянной длины | 140715s2013 gw | s |||| 0|eng d |
020 ## - Индекс ISBN | |
ISBN | 9783642415241 |
-- | 978-3-642-41524-1 |
024 7# - Прочие стандартные номера | |
Стандартный номер | 10.1007/978-3-642-41524-1 |
Источник номера | doi |
035 ## - Системный контрольный номер | |
Системный контрольный номер | to000485428 |
040 ## - Источник каталогиз. | |
Служба первич. каталог. | Springer |
Служба, преобразующая запись | Springer |
Организация, изменившая запись | RU-ToGU |
050 #4 - Расстановочный код библ. Конгресса | |
Классификационный индекс | Q334-342 |
050 #4 - Расстановочный код библ. Конгресса | |
Классификационный индекс | TJ210.2-211.495 |
072 #7 - Код предметной/темат. категории | |
Код предметной/темат. категории | UYQ |
Источник кода | bicssc |
072 #7 - Код предметной/темат. категории | |
Код предметной/темат. категории | TJFM1 |
Источник кода | bicssc |
072 #7 - Код предметной/темат. категории | |
Код предметной/темат. категории | COM004000 |
Источник кода | bisacsh |
082 04 - Индекс Дьюи | |
Индекс Дьюи | 006.3 |
Номер издания | 23 |
100 1# - Автор | |
Автор | Tompits, Hans. |
Роль лиц | editor. |
9 (RLIN) | 415090 |
245 10 - Заглавие | |
Заглавие | Applications of Declarative Programming and Knowledge Management |
Физический носитель | [electronic resource] : |
Продолж. заглавия | 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers / |
Ответственность | edited by Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf. |
260 ## - Выходные данные | |
Место издания | Berlin, Heidelberg : |
Издательство | Springer Berlin Heidelberg : |
-- | Imprint: Springer, |
Дата издания | 2013. |
300 ## - Физическое описание | |
Объем | XIII, 365 p. 67 illus. |
Иллюстрации/тип воспроизводства | online resource. |
336 ## - Тип содержимого | |
Тип содержимого | text |
Content type code | txt |
Source | rdacontent |
337 ## - Средство доступа | |
Средство доступа | computer |
Media type code | c |
Source | rdamedia |
338 ## - Тип носителя | |
Тип носителя | online resource |
Carrier type code | cr |
Source | rdacarrier |
490 1# - Серия | |
Заглавие серии | Lecture Notes in Computer Science, |
ISSN серии | 0302-9743 ; |
№ тома | 7773 |
505 0# - Примечание о содержании | |
Содержание | The IMPL Policy Language for Managing Inconsistency in Multi-Context Systems -- The Parameterized Complexity of Constraint Satisfaction and Reasoning -- Translating Nondeterministic Functional Language based on Attribute Grammars into Java -- Sensitivity Analysis for Declarative Relational Query Languages with Ordinal Ranks -- A Uniform Fixpoint Approach to the Implementation of Inference Methods for Deductive Databases -- Translating Answer-Set Programs into Bit-Vector Logic -- Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems -- Confidentiality-Preserving Publishing of EDPs for Credulous and Skeptical Users -- Every Formula-Based Logic Program Has a Least Innite-Valued Model -- A Declarative Approach for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach to Preferred Answer Sets -- Solving Modular Model Expansion: Case Studies -- FdCong: A Constraint-Based Interactive Product Congurator -- dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation -- HEX-Programs with Nested Program Calls -- A prototype of a knowledge-based programming environment -- Computing with Logic as Operator Elimination: The ToyElim System -- Coprocessor - a Standalone SAT Preprocessor -- The SeaLion has Landed: An IDE for Answer-Set Programming Preliminary Report -- Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs -- Unit Testing in ASPIDE. |
520 ## - Аннотация | |
Аннотация | 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. |
650 #0 - Тематические рубрики | |
Основная рубрика | Computer Science. |
9 (RLIN) | 155490 |
650 #0 - Тематические рубрики | |
Основная рубрика | Artificial intelligence. |
9 (RLIN) | 274099 |
650 14 - Тематические рубрики | |
Основная рубрика | Computer Science. |
9 (RLIN) | 155490 |
650 24 - Тематические рубрики | |
Основная рубрика | Artificial Intelligence (incl. Robotics). |
9 (RLIN) | 274102 |
650 24 - Тематические рубрики | |
Основная рубрика | Programming Techniques. |
9 (RLIN) | 566312 |
700 1# - Другие авторы | |
Другие авторы | Abreu, Salvador. |
Роль лиц | editor. |
9 (RLIN) | 415091 |
700 1# - Другие авторы | |
Другие авторы | Oetsch, Johannes. |
Роль лиц | editor. |
9 (RLIN) | 415092 |
700 1# - Другие авторы | |
Другие авторы | Pührer, Jörg. |
Роль лиц | editor. |
9 (RLIN) | 415093 |
700 1# - Другие авторы | |
Другие авторы | Seipel, Dietmar. |
Роль лиц | editor. |
9 (RLIN) | 324272 |
700 1# - Другие авторы | |
Другие авторы | Umeda, Masanobu. |
Роль лиц | editor. |
9 (RLIN) | 325131 |
700 1# - Другие авторы | |
Другие авторы | Wolf, Armin. |
Роль лиц | editor. |
9 (RLIN) | 325133 |
710 2# - Другие организации | |
Организация/юрисдикция | SpringerLink (Online service) |
9 (RLIN) | 143950 |
773 0# - Источник информации | |
Название источника | Springer eBooks |
830 #0 - Заголовок добавочной библ.записи на серию — унифицированное заглавие | |
Унифицированное заглавие | Lecture Notes in Computer Science, |
9 (RLIN) | 279505 |
856 40 - Электронный адрес документа | |
URL | <a href="http://dx.doi.org/10.1007/978-3-642-41524-1">http://dx.doi.org/10.1007/978-3-642-41524-1</a> |
912 ## - Coursera for Campus: онлайн курсы для ТГУ | |
Coursera for Campus: онлайн курсы для ТГУ | ZDB-2-SCS |
912 ## - Coursera for Campus: онлайн курсы для ТГУ | |
Coursera for Campus: онлайн курсы для ТГУ | ZDB-2-LNC |
999 ## - Системные контрольные номера (Koha) | |
biblionumber (Koha) | 357092 |
No items available.