Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Declarative Programming and Knowledge Management, Michael Hanus; Ricardo Rocha


Варианты приобретения
Цена: 6708.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Michael Hanus; Ricardo Rocha
Название:  Declarative Programming and Knowledge Management
ISBN: 9783319089089
Издательство: Springer
Классификация:



ISBN-10: 3319089080
Обложка/Формат: Paperback
Страницы: 251
Вес: 0.37 кг.
Дата издания: 24.07.2014
Серия: Lecture Notes in Artificial Intelligence
Язык: English
Размер: 234 x 156 x 14
Основная тема: Computer Science
Подзаголовок: Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs.- Sharing and Exchanging Data.- Propositional Encoding of Constraints over Tree-Shaped Data.- On a High-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry.- On Axiomatic Rejection for the Description Logic ALC.- And Action! - Monoid Actions and (Pre)orders.- HEX-Programs with Existential Quantification.- Introducing Real Variables and Integer Objective Functions to Answer Set Programming.- Coverage Driven Test Generation and Consistency Algorithm.- A Datalog Engine for GPUs.- Towards Parallel Constraint-Based Local Search with the X10 Language.- Debate Games in Logic Programming.- A Descriptive Handling of Directly Con icting Rules in Preferred Answer Sets.- Some Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley.- Heuristic Search Over Program Transformations.


Practical Aspects of Declarative Languages

Автор: Lierler
Название: Practical Aspects of Declarative Languages
ISBN: 3319516752 ISBN-13(EAN): 9783319516752
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017, held in Paris, France, in January 2017 and collocated with the ACM SIGPLAN Symposium on Principles of Programming Languages.

Declarative Agent Languages and Technologies VI

Автор: Matteo Baldoni; Tran Cao Son; Birna van Riemsdijk;
Название: Declarative Agent Languages and Technologies VI
ISBN: 3540939199 ISBN-13(EAN): 9783540939191
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Covers the 6th International Workshop, DALT 2008, held as satellite workshop of AAMAS 2008, the 7th International Joint Conference on Autonomous Agents and Multiagent Systems, in Estoril, Portugal, on May 12, 2008.

Declarative Agent Languages and Technologies VII

Автор: Matteo Baldoni; Jamal Bentahar; M. Birna van Riems
Название: Declarative Agent Languages and Technologies VII
ISBN: 3642113540 ISBN-13(EAN): 9783642113543
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 7th International Workshop DALT 2009 Budapest Hungary May 11 2009 Revised Selected and Invited Pape. .

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation

Автор: Thomas Eiter; Hannes Strass; Miros?aw Truszczy?ski
Название: Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
ISBN: 3319147250 ISBN-13(EAN): 9783319147253
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This Festschrift is published in honor of Gerhard Brewka on the occasion of his 60th birthday and contains articles from fields reflecting the breadth of Gerd`s work.

Progress in Artificial Intelligence: Knowledge Extraction, Multi-agent Systems, Logic Programming, and Constraint Solving

Автор: Pavel Brazdil; Alipio Jorge
Название: Progress in Artificial Intelligence: Knowledge Extraction, Multi-agent Systems, Logic Programming, and Constraint Solving
ISBN: 354043030X ISBN-13(EAN): 9783540430308
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The tenth Portuguese Conference on Arti?cial Intelligence, EPIA 2001 was held in Porto and continued the tradition of previous conferences in the series. The conference was organized, as usual, under the auspices of the Portuguese Association for Arti?cial Intelligence (APPIA, http://www.appia.pt).

Declarative Agent Languages and Technologies X

Автор: Matteo Baldoni; Louise Dennis; Viviana Mascardi; W
Название: Declarative Agent Languages and Technologies X
ISBN: 3642378897 ISBN-13(EAN): 9783642378898
Издательство: Springer
Рейтинг:
Цена: 6429.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Declarative Agent Languages and Technologies, DALT 2012, held in conjunction with the 11th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012) at Valencia, Spain, in June 2012.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия