Bücher der Reihe Lecture Notes in Artificial Intelligence

The three volume proceedings LNAI 11906 - 11908 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2019, held in Wurzburg, Germany, in September 2019.The total of 130 regular papers presented in these volumes was carefully reviewed and selected from 733 submissions;

This book constitutes the proceedings of the 14th International Conference on Computational Processing of the Portuguese Language, PROPOR 2020, held in Evora, Portugal, in March 2020. The 36 full papers presented together with 5 short papers were carefully reviewed and selected from 70 submissions. natural language processing applications;

This book constitutes the refereed proceedings of the 39th Annual German Conference on Artificial Intelligence, KI 2016, in conjunction with the Österreichische Gesellschaft für Artificial Intelligence, ÖGAI, held in Klagenfurt, Austria, in September 2016.The 8 revised full technical papers presented together with 12 technical communications, and 16 extended abstracts were carefully reviewed and selected from 44 submissions.The conference provides the opportunity to present a wider range of results and ideas that are of interest to the KI audience, including reports about recent own publications, position papers, and previews of ongoing work.

The three volume set LNAI 9851, LNAI 9852, and LNAI 9853 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2016, held in Riva del Garda, Italy, in September 2016.

This book constitutes the proceedings of the 12th European Conference on Multi-Agent Systems, EUMAS 2014, held in Prague, Czech Republic, in December 2014. The 21 full papers and 8 short papers presented in this volume were carefully reviewed and selected from 79 submissions.

This book constitutes the refereed proceedings of the 13th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2015, held in Compiegne, France, in July 2015.

This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Automated Deduction in Geometry, ADG 2014, held in Coimbra, Portugal, in July 2014. The papers show the trend set of current research in automated reasoning in geometry.

The three volume set LNAI 9284, 9285, and 9286 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2015, held in Porto, Portugal, in September 2015. These include 89 research papers, 11 industrial papers, 14 nectar papers, and 17 demo papers.

This book constitutes the refereed proceedings of the 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2015, held in Wroclaw, Poland, in September 2015. The 19 full papers and 2 papers presented in this volume were carefully reviewed and selected from 34 submissions.

This book constitutes the refereed proceedings of the 8th International Conference on Knowledge Science, Engineering and Management, KSEM 2015, held in Chongqing, China, in October 2015. The 57 revised full papers presented together with 22 short papers and 5 keynotes were carefully selected and reviewed from 247 submissions.

This book constitutes the refereed proceedings of the 22ndInternational Symposium on Methodologies for Intelligent Systems, ISMIS 2015,held in Lyon, France, in October 2015. The 31 revised full papers presented together with 18short papers were carefully reviewed and selected from 67 submissions.

This bookconstitutes revised selected papers from the third ECML PKDD Workshop on DataAnalytics for Renewable Energy Integration, DARE 2015, held in Porto, Portugal,in September 2015. The 10 papers presented in this volume were carefully reviewed and selected forinclusion in this book.

This two-volume set, LNAI 9651 and 9652, constitutes thethoroughly refereed proceedings of the 20th Pacific-Asia Conference on Advancesin Knowledge Discovery and Data Mining, PAKDD 2016, held in Auckland, NewZealand, in April 2016. The 91 full papers were carefully reviewed andselected from 307 submissions.

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;