Search

This book presents revised versions of the lectures given at the 8th ELSNET European Summer School on Language and Speech Communication held on the Island of Chios, Greece, in summer 2000. Besides an introductory survey, the book presents lectures on data analysis for multimedia libraries, pronunciation modeling for large vocabulary speech recognition, statistical language modeling, very large scale information retrieval, reduction of information variation in text, and a concluding chapter on open questions in research for linguistics in information access. The book gives newcomers to language and speech communication a clear overview of the main technologies and problems in the area. Researchers and professionals active in the area will appreciate the book as a concise review of the technologies used in text- and speech-triggered information access.

This book constitutes the refereed proceedings of the 17th International Conference on Intelligent Computer Mathematics, CICM 2024, held in Montréal, Québec, Canada, during August 5–9, 2024. The 21 full papers presented were carefully reviewed and selected from 28 submissions. These papers have been categorized into the following sections: AI and LLM; Proof Assistants; Logical Frameworks and Transformations; Knowledge Representation and Certification; Proof Search and Formalization & System Descriptions.

This book constitutes the refereed proceedings of the 24th International Conference on Knowledge Engineering and Knowledge Management, EKAW 2024, held in Amsterdam, The Netherlands, during November 26–28, 2024. The 28 full papers presented together were carefully reviewed and selected from 115 submissions. They focus on all aspects of knowledge in constructing systems and services for the semantic web, knowledge management, knowledge discovery, information integration, natural language processing, intelligent systems, e-business, e-health, humanities, cultural heritage, and beyond.

This book constitutes the proceedings of the Third International Conference, AILA 2023, held in Changchun, China, during August 5–6, 2023. The 26 full papers and the 10 short papers included in this volume were carefully reviewed and selected from 56 submissions. This volume aims to provide novel ideas, original research achievements, and practical experiences in a broad range of artificial intelligence logic and applications.

This volume LNCS-IFIP constitutes the refereed proceedings of the 7th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2023 in Benevento, Italy, during August 28 – September 1, 2023. The 18 full papers presented together were carefully reviewed and selected from 30 submissions. The conference focuses on integrative machine learning approach, considering the importance of data science and visualization for the algorithmic pipeline with a strong emphasis on privacy, data protection, safety and security.

This book constitutes the refereed proceedings of the 17th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2023, held in Arras, France, in September 2023. The 35 full papers presented in this volume were carefully reviewed and selected from 46 submissions. The papers are organized in topical sections about Complexity and Database Theory; Formal Concept Analysis: Theoretical Advances; Formal Concept Analysis: Applications; Modelling and Explanation; Semantic Web and Graphs; Posters.

This book constitutes the refereed proceedings of the 16th International Conference on Intelligent Computer Mathematics, CICM 2023, held in Cambridge, UK, in September 2023.The 14 full papers, 2 project/survey papers, 6 short papers, and 1 tool paper presented were carefully reviewed and selected from a total of 37 submissions. The papers focus on advances in formalization, automatic theorem proving and learning, search and classification, teaching and geometric reasoning, and logic and systems, among other topics.

This book constitutes the refereed proceedings of the 27th International Conference on Developments in Language Theory, DLT 2023, held in Umeå, Sweden, during June 12–16, 2023. The 20 full papers included in this book were carefully reviewed and selected from 32 submissions (31 regular ones and one invited).The DLT conference series provides a forum for presenting current developments informal languages and automata. Its scope is very general and includes, among others, the following topics and areas: grammars, acceptors and transducers for words; trees and graphs; relations between formal languages and artificial neural networks; algebraic theories of automata; algorithmic, combinatorial, and algebraic properties of words and languages; variable length codes; symbolic dynamics; cellular automata; groups and semigroups generated by automata; polyominoes and multidimensional patterns; decidability questions; image manipulation and compression; efficient text algorithms; relationships to cryptography, concurrency, complexity theory, and logic; bio-inspired computing; and quantum computing.

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of documentation; automated software re-engineering; DIME day; rigorous engineering of collective adaptive systems; formal methods meet machine learning; digital twin engineering; digital thread in smart manufacturing; formal methods for distributed computing in future railway systems; industrial day.

