История
+7(495) 980-12-10
  10:00-18:00 пн-сб
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
  Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Специальные предложения | Бестселлеры
 
 
Вход в систему
Книги
Информация
Читайте отзывы покупателей и оценивайте качество магазина на Яндекс.Маркете
Online Каталоги
Каталог учебной литературы
по английскому языку >>>

Каталог учебной литературы
по английскому языку >>>


Automated Planning,, Malik Ghallab

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

Добавить в корзину
в Мои желания
Автор: Malik Ghallab
Название:  Automated Planning,
Издательство: Elsevier Science
Классификация:
Техника связи / телекоммуникация
Искусственный интеллект

ISBN: 1558608567
ISBN-13(EAN): 9781558608566
ISBN: 1-55860-856-7
ISBN-13(EAN): 978-1-55860-856-6
Обложка/Формат: Hardback
Страницы: 635
Вес: 1.576 кг.
Дата издания: 21.05.2004
Серия: The morgan kaufmann series in artificial intelligence
Язык: ENG
Иллюстрации: Illustrations
Размер: 24.08 x 19.61 x 4.27 cm
Читательская аудитория: Tertiary education (us: college)
Подзаголовок: Theory and practice
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Англии
Описание: Automated planning technology plays a significant role in a variety of demanding applications, ranging from controlling space vehicles and robots to playing the game of bridge. This book covers both the theory and practice of automated planning. It is useful for researchers, professionals, and graduate students.
Дополнительное описание:




Automated Reasoning / Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Автор: Furbach Ulrich, Shankar Natarajan
Название: Automated Reasoning / Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
ISBN: 3540371877 ISBN-13(EAN): 9783540371878
Издательство: Springer
Рейтинг:
Цена: 11219 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2006, held in Seattle, WA, USA in August 2006 as part of the 4th Federated Logic Conference, FLoC 2006. IJCAR 2006 is a merger of CADE, FroCoS, FTP, TABLEAUX, and TPHOLs.The 41 revised full research papers and 8 revised system descriptions presented together with 3 invited papers and a summary of a systems competition were carefully reviewed and selected from a total of 152 submissions. The papers address the entire spectrum of research in automated reasoning including formalization of mathematics, proof theory, proof search, description logics, interactive proof checking, higher-order logic, combination methods, satisfiability procedures, and rewriting. The papers are organized in topical sections on proofs, search, higher-order logic, proof theory, search, proof checking, combination, decision procedures, CASC-J3, rewriting, and description logic.

Practice and Theory of Automated Timetabling V / 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers

Автор: Burke Edmund, Trick Michael
Название: Practice and Theory of Automated Timetabling V / 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers
ISBN: 3540307052 ISBN-13(EAN): 9783540307051
Издательство: Springer
Рейтинг:
Цена: 7012 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Practice and Theory of Automated Timetabling, PATAT 2004, held in Pittsburgh, PA, USA in August 2004.The 19 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers are organized in topical sections on general issues, transport timetabling, university course timetabling, school timetabling, project scheduling, and examination timetabling.

Automated Reasoning with Analytic Tableaux and Related Methods / International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings

Автор: Beckert Bernhard
Название: Automated Reasoning with Analytic Tableaux and Related Methods / International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
ISBN: 3540289313 ISBN-13(EAN): 9783540289319
Издательство: Springer
Рейтинг:
Цена: 7012 р.
Наличие на складе: Нет в наличии.

Описание: This book constitutes the refereed proceedings of the 14th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2005, held in Koblenz, Germany, in September 2005.The 18 revised research papers presented together with 7 system descriptions as well as 4 invited talks were carefully reviewed and selected from 46 submissions. All aspects of the mechanization of reasoning with tableaux and related methods are focused: analytic tableaux for various logics, related techniques and concepts, new calculi and methods for theorem proving in classical and non-classical logics, systems, tools, and implementations. It puts a special emphasis on applications of tableaux and related methods in areas such as, for example, hardware and software verification, knowledge engineering, and semantic Web.

Intelligent Data Engineering and Automated Learning - IDEAL 2004 / 5th International Conference, Exeter, UK, August 25-27, 2004, Proceedings

