This book constitutes the refereed proceedings of the 22th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2013, held in Nancy, France, in September 2013. The 20 revised research papers presented together with 4 system descriptions were carefully reviewed and selected from 38 submissions. The papers cover many topics as proof-theory in classical and non-classical logics, analytic tableaux for various logics, related techniques and concepts, e.g., model checking and BDDs, related methods (model elimination, sequent calculi, resolution, and...

In most scenarios of the future a personalized virtual butler appears. This butler not only performs communication and coordination tasks but also gives recommendations on how to handle everyday problems. The aim of this book is to explore the prerequisites of such a personalized virtual butler by asking: what is known about the capacities and the needs of aging people; which information and communication technologies have been used in assisting/conversing with persons, especially older ones, and what were the results; what are the advantages/disadvantages of virtual butlers as mainly...

The two-volume set LNAI 7818 + LNAI 7819 constitutes the refereed proceedings of the 17th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2013, held in Gold Coast, Australia, in April 2013. The total of 98 papers presented in these proceedings was carefully reviewed and selected from 363 submissions. They cover the general fields of data mining and KDD extensively, including pattern mining, classification, graph mining, applications, machine learning, feature selection and dimensionality reduction, multiple information sources mining, social networks, clustering, text...

This book constitutes the refereed proceedings of the 11th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2013, held in Salamanca, Spain, in May 2013. The 14 revised full papers and 9 short papers presented together with 16 demonstrations were carefully reviewed and selected from 70 submissions. The papers report on the application and validation of agent-based models, methods, and technologies in a number of key application areas, including: agents for real world problems; crowd modeling and analysis; decision making and discovery; interaction...

This book constitutes the refereed proceedings of the 11th International Conference on Formal Concept Analysis, ICFCA 2013, held in Dresden, Germany, in May 2013. The 15 regular papers presented in this volume were carefully reviewed and selected from 46 submissions. The papers present current research from a thriving theoretical community and a rapidly expanding range of applications in information and knowledge processing including data visualization and analysis (mining), knowledge management, as well as Web semantics, and software engineering. In addition the book contains a reprint of...

This book constitutes the refereed proceedings of the 14th Conference on Artificial Intelligence in Medicine, AIME 2013, held in Murcia, Spain, in May/June 2013. The 43 revised full and short papers presented were carefully reviewed and selected from 82 submissions. The papers are organized in the following topical sections: decision support, guidelines and protocols; semantic technology; bioinformatics; machine learning; probabilistic modeling and reasoning; image and signal processing; temporal data visualization and analysis; and natural language processing.

This book constitutes the refereed proceedings of the 25th Canadian Conference on Artificial Intelligence, Canadian AI 2012, held in Regina, SK, Canada, in May 2013. The 17 regular papers and 15 short papers presented were carefully reviewed and selected from 73 initial submissions and are accompanied by 8 papers from the Graduate Student Symposium that were selected from 14 submissions. The papers cover a variety of topics within AI, such as: information extraction, knowledge representation, search, text mining, social networks, temporal associations.

This book constitutes the proceedings of the 24th International Conference on Automated Deduction, CADE-24, held in Lake Placid, NY, USA, in June 2013. The 31 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 71 initial submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, ranging from theoretical and methodological issues to the presentation of new theorem provers, solvers and systems.

This volume constitutes the thoroughly refereed conference proceedings of the 26th International Conference on Industrial Engineering and Other Applications of Applied Intelligence Systems, IEA/AIE 2013, held in Amsterdam, The Netherlands, in June 2013. The total of 71 papers selected for the proceedings were carefully reviewed and selected from 185 submissions. The papers focus on the following topics: auctions and negotiation, cognitive modeling, crowd behavior modeling, distributed systems and networks, evolutionary algorithms, knowledge representation and reasoning, pattern recognition,...

The two-volume set LNAI 7894 and LNCS 7895 constitutes the refereed proceedings of the 12th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2013, held in Zakopane, Poland in June 2013. The 112 revised full papers presented together with one invited paper were carefully reviewed and selected from 274 submissions. The 56 papers included in the second volume are organized in the following topical sections: evolutionary algorithms and their applications; data mining; bioinformatics and medical applications; agent systems, robotics and control; artificial...