This two-volume set (CCIS 1601-1602) constitutes the proceedings of the 19th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2021, held in Milan, Italy, in July 2022. The 124 papers were carefully reviewed and selected from 188 submissions. The papers are organized in topical sections as follows: aggregation theory beyond the unit interval; formal concept analysis and uncertainty; fuzzy implication functions; fuzzy mathematical analysis and its applications; generalized sets and operators; information fusion techniques based on aggregation functions, pre-aggregation functions, and their generalizations; interval uncertainty; knowledge acquisition, representation and reasoning; logical structures of opposition and logical syllogisms; mathematical fuzzy logics; theoretical and applied aspects of imprecise probabilities; data science and machine learning; decision making modeling and applications; e-health; fuzzy methods in data mining and knowledge discovery; soft computing and artificia intelligence techniques in image processing; soft methods in statistics and data analysis; uncertainty, heterogeneity, reliability and explainability in AI; weak and cautious supervised learning.

This book constitutes the refereed conference proceedings of the 30th International Conference on Inductive Logic Programming, ILP 2021, held in October 2021. Due to COVID-19 pandemic the conference was held virtually. The 16 papers and 3 short papers presented were carefully reviewed and selected from 19 submissions. Inductive Logic Programming (ILP) is a subfield of machine learning, which originally relied on logic programming as a uniform representation language for expressing examples, background knowledge and hypotheses. Due to its strong representation formalism, based on first-order logic, ILP provides an excellent means for multi-relational learning and data mining, and more generally for learning from structured data.

The two-volume proceedings, LNCS 13249 and 13250, constitutes the thoroughly refereed post-workshop proceedings of the 22nd Chinese Lexical Semantics Workshop, CLSW 2021, held in Nanjing, China in May 2021. The 68 full papers and 4 short papers were carefully reviewed and selected from 261 submissions. They are organized in the following topical sections: Lexical Semantics and General Linguistics; Natural Language Processing and Language Computing; Cognitive Science and Experimental Studies; Lexical Resources and Corpus Linguistics.

This book includes revised selected papers from the International Workshops on AI Approaches to the Complexity of Legal Systems, AICOL-XI@JURIX2018, held in Groningen, The Netherlands, on December 12, 2018; AICOL-XII@JURIX 2020, held in Brno, Czechia, on December 9, 2020; XAILA@JURIX 2020, held in in Brno, Czechia, on December 9, 2020.•The 17 full and 4 short papers included in this volume were carefully reviewed and selected form 39 submissions. They represent a comprehensive picture of the state of the art in legal informatics. The papers are logically organized in 5 blocks: ​Knowledge Representation; Logic, rules, and reasoning; Explainable AI in Law and Ethics; Law as Web of linked Data and the Rule of Law; Data protection and Privacy Modelling and Reasoning.•Due to the Covid-19 pandemic AICOL-XII@JURIX 2020 and XAILA@JURIX 2020 were held virtually.

Automata theory is a subject of study at the crossroads of mathematics, theoretical computer science, and applications. In its core it deals with abstract models of systems whose behaviour is based on transitions between states, and it develops methods for the description, classification, analysis, and design of such systems. The Handbook of Automata Theory gives a comprehensive overview of current research in automata theory, and is aimed at a broad readership of researchers and graduate students in mathematics and computer science. Volume I is divided into three parts. The first part presents various types of automata: automata on words, on infinite words, on finite and infinite trees, weighted and maxplus automata, transducers, and two-dimensional models. Complexity aspects are discussed in the second part. Algebraic and topological aspects of automata theory are covered in the third part. Volume II consists of two parts. The first part is dedicated to applications of automata in mathematics: group theory, number theory, symbolic dynamics, logic, and real functions. The second part presents a series of further applications of automata theory such as message-passing systems, symbolic methods, synthesis, timed automata, verification of higher-order programs, analysis of probabilistic processes, natural language processing, formal verification of programs and quantum computing. The two volumes comprise a total of thirty-nine chapters, with extensive references and individual tables of contents for each one, as well as a detailed subject index.

This book constitutes the refereed proceedings of the 14th International Conference on Intelligent Computer Mathematics, CICM 2021, held in Timisoara, Romania, in July 2021•.The 12 full papers, 7 system descriptions, 1 system entry, and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 38 submissions. The papers focus on advances in formalization, automatic theorem proving and learning, search and classification, teaching and geometric reasoning, and logic and systems, among other topics.• The conference was held virtually due to the COVID-19 pandemic.

