Artificial intelligence Books

Advanced research on the description of distributed systems and on design calculi for software and hardware is presented in this volume. Distinguished researchers give an overview of the latest state of the art.

This book assembles some of the most important problems and solutions in theoretical computer science-from computability, logic, circuit theory, and complexity. The book presents these important results with complete proofs in...

This exciting new text reveals both the evolution of this programming paradigm since its inception and the impressively broad scope of current research in the field. The contributors to this book are all leading world experts...

This book covers a broad range of intelligent information agents, presenting the latest state-of-the-art research in the field. Each section is systematically and coherently introduced, including coverage of cooperative...

Intended for engineers who deal with vibrations of rods and shells in their everyday practice but who also wish to understand the subject from the mathematical point-of-view, the results contained here concerning high-frequency...

A class of finite element methods, the Discontinuous Galerkin Methods (DGM), has been under rapid development recently and has found its use very quickly in such diverse applications as aeroacoustics, semi-conductor device...

This book focuses on next generation data technologies in support of collective and computational intelligence. The book brings various next generation data technologies together to capture, integrate, analyze, mine, annotate and visualize distributed...

Requiring heterogeneous information systems to cooperate and communicate has now become crucial, especially in application areas like e-business, Web-based mash-ups and the life sciences. Such cooperating systems have to automatically and efficiently...

Intelligent Information Systems (IIS) can be defined as the next generation of Information Systems (IS) developed as a result of integration of AI and database (DB) technologies. IIS embody knowledge that allows them to exhibit...

New approaches are needed that could move us towards developing effective applicable intelligent systems for problem solving and decision making, One of the main efforts in intelligent systems development is focused on...

and Motivation.- Basic Definitions and Results.- Abstract Semantics by Size.- Preferential Structures #x2013; Part I.- Preferential Structures #x2013; Part II.- Higher Preferential Structures.- Deontic Logic and Hierarchical Conditionals.- Theory Update...

Conceptual Theory of Cognitive Reasoning.- Introductory Explanation.- Basic System of Concepts.- Constructing a Model of a Cognizing Agent.- Cognitive Reasoning Framework.- Logic Foundation.- Introductory Explanation.- Propositional Logic.- First-Order...

The term "soft computing" applies to variants of and combinations under the four broad categories of evolutionary computing, neural networks, fuzzy logic, and Bayesian statistics. Although each one has its separate strengths,...

By the dawn of the new millennium, robotics has undergone a major transformation in scope and dimensions. This expansion has been brought about by the maturity of the field and the advances in its related technologies. From a...

The 7th ACIS International Conference on Software Engineering Research, Management and Applications (SERA 2009) was held on Hainan Island, China from December 2 - 4. SERA '09 featured excellent theoretical and practical...

This book presents a collection of invited works that consider constructive methods for neural networks, taken primarily from papers presented at a special th session held during the 18 International Conference on Artificial...

Tremendous advances in all disciplines including engineering, science, health care, business, avionics, management, and so on, can also be attributed to the development of artificial intelligence paradigms. In fact, researchers...

rd This book constitutes a collection of extended versions of papers presented at the 23 IFIP TC7 Conference on System Modeling and Optimization, which was held in C- cow, Poland, on July 23-27, 2007. It contains 7 plenary and...

The rapid increase in computing power and communication speed, coupled with computer storage facilities availability, has led to a new age of multimedia app- cations. Multimedia is practically everywhere and all around us we...

The College of Computing and Informatics (CCI) at UNC-Charlotte has three departments: Computer Science, Software and Information Systems, and Bioinformatics and Genomics. The Department of Computer Science offers study in a...

We describe in this book, new methods for evolutionary design of intelligent s- tems using soft computing and their applications in modeling, simulation and c- trol. Soft Computing (SC) consists of several intelligent computing...

Thisvolumeexploresabductivecognition,animportantbut,atleastuntilthe third quarter of the last century, neglected topic in cognition. It integrates and further develops ideas already introduced in a previous book, which I...

New approaches are needed that could move us towards developing effective systems for problem solving and decision making, systems that can deal with complex and ill-structured situations, systems that can function in...

Multi-objective optimization deals with the simultaneous optimization of two or more objectives which are normally in con?ict with each other. Since mul- objective optimization problems are relatively common in real-world...

