You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
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.
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 ...
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.
The two-volume set LNAI 7094 and 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 selected from XXX submissions. The second volume contains 46 papers focusing on soft computing. The papers are organized in the following topical sections: fuzzy logic, uncertainty and probabilistic reasoning; evolutionary algorithms and other naturally-inspired algorithms; data mining; neural networks and hybrid intelligent systems; and computer vision and image processing.
The three-volume set LNAI 3213, LNAI 3214, and LNAI 3215 constitutes the refereed proceedings of the 8th International Conference on Knowledge-Based Intelligent Information and Engineering Systems, KES 2004, held in Wellington, New Zealand in September 2004.The over 450 papers presented were carefully reviewed and selected from numerous submissions. The papers present a wealth of original research results from the field of intelligent information processing in the broadest sense; among the areas covered are artificial intelligence, computational intelligence, cognitive technologies, soft computing, data mining, knowledge processing, various new paradigms in biologically inspired computing, and applications in various domains like bioinformatics, finance, signal processing etc.
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...
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.
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.
The two-volume set LNAI 7629 and LNAI 7630 constitutes the refereed proceedings of the 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, held in San Luis Potosí, Mexico, in October/November 2012. The 80 revised papers presented were carefully reviewed and selected from 224 submissions. The second volume includes 40 papers focusing on soft computing. The papers are organized in the following topical sections: natural language processing; evolutionary and nature-inspired metaheuristic algorithms; neural networks and hybrid intelligent systems; fuzzy systems and probabilistic models in decision making.
This two-volume set (CCIS 1137 and CCIS 1138) constitutes the proceedings of the Third International Conference on Cyberspace Data and Intelligence, Cyber DI 2019, and the International Conference on Cyber-Living, Cyber-Syndrome, and Cyber-Health, CyberLife 2019, held under the umbrella of the 2019 Cyberspace Congress, held in Beijing, China, in December 2019. The 64 full papers presented together with 18 short papers were carefully reviewed and selected from 160 submissions. The papers are grouped in the following topics: Cyber Data, Information and Knowledge; Cyber and Cyber-enabled Intelligence; Communication and Computing; Cyber Philosophy, Cyberlogic and Cyber Science; and Cyber Health and Smart Healthcare.