This book constitutes the refereed proceedings of the 18th International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2021, held in Umeå, Sweden, in September 2021.• The 24 papers presented in this volume were carefully reviewed and selected from 50 submissions. Additionally, 3 invited papers were included. The papers discuss different facets of decision processes in a broad sense and present research in data science, data privacy, aggregation functions, human decision making, graphs and social networks, and recommendation and search. The papers are organized in the following topical sections: aggregation operators and decision making; approximate reasoning; machine learning; data science and data privacy. •The conference was held virtually due to the COVID-19 pandemic.

This two-volume set LNCS 12656 and 12657 constitutes the refereed proceedings of the 43rd European Conference on IR Research, ECIR 2021, held virtually in March/April 2021, due to the COVID-19 pandemic.The 50 full papers presented together with 11 reproducibility papers, 39 short papers, 15 demonstration papers, 12 CLEF lab descriptions papers, 5 doctoral consortium papers, 5 workshop abstracts, and 8 tutorials abstracts were carefully reviewed and selected from 436 submissions. The accepted contributions cover the state of the art in IR: deep learning-based information retrieval techniques, use of entities and knowledge graphs, recommender systems, retrieval methods, information extraction, question answering, topic and prediction models, multimedia retrieval, and much more.

This book constitutes the proceedings of the 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2021, held in Birmingham, UK, in September 2021.The 23 full papers and 3 system descriptions included in the volume were carefully reviewed and selected from 46 submissions.They present research on all aspects of the mechanization of tableaux-based reasoning and related methods, including theoretical foundations, implementation techniques, systems development and applications. The papers are organized in the following topical sections: tableau calculi, sequent calculi, theorem proving, formalized proofs, non-wellfounded proofs, automated theorem provers, and intuitionistic modal logics.

This Festschrift was published in honor of Andre Scedrov on the occasion of his 65th birthday. The 11 technical papers and 3 short papers included in this volume show the many transformative discoveries made by Andre Scedrov in the areas of linear logic and structural proof theory; formal reasoning for networked systems; and foundations of information security emphasizing cryptographic protocols. These papers are authored by researchers around the world, including North America, Russia, Europe, and Japan, that have been directly or indirectly impacted by Andre Scedrov. The chapter “A Small Remark on Hilbert's Finitist View of Divisibility and Kanovich-Okada-Scedrov's Logical Analysis of Real-Time Systems” is available open access under a CC BY 4.0 license at link.springer.com.

This book constitutes the proceedings of the 23rd International Conference on Text, Speech, and Dialogue, TSD 2020, held in Brno, Czech Republic, in September 2020.•The 54 full papers presented in this volume were carefully reviewed and selected from 110 submissions. They were organized in topical sections named text, speech, and dialogue. The book also contains 3 invited talks.• The conference was held virtually due to the COVID-19 pandemic.

This book constitutes the refereed proceedings of the 20th International Conference on Data Analytics and Management in Data Intensive Domains, DAMDID/RCDL 2018, held in Moscow, Russia, in October 2018.The 9 revised full papers presented together with three invited papers were carefully reviewed and selected from 54 submissions. The papers are organized in the following topical sections: FAIR data infrastructures, interoperability and reuse; knowledge representation; data models; data analysis in astronomy; text search and processing; distributed computing; information extraction from text.

This two-volume set of LNAI 11838 and LNAI 11839 constitutes the refereed proceedings of the 8th CCF Conference on Natural Language Processing and Chinese Computing, NLPCC 2019, held in Dunhuang, China, in October 2019. The 85 full papers and 56 short papers presented were carefully reviewed and selected from 492 submissions. They are organized in the following topical sections: Conversational Bot/QA/IR; Knowledge graph/IE; Machine Learning for NLP; Machine Translation; NLP Applications; NLP for Social Network; NLP Fundamentals; Text Mining; Short Papers; Explainable AI Workshop; Student Workshop: Evaluation Workshop.

