Bücher der Reihe Lecture Notes in Artificial Intelligence

This volume presents the refereed proceedings of the 12th International Conference on Deontic Logic and Normative Systems, DEON 2014, held in Ghent, Belgium, in July 2014. the relationship between deontic and other types of modality: epistemic modality, imperatives, supererogatory, etc.;

This book constitutes the proceedings of the 14th International Conference on Intelligent Virtual Agents, IVA 2014, held in Boston, MA, USA, in August 2014. The papers cover many aspects of intelligent virtual agent theory and application with a special focus on their use in healthcare.

This book constitutes the proceedings of the 8th International Conference on the Foundations of Augmented Cognition, AC 2014, held as part of HCI International 2014 which took place in Heraklion, Crete, Greece, in June 2014 and incorporated 14 conferences which similar thematic areas.

This book constitutes the refereed proceedings of the 12th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2014, held in Salamanca, Spain, in June 2014.

This book - in conjunction with the volumes LNCS 8588 and LNBI 8590 - constitutes the refereed proceedings of the 10th International Conference on Intelligent Computing, ICIC 2014, held in Taiyuan, China, in August 2014. intelligent computing in communication networks; computer human interaction using multiple visual cues and intelligent computing;

This book constitutes the refereed proceedings of the 5th Language and Technology Conference: Challenges for Computer Science and Linguistics, LTC 2011, held in Poznan, Poland, in November 2011.

This book constitutes the refereed post-proceedings of the First PASCAL Machine Learning Challenges Workshop, MLCW 2005. third, recognizing textual entailment addresses semantic analysis of language to form a generic framework for applied semantic inference in text understanding.

This book constitutes the refereed proceedings of the 6th International Conference on Social Robotics, ICSR 2014, held in Sydney, NSW, Australia, in October 2014. knowledge representation and reasoning frameworks for robot social intelligence; cognitive architectures that support social intelligence for robots;

This book constitutes the refereed proceedings of the 19th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2006, held in Annecy, France, June 2006.

This book constitutes the refereed proceedings of the 10th International Conference on Scalable Uncertainty Management, SUM 2016, held in Nice, France, in September 2016.The 18 regular papers and 5 short papers were carefully reviewed and selected from 35 submissions. Papers are solicited in all areas of managing and reasoning with substantial and complex kinds of uncertain, incomplete or inconsistent information. These include (but are not restricted to) applications in decision support systems, risk analysis, machine learning, belief networks, logics of uncertainty, belief revision and update, argumentation, negotiation technologies, semantic web applications, search engines, ontology systems, information fusion, information retrieval, natural language processing, information extraction, image recognition, vision systems, data and text mining, and the consideration of issues such as provenance, trust, heterogeneity, and complexity of data and knowledge.

This book constitutes the refereed proceedings of Satellite Events held at the 19th International Conference on Knowledge Engineering and Knowledge Management, EKAW 2014 in November 2014.

This two-volume set, LNAI 9077 + 9078, constitutes the refereed proceedings of the 19th Pacific-Asia Conference on Advances in Knowledge Discovery and Data Mining, PAKDD 2015, held in Ho Chi Minh City, Vietnam, in May 2015. The proceedings contain 117 paper carefully reviewed and selected from 405 submissions.

This book constitutes the refereed proceedings of the 28th Canadian Conference on Artificial Intelligence, Canadian AI 2015, held in Halifax, Nova Scotia, Canada, in June 2015.The 15 regular papers and 12 short papers presented together with 8 papers from the Graduate Student Symposium were carefully reviewed and selected from 81 submissions.

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 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 proceedings of the ACIIDS 2016 conference, LNAI 9621 + 9622,constitutes the refereed proceedings of the 8th Asian Conference on IntelligentInformation and Database Systems, held in Da Nang, Vietnam, in March 2016. modeling and optimizationtechniques in information systems, database systems and industrial systems;

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.