Автор: Yang Zhen Rong, Everson Richard, Yin Hujun
Название: Intelligent Data Engineering and Automated Learning - IDEAL 2004 / 5th International Conference, Exeter, UK, August 25-27, 2004, Proceedings
ISBN: 3540228810 ISBN-13(EAN): 9783540228813
Издательство: Springer
Цена: 10752 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 5th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2004, held in Exeter, UK, in August 2004.The 124 revised full papers presented were carefully reviewed and selected from 272 submissions. The papers are organized in topical sections on bioinformatics, data mining and knowledge engineering, learning algorithms and systems, financial engineering, and agent technologies.

Automated Deduction in Geometry / 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers

Автор: Winkler Franz
Название: Automated Deduction in Geometry / 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers
ISBN: 3540209271 ISBN-13(EAN): 9783540209270
Издательство: Springer
Рейтинг:
Цена: 6544 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Automated Deduction in Geometry, ADG 2002, held at Hagenberg Castle, Austria in September 2002.The 13 revised full papers presented were carefully selected during two rounds of reviewing and improvement. Among the issues addressed are theoretical and methodological topics, such as the resolution of singularities, algebraic geometry and computer algebra; various geometric theorem proving systems are explored; and applications of automated deduction in geometry are demonstrated in fields like computer-aided design and robotics.

Principles of Automated Negotiation

Автор: Fatima
Название: Principles of Automated Negotiation
ISBN: 1107002540 ISBN-13(EAN): 9781107002548
Издательство: Cambridge Academ
Рейтинг:
Цена: 3954 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: With an increasing number of applications in the context of multi-agent systems, automated negotiation is a rapidly growing area. Written by top researchers in the field, this state-of-the-art treatment of the subject explores key issues involved in the design of negotiating agents, covering strategic, heuristic, and axiomatic approaches. The authors discuss the potential benefits of automated negotiation as well as the unique challenges it poses for computer scientists and for researchers in artificial intelligence. They also consider possible applications and give readers a feel for the types of domains where automated negotiation is already being deployed. This book is ideal for graduate students and researchers in computer science who are interested in multi-agent systems. It will also appeal to negotiation researchers from disciplines such as management and business studies, psychology and economics.

Automated Deduction - CADE 21 / 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings

Автор: Pfenning Frank
Название: Automated Deduction - CADE 21 / 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings
ISBN: 3540735941 ISBN-13(EAN): 9783540735946
Издательство: Springer
Рейтинг:
Цена: 9349 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 21st International Conference on Automated Deduction, CADE-21, held in Bremen, Germany, in July 2007.The 28 revised full papers and 6 system descriptions presented were carefully reviewed and selected from 64 submissions. All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation and evaluation of theorem provers and logical reasoning systems. The papers are organized in topical sections on higher-order logic, description logic, intuitionistic logic, satisfiability modulo theories, induction, rewriting, and polymorphism, first-order logic, model checking and verification, termination, as well as tableaux and first-order systems.

Proof Theory and Automated Deduction

Автор: Goubault-Larrecq J., Mackie I.
Название: Proof Theory and Automated Deduction
ISBN: 1402003684 ISBN-13(EAN): 9781402003684
Издательство: Springer
Рейтинг:
Цена: 11219 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Proof Theory and Automated Deduction is written for final-year undergraduate and first-year post-graduate students. It should also serve as a valuable reference for researchers in logic and computer science. It covers basic notions in logic, with a particular stress on proof theory, as opposed to, for example, model theory or set theory; and shows how they are applied in computer science, and especially the particular field of automated deduction, i.e. the automated search for proofs of mathematical propositions. We have chosen to give an in-depth analysis of the basic notions, instead of giving a mere sufficient analysis of basic and less basic notions. We often derive the same theorem by different methods, showing how different mathematical tools can be used to get at the very nature of the objects at hand, and how these tools relate to each other. Instead of presenting a linear collection of results, we have tried to show that all results and methods are tightly interwoven. We believe that understanding how to travel along this web of relations between concepts is more important than just learning the basic theorems and techniques by rote. Audience: The book is a valuable reference for researchers in logic and computer science.

