Bøger i Lecture Notes in Artificial Intelligence serien

Thisvolume constitutes the refereed proceedings of the 11th International Conferenceon Hybrid Artificial Intelligent Systems, HAIS 2016, held in Seville, Spain, inApril 2016. The 63full papers published in this volume were carefully reviewed and selected from150 submissions.

This book constitutes the refereed proceedings of the 8th International Joint Conference on Automated Reasoning, IJCAR 2016, held in Coimbra, Portugal, in June/July 2016. IJCAR 2014 was a merger of three leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems) and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods).The 26 revised full research papers and 9 system descriptions presented together with 4 invited talks were carefully reviewed and selected from 79 submissions. The papers have been organized in topical sections on satisfiability of Boolean formulas, satisfiability modulo theory, rewriting, arithmetic reasoning and mechanizing mathematics, first-order logic and proof theory, first-order theorem proving, higher-order theorem proving, modal and temporal logics, non-classical logics, and verification.

This book constitutes the refereed proceedings of the 16th Industrial Conference on Advances in Data Mining, ICDM 2016, held in New York, NY, USA, in July 2016. The 33 revised full papers presented were carefully reviewed and selected from 100 submissions.

This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Computer Mathematics, CICM 2016, held in Bialystok, Poland, in July 2016. The 10 full papers and 2 short papers presented were carefully reviewed and selectedfrom a total of 41 submissions.

This two volume set LNAI 9834 and 9835 constitutes the refereed proceedings of the 9th International Conference on Intelligent Robotics and Applications, ICIRA 2016, held in Tokyo, Japan, in August 2016. The 114 papers presented were carefully reviewed and selected from 148 submissions. Robot Mechanism, Robot Vision and Sensing;

This two-volume set (LNAI 9875 and LNAI 9876) constitutes the refereed proceedings of the 8th International Conference on Collective Intelligence, ICCCI 2016, held in Halkidiki, Greece, in September 2016. The 108 full papers presented were carefully reviewed and selected from 277 submissions.

This book constitutes the refereed proceedings of the 24th International Conference on Case-Based Reasoning Research and Development, ICCBR 2016, held in Atlanta, GA, USA, in October/November 2016. The 14 revised full papers presented were carefully reviewed and selected from 44 submissions.

This book constitutes the refereed proceedings of the 11th International Conference on Scalable Uncertainty Management, SUM 2017, which was held in Granada, Spain, in October 2017.

This book constitutes the thoroughly refereed proceedings of the First International Conference on Brain Function Assessment in Learning, BFAL 2017, held in Patras, Greece, in September 2017. The 16 revised full papers presented together with 2 invited talks and 6 posters were carefully selected from 28 submissions.

This book constitutes the proceedings of the 11th International Workshop on Fuzzy Logic and Applications, WILF 2016, held in Naples, Italy, in December 2016. The 22 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from numerous submissions.

This book contains revised and extended versions of selected papers from the 8th International Conference on Agents and Artificial Intelligence, ICAART 2016, held in Rome, Italy, in February 2016. The 17 revised full papers were carefully reviewed and selected from 149 initial submissions.

The two-volume set LNAI 10191 and 10192 constitutes the refereed proceedings of the 9th Asian Conference on Intelligent Information and Database Systems, ACIIDS 2017, held in Kanazawa, Japan, in April 2017. Automated Reasoning and Proving Techniques with Applications in Intelligent Systems; Intelligent Computer Vision Systems and Applications;

This book constitutes the proceedings of the 14th International Conference on Engineering Psychology and Cognitive Ergonomics, EPCE 2017, held in Vancouver, Canada, in July 2017.

The two-volume set LNCS 10350 and 10351 constitutes the thoroughly refereed proceedings of the 30th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, held in Arras, France, in June 2017.

This book constitutes the proceedings of the 23rd International Symposium on Foundations of Intelligent Systems, ISMIS 2017, held in Warsaw, Poland, in June 2017. The 56 regular and 15 short papers presented in this volume were carefully reviewed and selected from 118 submissions. The papers include both theoretical and practical aspects of machine learning, data mining methods, deep learning, bioinformatics and health informatics, intelligent information systems, knowledge-based systems, mining temporal, spatial and spatio-temporal data, text and Web mining. In addition, four special sessions were organized; namely, Special Session on Big Data Analytics and Stream Data Mining, Special Session on Granular and Soft Clustering for Data Science, Special Session on Knowledge Discovery with Formal Concept Analysis and Related Formalisms, and Special Session devoted to ISMIS 2017 Data Mining Competition on Trading Based on Recommendations, which was launched as a part of the conference.

This book constitutes the refereed proceedings of the 14th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2017, held in Lugano, Switzerland, in July 2017.

The two-volume set LNAI 10061 and 10062 constitutes the proceedings of the 15th Mexican International Conference on Artificial Intelligence, MICAI 2016, held in Cancun, Mexico, in October 2016. The total of 86 papers presented in these two volumes was carefully reviewed and selected from 238 submissions. neural networks and deep learning;

This book constitutes the refereed proceedings of the 17th Industrial Conference on Advances in Data Mining, ICDM 2017, held in New York, NY, USA, in July 2017.

This book constitutes the refereed proceedings of the 30th Australasian Joint Conference on Artificial Intelligence, AI 2017, held in Melbourne, VIC, Australia, in August 2017.

This book constitutes the refereed proceedings of the 10th International Conference on Knowledge Science, Engineering and Management, KSEM 2017, held in Melbourne, Australia, in August 2017. The 35 revised full papers and 12 short papers presented were carefully reviewed and selected from 134 submissions. knowledge management;

This book constitutes the proceedings of the 11th International Symposium on Frontiers of Combining Systems, FroCoS 2017, held in Brasilia, Bazil, in September 2017.

This book constitutes the proceedings of the 16th China National Conference on Computational Linguistics, CCL 2017, and the 5th International Symposium on Natural Language Processing Based on Naturally Annotated Big Data, NLP-NABD 2017, held in Nanjing, China, in October 2017. Minority language information processing.

This book constitutes the refereed proceedings of the 13th International Conference on Advanced Data Mining and Applications, ADMA 2017, held in Singapore in November 2017. The 20 full and 38 short papers presented in this volume were carefully reviewed and selected from 118 submissions. data mining applications;

This book constitutes the refereed conference proceedings of the 11th International Conference on Multi-disciplinary Trends in Artificial Intelligence, MIWAI 2017, held in Gadong, Brunei, in November 2017. The 40 revised full papers presented were carefully reviewed and selected from 82 submissions. data mining and machine learning;

This book constitutes revised selected papers from the AIME 2019 workshops KR4HC/ProHealth 2019, the Workshop on Knowledge Representation for Health Care and Process-Oriented Information Systems in Health Care, and TEAAM 2019, the Workshop on Transparent, Explainable and Affective AI in Medical Systems.

This book constitutes the refereed proceedings of the 4th ECML PKDD Workshop on Advanced Analytics and Learning on Temporal Data, AALTD 2019, held in Wurzburg, Germany, in September 2019. The 7 full papers presented together with 9 poster papers were carefully reviewed and selected from 31 submissions.

This book constitutes the proceedings of the 17th International Conference on Engineering Psychology and Cognitive Ergonomics, EPCE 2020, held as part of the 22nd International Conference, HCI International 2020, which took place in Copenhagen, Denmark, in July 2020.