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

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

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

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

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

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

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

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

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

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

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

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