Automated Theorem Proving in Software Engineering

Автор: Schumann Johann M., Loveland D.
Название: Automated Theorem Proving in Software Engineering
ISBN: 3540679898 ISBN-13(EAN): 9783540679899
Издательство: Springer
Рейтинг:
Цена: 8134 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The growing demand for high quality, safety, and security of software systems can only be met by rigorous application of formal methods during software design. Tools for formal methods in general, however, do not provide a sufficient level of automatic processing. This book methodically investigates the potential of first-order logic automated theorem provers for applications in software engineering.Illustrated by complete case studies on verification of communication and security protocols and logic-based component reuse, the book characterizes proof tasks to allow an assessment of the provers' capabilities. Necessary techniques and extensions, e.g., for handling inductive and modal proof tasks, or for controlling the prover, are covered in detail. The book demonstrates that state-of-the-art automated theorem provers are capable of automatically handling important tasks during the development of high-quality software and it provides many helpful techniques for increasing practical usability of the automated theorem prover for successful applications.

Intelligent Data Engineering and Automated Learning - IDEAL 2005 / 6th International Conference, Brisbane, Australia, July 6-8, 2005, Proceedings

Автор: Gallagher Marcus, Hogan James, Maire Frederic
Название: Intelligent Data Engineering and Automated Learning - IDEAL 2005 / 6th International Conference, Brisbane, Australia, July 6-8, 2005, Proceedings
ISBN: 354026972X ISBN-13(EAN): 9783540269724
Издательство: Springer
Рейтинг:
Цена: 9817 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 6th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2005, held in Brisbane, Australia, in July 2005.The 76 revised full papers presented were carefully reviewed and selected from 167 submissions. The papers are organized in topical sections on data mining and knowledge engineering, learning algorithms and systems, bioinformatics, agent technologies, and financial engineering.

Handbook of Automated Reasoning,II

Автор: Alan J.A. Robinson
Название: Handbook of Automated Reasoning,II
ISBN: 0444508120 ISBN-13(EAN): 9780444508126
Издательство: Elsevier Science
Рейтинг:
Цена: 22908 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This second volume of "Handbook of Automated Reasoning" covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics.

Innovations in Agent-Based Complex Automated Negotiations

Автор: Ito
Название: Innovations in Agent-Based Complex Automated Negotiations
ISBN: 3642156118 ISBN-13(EAN): 9783642156113
Издательство: Springer
Рейтинг:
Цена: 15894 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Complex Automated Negotiations have been widely studied and are becoming an important, emerging area in the field of Autonomous Agents and Multi-Agent Systems. In general, automated negotiations can be complex, since there are a lot of factors that characterize such negotiations. These factors include the number of issues, dependency between issues, representation of utility, negotiation protocol, negotiation form (bilateral or multi-party), time constraints, etc. Software agents can support automation or simulation of such complex negotiations on the behalf of their owners, and can provide them with adequate bargaining strategies. In many multi-issue bargaining settings, negotiation becomes more than a zero-sum game, so bargaining agents have an incentive to cooperate in order to achieve efficient win-win agreements. Also, in a complex negotiation, there could be multiple issues that are interdependent. Thus, agent's utility will become more complex than simple utility functions. Further, negotiation forms and protocols could be different between bilateral situations and multi-party situations. To realize such a complex automated negotiation, we have to incorporate advanced Artificial Intelligence technologies includes search, CSP, graphical utility models, Bays nets, auctions, utility graphs, predicting and learning methods. Applications could include e-commerce tools, decision-making support tools, negotiation support tools, collaboration tools, etc. In this book, we solicit papers on all aspects of such complex automated negotiations in the field of Autonomous Agents and Multi-Agent Systems. In addition, this book includes papers on the ANAC 2010 (Automated Negotiating Agents Competition), in which automated agents who have different negotiation strategies and implemented by different developers are automatically negotiate in the several negotiation domains. ANAC is one of real testbeds in which strategies for automated negotiating agents are evaluated in a tournament style.


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