Books in the Lecture Notes in Artificial Intelligence series

This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, CICM 2020, held in Bertinoro, Italy, in July 2020*.The 15 full papers, 1 invited paper and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 35 submissions.

Constitutes the proceedings of the International Workshop on Autonomous Intelligent Systems: Agents and Data Mining, AIS-ADM 2005, held in St Petersburg, Russia in June 2005. This book contains papers that are organized in topical sections on agent-based data mining issues, ontologies and Web mining, and applications and case studies.

This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in July 1994. Since its conception as a discipline thirty years ago, temporal logic is studied by many researchers of numerous backgrounds;

This book constitutes the thoroughly refereed conference proceedings of the 10th International Conference on Rough Sets and Knowledge Technology, RSKT 2015, held in Tianjin, China, in November 2015, as part of the International Joint Conference on Rough Sets, IJCRS 2015, together with the 15th International Conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing, RSFDgrC 2015. The 66 papers presented at IJCRS 2015 were carefully reviewed and selected from 97 submissions. The 38 papers included in this volume are organized in the following topical sections: rough sets: the experts speak; reducts and rules; three-way decisions; logic and algebra; clustering; rough sets and graphs; and modeling and learning. In addition the volume contains 6 contributions by new fellows of the International Rough Set Society, an invited talk and a tutorial.

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 Potosi, Mexico, in October/November 2012. The 80 revised papers presented were carefully reviewed and selected from 224 submissions.

This book constitutes the proceedings of the 24th International Conference on Automated Deduction, CADE-24, held in Lake Placid, NY, USA, in June 2013.

This book constitutes the thoroughly refereed post-conference proceedings of the First International Workshop on Citizen Sensor Networks, CitiSens 2012, in Montpellier, France, on August 27, 2012. The accepted papers deal with topics like crowdsourcing, smart cities, multi-agent systems, privacy in social networks, data anonymity or smart sensors.

This book constitutes the refereed proceedings of the 17th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2014, held in Gold Coast, QLD, Australia, in December 2014. The 21 revised full papers presented together with 15 short papers were carefully reviewed and selected from 77 submissions.

This book constitutes the refereed proceedings of the 15th International Conference on Text, Speech and Dialogue, TSD 2012, held in Brno, Czech Republic, in September 2012. The 82 papers presented together with 2 invited talks were carefully reviewed and selected from 173 submissions. The papers are organized in topical sections on corpora and language resources, speech recognition, tagging, classification and parsing of text and speech, speech and spoken language generation, semantic processing of text and speech, integrating applications of text and speech processing, machine translation, automatic dialogue systems, multimodal techniques and modeling.

Constitutes the refereed proceedings of the 4th International Conference on Social Robotics, ICSR 2012, held in Chengdu, China, in October 2012.

This book constitutes the thoroughly refereed post-proceedings of the 22nd International Conference on Inductive Logic Programming, ILP 2012, held in Dubrovnik, Croatia, in September 2012.

This book constitutes the refereed proceedings of the First International Conference on Statistical Language and Speech Processing, SLSP 2013, held in Tarragona, Spain, in July 2013. The papers cover a wide range of topics in the fields of computational language and speech processing and the statistical methods that are currently in use.

This book constitutes the refereed proceedings of the International Symposium on Integrated Uncertainty in Knowledge Modeling and Decision Making, IUKM 2013, held in Beijing China, in July 2013. The papers provide a wealth of new ideas and report both theoretical and applied research on integrated uncertainty modeling and management.

The papers are targeted at the intersection of research on novel live-like technologies inspired by scientific investigation of biological systems, biomimetics, and research that seeks to interface biological and artificial systems to create biohybrid systems

This book constitutes the proceedings of the 14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIV, held in Corunna, Spain, in September 2013.

This book constitutes the refereed proceedings of the 36th Annual German Conference on Artificial Intelligence, KI 2013, held in Koblenz, Germany, in September 2013. The 24 revised full papers presented together with 8 short papers were carefully reviewed and selected from 70 submissions.

This book constitutes the refereed proceedings of the 14th Industrial Conference on Advances in Data Mining, ICDM 2014, held in St. Petersburg, Russia, in July 2014.

A summary of research and development in case-based reasoning (CBR). It provides an introduction to CBR, presenting the basic ideas and concepts, then goes on to detail CBR applications in areas such as decision and sales support, text processing, software engineering and medicine.

This book constitutes the thoroughly refereed proceedings of the 9th International Conference on Spatial Cognition, Spatial Cognition 2014, held in Bremen, Germany, in September 2014. The papers are organized in topical sections on spatial memory;

This book constitutes the refereed proceedings of the 6th IAPR TC3 International Workshop on Artificial Neural Networks in Pattern Recognition, ANNPR 2014, held in Montreal, QC, Canada, in October 2014.

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 refereed conference proceedings of the 9th International Conference on Multi-disciplinary Trends in Artificial Intelligence, MIWAI 2015, held in Fuzhou, China, in November 2015. The 30 revised full papers presented together with 12 short papers were carefully reviewed and selected from 83 submissions.

This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Workshop on New Frontiers in Mining Complex Patterns, NFMCP 2015, held in conjunction with ECML-PKDD 2015 in Porto, Portugal, in September 2015.The 15 revised full papers presented together with  one invited talk were carefully reviewed and selected from 19 submissions. They illustrate advanced data mining techniques which preserve the informative richness of complex data and allow for efficient and effective identification of complex information units present in such data. The papers are organized in the following sections: data stream mining, classification, mining complex data, and sequences.

This volume constitutes the refereed proceedings of the 10th International Conference on Foundations of Augmented Cognition, AC 2016, held as part of the 18th International Conference on Human-Computer Interaction, HCII 2016, which took place in Toronto, Canada, in July 2016.

This volume constitutes the refereed proceedings of the 10th International Conference on Foundations of Augmented Cognition, AC 2016, held as part of the 18th International Conference on Human-Computer Interaction, HCII 2016, which took place in Toronto, Canada, in July 2016.

The topics range from theoretical topics for classification, clustering, association rule and pattern mining to specific data mining methods for the different multimedia data types such as image mining, text mining, video mining and Web mining.

This book constitutes the proceedings of the 14th International Conference on Simulation of Adaptive Behavior, SAB 2016, held in Aberystwyth, UK, in August 2016. The 31 papers presented in this volume were carefully reviewed and selected from 45 submissions.