Böcker i Lecture Notes in Artificial Intelligence-serien

This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015. The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 submissions.

The overall program covers various aspects of robotics, including navigation, planning, sensing and perception, flying and swarm robots, ethics, humanoid robotics, human-robot interaction, and social robotics.

This book constitutes the refereed proceedings of the 7th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2015, held in Valencia, Spain, in September 2015.

This book constitutes the proceedings of the 4th International Conference on Biomimetic and Biohybrid Systems, Living Machines 2015, held in Barcelona, Spain, in July 2015. The 34 full and 13 short papers presented in this volume were carefully reviewed and selected from 50 submissions. novel sensing and autonomous control systems;

This book constitutes the thoroughly refereed conference proceedings of the 4th International Conference on Algorithmic Decision Theory , ADT 2015, held in September 2015 in Lexington, USA. The 32 full papers presented were carefully selected from 76 submissions. The papers are organized in topical sections such as preferences;

This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Conference on Inductive Logic Programming, ILP 2014, held in Nancy, France, in September 2014. The 14 revised papers presented were carefully reviewed and selected from 41 submissions.

This book constitutes the refereed proceedings of the 4th International Symposium on Integrated Uncertainty in Knowledge Modeling and Decision Making, IUKM 2015, held in Nha Trang, Vietnam, in October 2015. The 40 revised full papers were carefully reviewed and selected from 58 submissions and are presented together with three keynote and invited talks. The papers provide a wealth of new ideas and report both theoretical and applied research on integrated uncertainty modeling and management

This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Workshops on Coordination, Organizations, Institutions and Norms in Agent Systems, COIN 2014.

This book constitutes the proceedings of the 18thInternational Conference on Principles and Practice of Multi-Agent Systems,PRIMA 2015, held in Bertinoro, Italy, in October 2015. The 29 full papers and 24 short papers presented in thisvolume were carefully reviewed and selected from 94 submissions.

This volume constitutes the proceedings of the 11th International Conference on Augmented Cognition, AC 2017, held as part of the International Conference on Human-Computer Interaction, HCII 2017, which took place in Vancouver, BC, Canada, in July 2017.

This book constitutes the refereed proceedings of theThird International Conference on Mining Intelligence and KnowledgeExploration, MIKE 2015, held in Hyderabad, India, in December 2015. The 48 full papers and 8 short papers presented togetherwith 4 doctoral consortium papers were carefully reviewed and selected from 185submissions.

Medicineand health care are currently faced with a significant rise in theircomplexity. This is partly due to the progress made during the past threedecades in the fundamental biological understanding of the causes of health anddisease at the molecular, (sub)cellular, and organ level. Since the end of the1970s, when knowledge representation and reasoning in the biomedical fieldbecame a separate area of research, huge progress has been made in thedevelopment of methods and tools that are finally able to impact on the waymedicine is being practiced. Eventhough there are huge differences in the techniques and methods used bybiomedical researchers, there is now an increasing tendency to share researchresults in terms of formal knowledge representation methods, such asontologies, statistical models, network models, and mathematical models. Asthere is an urgent need for health-care professionals to make better decisions,computer-based support using this knowledge is now becoming increasingly important.It may also be the only way to integrate research results from the differentparts of the spectrum of biomedical and clinical research. Theaim of this book is to shed light on developments in knowledge representationat different levels of biomedical application, ranging from human biology toclinical guidelines, and using different techniques, from probability theoryand differential equations to logic. The book starts with two introductorychapters followed by 18 contributions organized in the following topicalsections: diagnosis of disease; monitoring of health and disease andconformance; assessment of health and personalization; prediction and prognosisof health and disease; treatment of disease; and recommendations. 

The two-volume set LNAI 9692 and LNAI 9693 constitutes the refereed proceedings of the 15th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2016, held in Zakopane, Poland in June 2016. The 134 revised full papers presented were carefully reviewed and selected from 343 submissions.

This LNAI 9549 constitutes the refereed proceedings of the First International Workshop in Cultural Robotics 2015, held as part of the 24th International Symposium on Robot and Human Interactive Communication held in Kobe, Japan, in August/September 2015.

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 proceedings of the 13th International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2016, held in Sant Julia de Loria, Andorra, in September 2016. The 22 revised full papers presented together with three invited talks were carefully reviewed and selected from 36 submissions.

This book constitutes the refereed proceedings of the 9th International Conference on Knowledge Science, Engineering and Management, KSEM 2016, held in Passau, Germany, in October 2016. Enterprise Knowledge; Knowledge Engineering; Knowledge Enrichment and Visualization; Knowledge Management; Knowledge Retrieval; Knowledge Systems and Security;

This book constitutes the proceedings of the 16th International Conference on Intelligent Virtual Agents, IVA 2016, held in Los Angeles, CA, USA, in September 2016.

The accepted papers span a number of areas within Logics in AI, including: belief revision, answer set programming, argumentation, probabilistic reasoning, handling inconsistencies, temporal logics and planning, description logics, and decidability and complexity results.

It would not only allow one to use data mining techniques in constraint programming to identify and update constraints and optimization criteria, but also to employ constraints and criteria in data mining and machine learning in order to discover models compatible with prior knowledge.

This book constitutes revised, selected, and invited papers from the 4th International Workshop on Engineering Multi-Agent Systems, EMAS 2016, held in Singapore, in May 2016, in conjunction with AAMAS. EMAS deals with MAS software engineering processes, methodologies and techniques;

This book constitutes thoroughly revised selected papers of the Second International Workshop on Conflict and Resolution in Decision Makrung, COREDEMA 2016, held in The Hague, The Netherlands, in August 2016.

This book constitutes the proceedings of the 10th International and Interdisciplinary Conference on Modeling and Using Context, CONTEXT 2017, held in Paris, France, in June 2017. The 26 full papers and 15 short papers presented were carefully reviewed and selected from 88 submissions.

This book constitutes the proceedings of the First International Conference on Language, Data and Knowledge, LDK 2017, held in Galway, Ireland, in June 2017. The 14 full papers and 19 short papers included in this volume were carefully reviewed and selected from 68 initial submissions. They deal with language data;

The 11 revised full papers, 11 short papers, and 17 Demo papers were carefully reviewed and selected from 63 submissions.

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

The three volume set LNAI 10462, LNAI 10463, and LNAI 10464 constitutes the refereed proceedings of the 10th International Conference on Intelligent Robotics and Applications, ICIRA 2017, held in Wuhan, China, in August 2017.The 235 papers presented in the three volumes were carefully reviewed and selected from 310 submissions.

The papers present current research in the area of computer speech processing (recognition, synthesis, understanding etc.) and related domains (including signal processing, language and text processing, computational paralinguistics, multi-modal speech processing, human-computer interaction).