Bücher der Reihe Lecture Notes in Artificial Intelligence

This book constitutes the thoroughly refereed proceedings of the 5th International Workshop on Empathic Computing, IWEC 2014, held in Gold Coast, QLD, Australia, in December 2014, as well as the 6th International Workshop on Empathic Computing, IWEC 2015, and the 15th Workshop on Computational Models of Natural Argument, CMNA XV, both held in Bertinoro, Italy, in October 2015.The 12 papers presented were carefully reviewed and selected from 32 initial submissions. The workshops are going alongside with the PRIMA 2015 Conference and are intended to facilitate active exchange, interaction and comparison of approaches, methods and various ideas in specific areas related to intelligent agent systems and multiagent systems.

This book features a selection of best papers from 11 workshops held at the International Conference on Autonomous Agents and Multiagent Systems, in Singapore in May 2016.The 11 full papers were carefully reviewed and selected for inclusion in this volume.

This book constitutes the refereed proceedings of the International Conference on Brain and Health Informatics, BHI 2016, held in Omaha, USA, in October 2016. The 37 revised full papers, including two workshop papers from BAI 2016, presented were carefully reviewed and selected for inclusion in the book.

This book constitutes the thoroughly refereed post-conference proceedings of the JSAI-isAI 2015 Workshops LENLS 12, JURISIN 9, AAA 2015, HAT-MASH 2015, TSDAA 2015, ASD-HR 2015, and SKL 2015, held in Kanagawa, Japan, in November 2015.

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 two-volume set, LNAI 10234 and 10235, constitutes the thoroughly refereed proceedings of the 21st Pacific-Asia Conference on Advances in Knowledge Discovery and Data Mining, PAKDD 2017, held in Jeju, South Korea, in May 2017. spatio-temporal and sequential data mining; dynamic, stream data mining; behavioral data mining;

The 36 revised full papers presented together with 4 keynotes, 37 poster, presentations, 4 doctoral consortium papers, 5 industry papers, 4 workshop abstracts, and 2 tutorial abstracts were carefully reviewed and selected from 159 submissions.

This book constitutes the proceeding of the 26th International Conference on Automated Deduction, CADE-26, held in Gothenburg, Sweden, in August 2017. The 26 full papers and 5 system descriptions presented were carefully reviewed and selected from 69 submissions.

This book constitutes the refereed proceedings of the 18th Annual Conference on Towards Autonomous Robotics, TAROS 2017, held in Guildford, UK, in July 2017. The 43 revised full papers presented together with 13 short papers were carefully reviewed and selected from 66 submissions.

This book constitutes the proceedings of the 20th International Conference on Discovery Science, DS 2017, held in Kyoto, Japan, in October 2017, co-located with the International Conference on Algorithmic Learning Theory, ALT 2017.

This book constitutes the refereed proceedings of the 5th International Conference on Statistical Language and Speech Processing, SLSP 2017, held in Le Mans, France, in October 2017. The 21 full papers presented were carefully reviewed and selected from 39 submissions.

This book constitutes the thoroughly refereed post-workshop proceedings at PAKDD Workshops 2018, held in conjunction with the 22nd Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2018, in Melbourne, Australia, in June 2018.The 32 revised papers presented were carefully reviewed and selected from 46 submissions. The workshops affiliated with PAKDD 2018 include: Workshop on Big Data Analytics for Social Computing, BDASC, Australasian Workshop on Machine Learning for Cyber-security, ML4Cyber, Workshop on Biologically-inspired Techniques for Knowledge Discovery and Data Mining, BDM, Pacific Asia Workshop on Intelligence and Security Informatics, PAISI, and Workshop on Data Mining for Energy Modeling and Optimization, DaMEMO.

This book constitutes the 13th edition of the annual Multi-Agent Programming Contest, MAPC 2018, and presents its participants. It is followed by a contribution from each team, introducing their methods and tools used to create their agent team and analyzing their performance and the contest.

This book constitutes the refereed proceedings of the 13th International Conference on Artificial General Intelligence, AGI 2020, held in St. Petersburg, Russia, in September 2020.The 30 full papers and 8 short papers presented in this book were carefully reviewed and selected from 60 submissions.

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.

