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

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


Automated Planning,, Malik Ghallab

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

Добавить в корзину
в Мои желания
Автор: 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 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.

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.

Automated Model Building

Автор: Caferra
Название: Automated Model Building
ISBN: 1402026528 ISBN-13(EAN): 9781402026522
Издательство: Springer
Рейтинг:
Цена: 18232 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This is the first book on automated model building, a discipline of automated deduction that is of growing importance. Although models and their construction are important per se, automated model building has appeared as a natural enrichment of automated deduction, especially in the attempt to capture the human way of reasoning. The book provides an historical overview of the field of automated deduction, and presents the foundations of different existing approaches to model construction, in particular those developed by the authors.

Finite and infinite model building techniques ar presented. The main emphasis is on calculi-based methods, and relevant practical results are provided. The book is of interest to researchers and graduate students in computer science, computational logic and artificial intelligence.

It can also be used as a textbook in advanced undergraduate courses.

Principles of Automated Negotiation

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

Описание: Top researchers investigate the main challenges and state of the art in automated negotiation and discuss potential applications.

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.

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.

Agent-Mediated Electronic Commerce. Automated Negotiation and Strategy Design for Electronic Markets

Автор: Fasli Maria, Shehory Onn
Название: Agent-Mediated Electronic Commerce. Automated Negotiation and Strategy Design for Electronic Markets
ISBN: 3540725016 ISBN-13(EAN): 9783540725015
Издательство: Springer
Рейтинг:
Цена: 6544 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-proceedings of the joint International Workshops on Trading Agent Design and Analysis, TADA 2006, and on Agent Mediated Electronic Commerce, AMEC VIII 2006, held in Hakodate, Japan, in May 2006 as an associated event of AAMAS 2006, the 5th International Joint Conference on Autonomous Agents and Multiagent Systems.The 17 revised full papers presented were carefully selected from the presentations made at the workshop and include papers from the annual TAC tournament whose purpose is to stimulate research in trading agents and market mechanisms by providing a platform for agents competing in well-defined market scenarios. The papers address a mix of both theoretical and practical issues in trading agent design and technologies, theoretical and empirical evaluation of strategies in complex trading scenarios as well as mechanism design. Also covered are issues of agent-mediated electronic commerce ranging from the design of electronic marketplaces and efficient protocols to behavioral aspects of agents operating in such environments.

Automated Reasoning with Analytic Tableaux and Related Methods / International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings

Автор: Cialdea Mayer Marta, Pirri Fiora
Название: Automated Reasoning with Analytic Tableaux and Related Methods / International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings
ISBN: 3540407871 ISBN-13(EAN): 9783540407874
Издательство: Springer
Рейтинг:
Цена: 6077 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2003, held in Rome, Italy in September 2003.The 20 revised full papers presented were carefully reviewed and selected for inclusion in the book. All current issues surrounding the mechanization of logical reasoning with tableaux and similar methods are addressed in the context of a broad variety of logic calculi.

Practice and Theory of Automated Timetabling IV / 4th International Conference, PATAT 2002, Gent, Belgium, August 21-23, 2002, Selected Revised Papers

Автор: Burke Edmund, Causmaecker Patrick De
Название: Practice and Theory of Automated Timetabling IV / 4th International Conference, PATAT 2002, Gent, Belgium, August 21-23, 2002, Selected Revised Papers
ISBN: 3540406999 ISBN-13(EAN): 9783540406990
Издательство: Springer
Рейтинг:
Цена: 7479 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

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


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