Declarative Agent Languages and Technologies X, Matteo Baldoni; Louise Dennis; Viviana Mascardi; W

Автор: 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. .

Автор: 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.

Автор: Marco Gavanelli; John Reppy
Название: Practical Aspects of Declarative Languages
ISBN: 3319282271 ISBN-13(EAN): 9783319282275
Издательство: Springer
Рейтинг:
Цена: 5590.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the18th International Symposium on Practical Aspects of Declarative Languages,PADL 2016, held in St. Petersburg, FL, USA, in January 2016. The 11 revised papers presented were carefully reviewedand selected from 17 initial submissions for inclusion in the book.

Автор: Enrico Pontelli; Tran Cao Son
Название: Practical Aspects of Declarative Languages
ISBN: 3319196855 ISBN-13(EAN): 9783319196855
Издательство: Springer
Рейтинг:
Цена: 5590.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 17th International Symposium on Practical Aspects of Declarative Languages, PADL 2015, held in Portland, OR, USA, in June 2015. The 10 revised papers presented were carefully reviewed and selected from numerous submissions.

Автор: Matthew Flatt; Hai-Feng Guo
Название: Practical Aspects of Declarative Languages
ISBN: 3319041312 ISBN-13(EAN): 9783319041315
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 16th International Symposium on Practical Aspects of Declarative Languages, PADL 2014, held in SanDiego, CA, USA, in January 2014, co-located with POPL 2014, the 41st Symposium on Principles of Programming Languages.

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

Описание: This book constitutes the refereed post-proceedings of the 15th International Symposium on Practical Aspects of Declarative Languages, PADL 2013, held in Rome, Italy, in January 2013, co-located with POPL 2013, the 40th Symposium on Principles of Programming 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.

Автор: Manuel Carro; Ricardo Pe?a
Название: Practical Aspects of Declarative Languages
ISBN: 3642115020 ISBN-13(EAN): 9783642115028
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 12th International Symposium on Practical Aspects of Declarative Languages, PADL 2010, held in Madrid, Spain, in January 2010, colocated with POPL 2010, the Symposium on Principles of Programming Languages.

Автор: Michael Hanus; Ricardo Rocha
Название: Declarative Programming and Knowledge Management
ISBN: 3319089080 ISBN-13(EAN): 9783319089089
Издательство: Springer
Рейтинг:
Цена: 6708.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Jos?-Luis Sierra-Rodr?guez; Jos?-Paulo Leal; Alber
Название: Languages, Applications and Technologies
ISBN: 3319276522 ISBN-13(EAN): 9783319276526
Издательство: Springer
Рейтинг:
Цена: 8106.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This bookconstitutes the refereed proceedings of the 4th International Symposium onLanguages, Applications and Technologies, SLATE 2015, held in Madrid, Spain, inJune 2015.The 17 revised full papers presented werecarefully reviewed and selected from 57 submissions. The papers are organizedin topical sections on human-human languages;

Автор: Juan Luis Navarro Mesa; Alfonso Ortega; Ant?nio Te
Название: Advances in Speech and Language Technologies for Iberian Languages
ISBN: 3319136224 ISBN-13(EAN): 9783319136226
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the IberSPEECH 2014 Conference, held in Las Palmas de Gran Canaria, Spain, in November 19-21, 2014. The papers are organized in topical sections on speech production, analysis, coding and synthesis; speech of language technologies in different application fields.

Автор: Alberto Abad; Alfonso Ortega; Ant?nio Teixeira; C
Название: Advances in Speech and Language Technologies for Iberian Languages
ISBN: 3319491687 ISBN-13(EAN): 9783319491684
Издательство: Springer
Рейтинг:
Цена: 8106.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the IberSPEECH 2016 Conference, held in Lisbon, Portugal, in November 2016. The 27 papers presented were carefully reviewed and selected from 48 submissions.