This book constitutes the proceedings of the 25th International Conference on Principles and Practice of Constraint Programming, CP 2019, held in Stamford, CT, USA, France, in September/October 2019.The 44 full papers presented in this volume were carefully reviewed and selected from 118 submissions. They deal with all aspects of computing with constraints including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource allocation, scheduling, configuration, and planning. The papers were organized according to the following topics/tracks: technical track; application track; multi-agent and parallel CP track; testing and verification track; CP and data science track; computational sustainability; and CP and life sciences track.

This book constitutes the thoroughly refereed proceedings of the 13th International Conference on Metadata and Semantic Research, MTSR 2019, held in Rome, Italy, in October 2019. The 27 full and 15 short papers presented were carefully reviewed and selected from 96 submissions. The papers are organized in the following tracks: metadata and semantics for digital libraries, information retrieval, big, linked, social and open data; metadata and semantics for agriculture, food, and environment; digital humanities and digital curation; cultural collections and applications; european and national projects; metadata, identifiers and semantics in decentralized applications, blockchains and P2P systems.

This two-volume set of LNAI 11838 and LNAI 11839 constitutes the refereed proceedings of the 8th CCF Conference on Natural Language Processing and Chinese Computing, NLPCC 2019, held in Dunhuang, China, in October 2019. The 85 full papers and 56 short papers presented were carefully reviewed and selected from 492 submissions. They are organized in the following topical sections: Conversational Bot/QA/IR; Knowledge graph/IE; Machine Learning for NLP; Machine Translation; NLP Applications; NLP for Social Network; NLP Fundamentals; Text Mining; Short Papers; Explainable AI Workshop; Student Workshop: Evaluation Workshop.

The two-volume set of LNCS 11778 and 11779 constitutes the refereed proceedings of the 18th International Semantic Web Conference, ISWC 2019, held in Auckland, New Zealand, in October 2019. The ISWC conference is the premier international forum for the Semantic Web / Linked Data Community.The total of 74 full papers included in this volume was selected from 283 submissions. The conference is organized in three tracks: for the Research Track 42 full papers were selected from 194 submissions; the Resource Track contains 21 full papers, selected from 64 submissions; and the In-Use Track features 11 full papers which were selected from 25 submissions to this track.

This book constitutes the refereed proceedings of the 15th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations, AIAI 2019, held in Hersonissos, Crete, Greece, in May 2019.The 49 full papers and 6 short papers presented were carefully reviewed and selected from 101 submissions. They cover a broad range of topics such as deep learning ANN; genetic algorithms - optimization; constraints modeling; ANN training algorithms; social media intelligent modeling; text mining/machine translation; fuzzy modeling; biomedical and bioinformatics algorithms and systems; feature selection; emotion recognition; hybrid Intelligent models; classification - pattern recognition; intelligent security modeling; complex stochastic games; unsupervised machine learning; ANN in industry; intelligent clustering; convolutional and recurrent ANN; recommender systems; intelligent telecommunications modeling; and intelligent hybrid systems using Internet of Things. The papers are organized in the following topical sections:AI anomaly detection - active learning; autonomous vehicles - aerial vehicles; biomedical AI; classification - clustering; constraint programming - brain inspired modeling; deep learning - convolutional ANN; fuzzy modeling; learning automata - logic based reasoning; machine learning - natural language; multi agent - IoT; nature inspired flight and robot; control - machine vision; and recommendation systems.

This volume LNCS 11877 constitutes the refereed proceedings of the Confederated International Conferences: Cooperative Information Systems, CoopIS 2019, Ontologies, Databases, and Applications of Semantics, ODBASE 2019, and Cloud and Trusted Computing, C&TC, held as part of OTM 2019 in October 2019 in Rhodes, Greece. The 38 full papers presented together with 8 short papers were carefully reviewed and selected from 156 submissions. The OTM program every year covers data and Web semantics, distributed objects, Web services, databases, informationsystems, enterprise workflow and collaboration, ubiquity, interoperability, mobility, grid and high-performance computing.

This book constitutes the refereed proceedings of the 16th International Semantic Web Conference, ESWC 2019, held in Portorož, Slovenia. The 39 revised full papers presented were carefully reviewed and selected from 134 submissions. The papers are organized in three tracks: research track, resources track, and in-use track and deal with the following topical areas: distribution and decentralisation, velocity on the Web, research of research, ontologies and reasoning, linked data, natural language processing and information retrieval, semantic data management and data infrastructures, social and human aspects of the Semantic Web, and, machine learning.