For over fifty years now, the famous problem of flow shop and job shop scheduling has been receiving the attention of researchers in operations research, engineering, and computer science. Over the past several years, there has...

Exploration in Stochastic Algorithms: An Application on - Ant System.- Sensitive Ants: Inducing Diversity in the Colony.- Decentralised Communication and Connectivity in Ant Trail Networks.- Detection of Non-structured Roads Using Visible and...

The Prediction of Partners' Behaviors in Self-interested Agents.- Sequential Auctions for Common Value Objects with Budget Constrained Bidders.- A Comparative Study of Argumentation- and Proposal-Based Negotiation.- The Blind Leading the Blind: A...

This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2010, held in Kolkata, India, in November 2010. The 18 full...

Data Management is the process of planning, coordinating and controlling data resources. More often, applications need to store and search a large amount of data. Managing Data has been continuously challenged by demands from...

Proceedings of the Sixth International Conference on Intelligent System and Knowledge Engineering presents selected papers from the conference ISKE 2011, held December 15-17 in Shanghai, China. This proceedings doesn't only examine original research and...

Little by little we are being provided with an arsenal of operative instruments of a non-numerical nature, in the shape of models and algorithms, capable of providing answers to the "aggressions" which our economics and...

The book at hand re?ects on the increasing convergence of Social Media and Semantic Web technologies. It was the editors' intention to collect - to-date and high quality contributions that illustrate various approaches to this...

This book considers two popular topics: fault detection and isolation (FDI) and flight data estimation using flush air data sensing (FADS) systems. Literature surveys, comparison tests, simulations and wind tunnel tests are...

This book constitutes the refereed proceedings of the IFIP WG 8.6 International Working Conference on Governance and Sustainability in Information Systems, held in Hamburg, Germany, in September 2011. The 14 revised full papers...

This book represents the combined peer-reviewed proceedings of the Fifth International Symposium on Intelligent Distributed Computing -- IDC 2011 and of the Third International Workshop on Multi-Agent Systems Technology and...

This carefully edited book comprises the papers from EUROFUSE 2011 Workshop on Fuzzy Methods for Knowledge-based Systems. EUROFUSE was established in 1998 as the EURO (the Association of European Operational Research Societies)...

In many practical situations, we are interested in statistics characterizing a population of objects: e.g. in the mean height of people from a certain area. Most algorithms for estimating such statistics assume that the sample...

The two-volume set LNCS 6852/6853 constitutes the refereed proceedings of the 17th International Euro-Par Conference held in Bordeaux, France, in August/September 2011. The 81 revised full papers presented were carefully...

This book constitutes the refereed proceedings of the 14th RoboWorld Cup and Congress of the Federation of International Robosoccer Association, FIRA 2011, held in Kaohsiung, Taiwan in August 2011.The 34 revised papers...

The rapidly growing volume of available digital documents of various formats and the possibility to access these through Internet-based technologies, have led to the necessity to develop solid methods to properly organize and...

While sailing has a long tradition, both as a means of transportation and as a sport, robotic sailing is a fairly new area of research. One of its unique characteristics is the use of wind for propulsion. On the one hand, this...

This book presents a collection of 36 pieces of scientific work in the areas of complexity theory and foundations of cryptography: 20 research contributions, 13 survey articles, and 3 programmatic and reflective viewpoint statements. These so far...

The practical task of building a talking robot requires a theory of how natural language communication works. Conversely, the best way to computationally verify a theory of natural language communication is to demonstrate its...

This book constitutes thoroughly refereed post-conference proceedings of the workshops of the 16th International Conference on Parallel Computing, Euro-Par 2010, held in Ischia, Italy, in August/September 2010. The papers of...

The two-volume set (LNCS 6728 and 6729) constitutes the refereedproceedings of the International Conference on Swarm Intelligence, ICSI2011, held in Chongqing, China, in June 2011.The 143 revised full papers presented were...

One of the most challenging issues for the intelligent decision systems is to effectively manage the large-scale complex distributed environments such as computational clouds, grids, ad hoc and P2P networks, under the different...

Computational optimization is an important paradigm with a wide range of applications. In virtually all branches of engineering and industry, we almost always try to optimize something - whether to minimize the cost and energy...