Reasoning Web, Cristina Baroglio; Piero A. Bonatti; Jan Maluszyns

Автор: J?rgen Giesl; Reiner H?hnle
Название: Automated Reasoning
ISBN: 3642142028 ISBN-13(EAN): 9783642142024
Издательство: Springer
Рейтинг:
Цена: 14673.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 5th International Joint Conference on Automated Reasoning, IJCAR 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010.

Автор: Diego Calvanese; Georg Lausen
Название: Web Reasoning and Rule Systems
ISBN: 3540887369 ISBN-13(EAN): 9783540887362
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the Second International Conference on Web Reasoning and Rule Systems, RR 2008, held in Karlsruhe, Germany in October/November 2008. This title includes papers that address topics in Web reasoning and rule systems such as acquisition of rules and ontologies by knowledge extraction.

Автор: Iliano Cervesato; Helmut Veith; Andrei Voronkov
Название: Logic for Programming, Artificial Intelligence, and Reasoning
ISBN: 3540894381 ISBN-13(EAN): 9783540894384
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008, which took place in Doha, Qatar, during November 22-27, 2008. This book contains the papers that address issues in automated reasoning, computational logic, and programming languages.

Автор: Peter Eklund; Ollivier Haemmerl?
Название: Conceptual Structures: Knowledge Visualization and Reasoning
ISBN: 3540705953 ISBN-13(EAN): 9783540705956
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents the refereed proceedings of the 16th International Conference on Conceptual Structures, ICCS 2008, held in Toulouse, France, in July 2008. This book includes papers that present Conceptual Structure approaches that build on techniques derived from artificial intelligence, knowledge representation, and computational linguistics.

Автор: Alessandro Armando; Peter Baumgartner; Gilles Dowe
Название: Automated Reasoning
ISBN: 3540710698 ISBN-13(EAN): 9783540710691
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia, in August 2008. This title includes papers that address the spectrum of research in automated reasoning and are organized in topical sections on specific theories.

Автор: Claudio Sossai; Gaetano Chemello
Название: Symbolic and Quantitative Approaches to Reasoning with Uncertainty
ISBN: 3642029051 ISBN-13(EAN): 9783642029059
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2009, held in Verona, Italy, July 1-3, 2009.

Автор: Goel
Название: Case-Based Reasoning Research and Development
ISBN: 3319470957 ISBN-13(EAN): 9783319470955
Издательство: Springer
Рейтинг:
Цена: 9224.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 24th International Conference on Case-Based Reasoning Research and Development, ICCBR 2016, held in Atlanta, GA, USA, in October/November 2016. The 14 revised full papers presented were carefully reviewed and selected from 44 submissions.

Автор: Haemmerl?
Название: Graph-Based Representation and Reasoning
ISBN: 3319409840 ISBN-13(EAN): 9783319409849
Издательство: Springer
Рейтинг:
Цена: 6988.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 22th International Conference on Conceptual Structures, ICCS 2016, held in Annecy, France, in July 2016. The 14 full papers and 5 short papers presented in this volume were carefully reviewed and selected from 40 submissions.