This book constitutes the refereed proceedings of the 31st International Conference on Advanced Information Systems Engineering, CAiSE 2019, held in Rome, Italy, in June 2019. The 41 full papers presented in this volume were carefully reviewed and selected from 206 submissions. The book also contains one invited talk in full paper length. The papers were organized in topical sections named: information system engineering; requirements and modeling; data modeling and analysis; business process modeling and engineering; information system security; and learning and mining in information systems. Abstracts on the CAiSE 2019 tutorials can be found in the back matter of the volume.

This book constitutes the proceedings of the XVIIIth International Conference of the Italian Association for Artificial Intelligence, AI•IA 2019, held in Rende, Italy, in November 2019. The 41 full papers were carefully reviewed and selected from 67 submissions. The papers have been organized in the following topical sections: Knowledge Representation for AI, AI and Computation, Machine Learning for AI, and AI and Humans.

This book constitutes the proceedings of the 22nd International Conference on Text, Speech, and Dialogue, TSD 2019, held in Ljubljana, Slovenia, in September 2019. The 33 full papers presented in this volume were carefully reviewed and selected from 73 submissions. They were organized in topical sections named text and speech. The book also contains one invited talk in full paper length.

This book includes revised selected papers from five International Workshops on Artificial Intelligence Approaches to the Complexity of Legal Systems, AICOL VI to AICOL X, held during 2015-2017: AICOL VI in Braga, Portugal, in December 2015 as part of JURIX 2015; AICOL VII at EKAW 2016 in Bologna, Italy, in November 2016; AICOL VIII in Sophia Antipolis, France, in December 2016; AICOL IX at ICAIL 2017 in London, UK, in June 2017; and AICOL X as part of JURIX 2017 in Luxembourg, in December 2017.The 37 revised full papers included in this volume were carefully reviewed and selected form 69 submissions. They represent a comprehensive picture of the state of the art in legal informatics. The papers are organized in six main sections: legal philosophy, conceptual analysis, and epistemic approaches; rules and norms analysis and representation;legal vocabularies and natural language processing; legal ontologies and semantic annotation; legal argumentation; and courts, adjudication and dispute resolution.

This book constitutes the refereed proceedings of the Third China Conference on Knowledge Graph and Semantic Computing, CCKS 2018, held in Tianjin, China, in August 2018.The 27 revised full papers and 2 revised short papers presented were carefully reviewed and selected from 101 submissions. The papers cover wide research fields including the knowledge graph, information extraction, knowledge representation and reasoning, linked data.

This book constitutes the proceedings of the 23rd International Conference on Implementation and Application of Automata, CIAA 2018, held in Charlottetown, PE, Canada, in July/August 2018.The 23 regular papers presented in this book together with 4 invited papers were carefully reviewed and selected from 39 initial submissions. The topics of the papers include state complexity of automata, implementations of automata and experiments, enhanced regular expressions, and complexity analysis.

This book constitutes the refereed proceedings of the 7h Language and Technology Conference: Challenges for Computer Science and Linguistics, LTC 2015, held in Poznan, Poland, in November 2015. The 31 revised papers presented in this volume were carefully reviewed and selected from 108 submissions. The papers selected to this volume belong to various fields of: Speech Processing; Multiword Expressions; Parsing; Language Resources and Tools; Ontologies and Wordnets; Machine Translation; Information and Data Extraction; Text Engineering and Processing; Applications in Language Learning; Emotions, Decisions and Opinions; Less-Resourced Languages.

This book constitutes extended, revised and selected papers from the 9th International Symposium of Artificial Intelligence supported by the Japanese Society for Artificial Intelligence, JSAI-isAI 2017. It was held in November 2017 in Tokyo, Japan. The 22 papers were carefully selected from 109 submissions and are organized in sections on juris-informatics, skill science, artificial intelligence of and for business, logic and engineering of natural language semantics, argument for agreement and assurance, scientific document analysis, knowledge explication for industry.

