Seems you have not registered as a member of localhost.saystem.shop!
You may have to register before you can download all our books and magazines, click the sign up button below to create a free account.
Advances in Artificial Intelligence
The two-volume set LNAI 7094 and LNAI 7095 constitutes the refereed proceedings of the 10th Mexican International Conference on Artificial Intelligence, MICAI 2011, held in Puebla, Mexico, in November/December 2011. The 96 revised papers presented were carefully reviewed and selected from numerous submissions. The first volume includes 50 papers representing the current main topics of interest for the AI community and their applications. The papers are organized in the following topical sections: automated reasoning and multi-agent systems; problem solving and machine learning; natural language processing; robotics, planning and scheduling; and medical applications of artificial intelligence.
Professional Practice in Artificial Intelligence
The Second Symposium on Professional Practice in AI 2006 is a conference within the IFIP World Computer Congress 2006, Santiago, Chile. The Symposium is organised by the IFIP Technical Committee on Artificial Intelligence (Technical Committee 12) and its Working Group 12.5 (Artificial Intelligence Applications). The First Symposium in this series was one of the conferences in the IFIP World Computer Congi-ess 2004, Toulouse France. The conference featured invited talks by Rose Dieng, John Atkinson, John Debenham and Max Bramer. The Symposium was a component of the IFIP AI 2006 conference, organised by Professor Max Bramer. I should like to thank the Symposium General Chair, Professor Bramer ...
MICAI 2007: Advances in Artificial Intelligence
This book constitutes the refereed proceedings of the 6th Mexican International Conference on Artificial Intelligence, MICAI 2007, held in Aguascalientes, Mexico, in November 2007. The 116 revised full papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers are organized in sections on topics that include computational intelligence, neural networks, knowledge representation and reasoning, agents and multiagent systems.
Computational Logic: Logic Programming and Beyond
Alan Robinson This set of essays pays tribute to Bob Kowalski on his 60th birthday, an anniversary which gives his friends and colleagues an excuse to celebrate his career as an original thinker, a charismatic communicator, and a forceful intellectual leader. The logic programming community hereby and herein conveys its respect and thanks to him for his pivotal role in creating and fostering the conceptual paradigm which is its raison d’Œtre. The diversity of interests covered here reflects the variety of Bob’s concerns. Read on. It is an intellectual feast. Before you begin, permit me to send him a brief personal, but public, message: Bob, how right you were, and how wrong I was. I sho...
MICAI 2008: Advances in Artificial Intelligence
The Mexican International Conference on Artificial Intelligence (MICAI), a yearly international conference series organized by the Mexican Society for Artificial Intel- gence (SMIA), is a major international AI forum and the main event in the academic life of the country’s growing AI community. In 2008 Mexico celebrates the 50th an- versary of development of computer science in the country: in 1958 the first computer was installed at the National Autonomous University of Mexico (UNAM). Nowadays, computer science is the country’s fastest growing research area. The proceedings of the previous MICAI events were published by Springer in its Lecture Notes in Artificial Intelligence (LNAI) ser...
Advances in Soft Computing
Artificial intelligence (AI) is a branch of computer science that models the human ability of reasoning, usage of human language and organization of knowledge, solving problems and practically all other human intellectual abilities. Usually it is characterized by the application of heuristic methods because in the majority of cases there is no exact solution to this kind of problem. Soft computing can be viewed as a branch of AI that deals with the problems that explicitly contain incomplete or complex information, or are known to be impossible for direct computation, i.e., these are the same problems as in AI but viewed from the perspective of their computation. The Mexican International Co...
Knowledge-Based Intelligent Information and Engineering Systems
We were very pleased to once again extend to the delegates and, we are pleased to th say, our friends the warmest of welcomes to the 8 International Conference on Knowledge-Based Intelligent Information and Engineering Systems at Wellington - stitute of Technology in Wellington, New Zealand. The KES conferences attract a wide range of interest. The broad focus of the c- ference series is the theory and applications of computational intelligence and em- gent technologies. Once purely a research field, intelligent systems have advanced to the point where their abilities have been incorporated into many conventional appli- tion areas. The quest to encapsulate human knowledge and capabilities in...
Artificial Immune Systems
Arti?cial Immune Systems have come of age. They are no longer an obscure computersciencetechnique,workedonbyacoupleoffarsightedresearchgroups. Today, researchers across the globe are working on new computer algorithms inspired by the workings of the immune system. This vigorous ?eld of research investigates how immunobiology can assist our technology, and along the way is beginning to help biologists understand their unique problems. AIS is now old enough to understand its roots, its context in the research community, and its exciting future. It has grown too big to be con?ned to s- cial sessions in evolutionary computation conferences. AIS researchers are now forming their own community and...
Logic Program Synthesis and Transformation - Meta-Programming in Logic
This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program Synthesis and Transformation (LOPSTR '94) and on Meta-Programming (META '94), held jointly in Pisa, Italy in June 1994. This book includes thoroughly revised versions of the best papers presented at both workshops. The main topics addressed by the META papers are language extensions in support of meta-logic, semantics of meta-logic, implementation of meta-logic features, performance of meta-logic, and several applicational aspects. The LOPSTR papers are devoted to unfolding/folding, partial deduction, proofs as programs, inductive logic programming, automated program verification, specification and programming methodologies.
Intelligent Computing Systems
This book constitutes the proceedings of the 4th International Symposium on Intelligent Computing Systems, ISICS 2022, held in Santiago, Chile, in March 2022. Due to the COVID-19 pandemic the conference was held online. The 9 full papers along with 2 short papers presented in this volume were carefully reviewed and selected from 30 submissions. They deal with the field of intelligent computing systems focusing on artificial intelligence, computer vision and image processing.