This work constitutes the refereed proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2001, held in Toulouse, France in September 2001.

It covers spatial reasoning, human-robot interaction, visuo-spatial reasoning and spatial dynamics, spatial concepts, human memory, mental reasoning and assistance, spatial concepts, human memory and mental reasoning, navigation, wayfinding and route instructions as well as linguistic and social issues in spatial knowledge processing.

This state-of-the-art survey comprises a selection of the material presented at the International Dagstuhl Seminar on Annotating, Extracting and Reasoning about Time and Events, held in Dagstuhl Castle, Germany, in April 2005.

The topics range from aspects of classification and prediction, clustering, Web mining, data mining in medicine, applications of data mining, time series and frequent pattern mining, and association rule mining.

This book constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 2008, held in Varna, Bulgaria in September 2008. The 30 revised full papers presented together with the 10 posters were carefully reviewed and selected from 109 submissions.

This book constitutes the refereed proceedings of the 12th International Workshop on Cooperative Information Agents, CIA 2008, held in Prague, Czech Republik, in September 2008. The book contains 5 invited papers and 19 revised full papers which were carefully reviewed and selected from 38 submissions.

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Workshop on Engineering Societies in the Agents World, ESAW 2007, held in Athens, Greece, in October 2007. The papers are organized in topical sections on electronic institutions, models of complex distributed systems with agents and societies;

This volume, containing the proceedings of IVA 2003, held at Kloster Irsee, in Germany, September 15-17, 2003, is testimony to the growing importance of IntelligentVirtualAgents(IVAs) asaresearch?eld.Wereceived67submissions, nearly twice as many as for IVA 2001, not only from European countries, but from China, Japan, and Korea, and both North and South America. As IVA research develops, a growing number of application areas and pl- forms are also being researched. Interface agents are used as part of larger - plications, often on the Web. Education applications draw on virtual actors and virtual drama, while the advent of 3D mobile computing and the convergence of telephones and PDAs produce geographically-aware guides and mobile - tertainment applications. A theme that will be apparent in a number of the papers in this volume is the impact of embodiment on IVA research - a char- teristic di?erentiating it to some extent from the larger ?eld of software agents.

This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Multi-Agent-Based Simulation, MABS 2003, held in Melbourne, Australia as part of AAMAS 2003.The 11 revised full papers presented together with 3 invited papers were carefully selected during two rounds of reviewing and improvement.

The 3rd Workshop on Formal Approaches to Agent-Based Systems (FAABS-III) was held at the Greenbelt Marriott Hotel (near NASA Goddard Space Flight Center) in April 2004 in conjunction with the IEEE Computer Society.

These are the proceedings of the 2nd International Workshop on Programming Multi-agentSystems(ProMAS2004),heldinJuly2004inNewYork(USA)asan associated event of AAMAS 2004, the main international conference dedicated to autonomous agents and multi-agent systems. The idea of organizing such an event was discussed during the Dagstuhl s- inarProgramming Multi-agent Systems Based on Logic (see [2]), where the focus was on logic-based approaches. It was felt that the scope should be broadened beyond logic-based approaches, and thus ProMAS came into being (see [1] for the proceedings of the ?rst event, ProMAS 2003). Meanwhile, a Steering Committee (Rafael Bordini, Mehdi Dastani, Jurgen ¿ Dix, Amal El Fallah Seghrouchni) as well as an AgentLink III Technical Forum GrouponProgrammingMulti-agentSystems wereestablished(thelatteronewas founded on 30 June/1 July 2004 in Rome, Italy (see http:// www.cs.uu.nl/ mehdi/al3tf8.html). Moreover, a Kluwer book on the same topic is underway (to appear early in 2005) and the third workshop ProMAS 2005 will be organized within AAMAS 2005 (see http://www.cs.uu.nl/ProMAS/ for up-to-date information about ProMAS).

The papers can roughly be divided over the following ?ve themes: - social commitments - multiparty communication - content languages - dialogues and conversations - speech acts Although these themes are of course not mutually exclusive they indicate some main directions of research.

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 contains papers presented at the 2nd International Conference on Modeling Decisions for Arti?cial Intelligence (MDAI 2005), held in Tsukuba, Japan, July 25-27.