This book constitutes the refereed proceedings of the 15th International Semantic Web Conference, ESWC 2018, held in Heraklion, Crete, Greece.The 48 revised full papers presented were carefully reviewed and selected from 179 submissions. The papers cover a large range of topics such as logical modelling and reasoning, natural language processing, databases and data storage and access, machine learning, distributed systems, information retrieval and data mining, social networks, and Web science and Web engineering.

This book constitutes the revised selected papers from the 15th European Conference on Multi-Agent Systems, EUMAS 2017, and the 5th International Conference on Agreement Technologies, AT 2017, held in Evry, France, in December 2017.The 28 full papers, 3 short papers, and 2 invited papers for EUMAS and the 14 full papers and 2 short papers for AT, presented in this volume were carefully reviewed and selected from a total of 76 submissions. The papers cover thematic areas like agent-based modelling; logic and formal methods; argumentation and rational choice; simulation; games; negotiation, planning, and coalitions; algorithms and frameworks; applications; and philosophical and theoretical studies.

This book constitutes the refereed proceedings of the 12th International Conference on Language and Automata Theory and Applications, LATA 2018, held in Ramat Gan, Israel, in April 2018.The 20 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 58 submissions. The papers cover fields like algebraic language theory, algorithms for semi-structured data mining, algorithms on automata and words, automata and logic, automata for system analysis and programme verification, automata networks, automatic structures, codes, combinatorics on words, computational complexity, concurrency and Petri nets, data and image compression, descriptional complexity, foundations of finite state technology, foundations of XML, grammars (Chomsky hierarchy, contextual, unification, categorial, etc.), grammatical inference and algorithmic learning, graphs and graph transformation, language varieties and semigroups, language-based cryptography, mathematical and logical foundations of programming methodologies, parallel and regulated rewriting, parsing, patterns, power series, string processing algorithms, symbolic dynamics, term rewriting, transducers, trees, tree languages and tree automata, and weighted automata.

The two-volume set LNAI 10632 and 10633 constitutes the proceedings of the 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, held in Enseneda, Mexico, in October 2017. The total of 60 papers presented in these two volumes was carefully reviewed and selected from 203 submissions. The contributions were organized in the following topical sections: Part I: neural networks; evolutionary algorithms and optimization; hybrid intelligent systems and fuzzy logic; and machine learning and data mining. Part II: natural language processing and social networks; intelligent tutoring systems and educational applications; and image processing and pattern recognition.

This book constitutes the thoroughly refereed post-workshop proceedings of the 18th Chinese Lexical Semantics Workshop, CLSW 2017, held in Leshan, China, in May 2017.The 48 full papers and 5 short papers included in this volume were carefully reviewed and selected from 176 submissions. They are organized in the following topical sections: lexical semantics; applications of natural language processing; lexical resources; and corpus linguistics.

The two-volume set LNCS 11136 and 11137 constitutes the refereed proceedings of the 17th International Semantic Web Conference, ISWC 2018, held in Monterey, USA, in October 2018. The ISWC conference is the premier international forum for the Semantic Web / Linked Data Community. The total of 62 full papers included in this volume was selected from 250 submissions. The conference is organized in three tracks: for the Research Track 39 full papers were selected from 164 submissions. The Resource Track contains 17 full papers, selected from 55 submissions; and the In-Use track features 6 full papers which were selected from 31 submissions to this track.

This book constitutes the refereed proceedings of the 22nd International Conference on Applications of Natural Language to Information Systems, NLDB 2017, held in Liège, Belgium, in June 2017.The 22 full papers, 19 short papers, and 16 poster papers presented were carefully reviewed and selected from 125 submissions. The papers are organized in the following topical sections: feature engineering; information extraction; information extraction from resource-scarce languages; natural language processing applications; neural language models and applications; opinion mining and sentiment analysis; question answering systems and applications; semantics-based models and applications; and text summarization.

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. The 24 full and 6 short papers presented in this volume were carefully reviewed and selected from 35 submissions. The book also contains 3 invited papers. Managing uncertainty and inconsistency has been extensively explored in Artificial Intelligence over a number of years. Now, with the advent of massive amounts of data and knowledge from distributed, heterogeneous, and potentially conflicting sources, there is interest in developing and applying formalisms for uncertainty and inconsistency in systems that need to better manage this data and knowledge. The International Conference on Scalable Uncertainty (SUM) aims to provide a forum for researchers who are working on uncertainty management, in different communities and with different uncertainty models, to meet and exchange ideas.

This book constitutes the thoroughly refereed short papers, workshops and doctoral consortium papers of the 21th European Conference on Advances in Databases and Information Systems, ADBIS 2017, held in Nicosia, Cyprus, in September 2017. The 25 full and 4 short workshop papers and the 12 short papers of the main conference were carefully reviewed and selected from 160 submissions. The papers from the following workshops have been included in the proceedings: the first workshop on Data-Driven Approaches for Analyzing and Managing Scholarly Data, AMSD 2017; the first workshop on Novel Techniques for Integrating Big Data, BigNovelTI 2017; the first international workshop on Data Science: Methodologies and Use-Cases, DaS 2017; the second international workshop on Semantic Web for Cultural Heritage, SW4CH 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. The papers cover topics such as anaphora and conference resolution; authorship identification, plagiarism and spam filtering; computer-aided translation; corpora and language resources; data mining and semanticweb; information extraction; information retrieval; knowledge representation and ontologies; lexicons and dictionaries; machine translation; multimodal technologies; natural language understanding; neural representation of speech and language; opinion mining and sentiment analysis; parsing; part-of-speech tagging; question and answering systems; semantic role labeling; speaker identification and verification; speech and language generation; speech recognition; speech synthesis; speech transcription; speech correction; spoken dialogue systems; term extraction; text categorization; test summarization; user modeling. They are organized in the following sections: language and information extraction; post-processing and applications of automatic transcriptions; speech paralinguistics and synthesis; speech recognition: modeling and resources.

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 39 regular papers presented in this volume were carefully reviewed and selected from 114 submissions. LENLS 12 (Logic and Engineering of Natural Language Semantics) is an annual international workshop on formal semantics and pragmatics and focused on discourse particles; disjunction; truth; copredication; expressive content; categorial grammar; dependent type semantics; sequent calculus; and various aspects of formal pragmatics. JURISIN 9 (Juris-Informatics) is the 9th event in the series. The purpose of this workshop is to discuss fundamental and practical issues such as law, social science, information and intelligent technology, logic and philosophy, including the conventional “AI and law” area. AAA 2015 (Argument for Agreement and Assurance) has the goal of deepening a mutual understanding and exploring a new research field involving researchers/practitioners in formal and informal logic, artificial intelligence, and safety engineering working on agreement and assurance through argument. HAT-MASH 2015 (Healthy Aging Tech Mashup Service, Data and People) provides a forum to discuss important research questions and practical challenges in healthy aging and elderly care support to promote transdisciplinary approaches. TSDAA 2015 (Workshop on Time Series Data Analysis and its Applications) aimes at providing an interdisciplinary forum for discussion of different approaches and techniques of time series data analysis and their implementation in various real life applications. ASD-HR 2015 (Autism Spectrum Disorders Using a Humanoid Robot) presents the studies in the interdisciplinary field of research including both engineering and medical sides. SKL 2015 (Skill Science) discusses the theoretical foundations of skill science as well as practical and engineering issues.

This book constitutes the refereed proceedings of the 6th International Conference on Health Information Science, HIS 2017, held in Moscow, Russia, in October 2017.The 11 full papers and 7 short papers presented were carefully reviewed and selected from 44 submissions. The papers feature multidisciplinary research results in health information science and systems that support health information management and health service delivery. They relate to all aspects of the conference scope, such as medical/health/biomedicine information resources such as patient medical records, devices and equipments, software and tools to capture, store, retrieve, process, analyze, and optimize the use of information in the health domain; data management, data mining, and knowledge discovery, management of publichealth, examination of standards, privacy and security issues; computer visualization and artificial intelligence for computer aided diagnosis; development of new architectures and applications for health information systems.

This book constitutes the refereed proceedings of the 16th International Conference of the Italian Association for Artificial Intelligence, AI•IA 2017, held in Bari, Italy, in November 2017.The 37 full papers presented were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on applications of AI; natural language processing; knowledge representation and reasoning; knowledge engineering, ontologies and the semantic web; machinelearning; philosophical foundations, metacognitive modeling and ethics; and planning and scheduling.