Search

This book constitutes the revised selected papers of the 12th International Workshop on Information Search, Integration and Personalization, ISIP 2018, held in Fukuoka, Japan, in May 2018.The volume presents 1 invited paper as well as 7 revised full papers, which were carefully reviewed and selected from 13 papers submitted to these post-conference proceedings. The papers are organized in topical sections on data integration; text and document management; advanced data mining techniques.

This book constitutes the thoroughly refereed proceedings of the 12th International Conference on Metadata and Semantic Research, MTSR 2018, held in Limassol, Cyprus, on October 23-26, 2018.The 19 full and 16 short papers presented were carefully reviewed and selected from 77 submissions. The papers are organized in topical sections on metadata, linked data, semantics, ontologies and SKOS; digital libraries, information retrieval, big, linked, social and open data; cultural collections and applications; Knowledge IT Artifacts (KITA) in professional communities and aggregations; Digital Humanities and Digital Curation (DHC); European and national projects; agriculture, food and environment; open repositories, research information systems and data infrastructures.

This book constitutes the refereed proceedings of the Second International Symposium on Human Mental Workload: Models and Applications, H-WORKLOAD 2018, held in Amsterdam, The Netherlands, in September 2018. The 15 revised full papers presented together with one keynote were carefully reviewed and selected from 31 submissions. The papers are organized in two topical sections on models and applications.

This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Quantum Interaction, QI 2018, held in Nice, France, in September 2018.The 12 papers presented in this book were carefully reviewed and selected from 15 submissions. The papers address topics such as: psychology, economics, semantic and memory, natural language processing, cognition, information retrieval, biology, and political science.

This book constitutes the refereed post-conference proceedings of the 26th International Workshop on Functional and Constraint Logic Programming, WFLP 2018, held in Frankfurt/Main, Germany, in September 2018. From the 19 full papers submitted,12 were accepted for presentation at the workshop. During a second review after the workshop, 10 papers were accepted for inclusion in this volume. The papers cover different programming areas of functional and logic programming, including code generation, verification, and debugging. They are organized in the following topical sections: compilers and code generation; debugging and testing; and foundations of functional logic programming.

This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2018, held in Frankfurt/Main, Germany, in September 2018.The 11 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 11 papers, this volume includes 3 abstracts of invited talks and 2 abstracts of invited tutorials. The papers are grouped into the following topics: analysis of term rewriting; logic-based distributed/concurrent programming; analysis of logic programming; and program analysis.

This book constitutes the refereed post-conference proceedings of the First International Workshop on Artificial Intelligence in Health, AIH 2018, in Stockholm, Sweden, in July 2018. This workshop consolidated the workshops CARE, KRH4C and AI4HC into a single event.The 18 revised full papers included in this volume were carefully selected from the 26 papers accepted for presentation out of 42 initial submissions. The papers present AI technologies with medical applications and are organized in three tracks: agents in healthcare; data science and decision systems in medicine; and knowledge management in healthcare.

This book constitutes the revised post-conference proceedings of the 16th European Conference on Multi-Agent Systems, EUMAS 2018, held at Bergen, Norway, in December 2018.The 18 full papers presented in this volume were carefully reviewed and selected from a total of 34 submissions. The papers report on both early and mature research and cover a wide range of topics in the field of multi-agent systems.

This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Meeting on Computational. Intelligence Methods for Bioinformatics and Biostatistics, CIBB 2017, held in Cagliari, Italy, in September 2017.The 19 revised full papers presented were carefully reviewed and selected from 44 submissions. The papers deal with the application of computational intelligence to open problems in bioinformatics, biostatistics, systems and synthetic biology, medical informatics, computational approaches to life sciences in general.

This book constitutes revised selected papers from the 14th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2018, held in Helsinki, Finland, in August 2018.The 15 full papers presented in this volume were carefully reviewed and selected from 39 submissions. ALGOSENSORS is an international symposium dedicated to the algorithmic aspects of wireless networks. Originally focused on sensor networks, it now covers algorithmic issues arising in wireless networks of all types of computational entities, static or mobile, including sensor networks, sensor-actuator networks, autonomous robots. The focus is on the design and analysis of algorithms, models of computation, and experimental analysis.

This book constitutes the post-conference proceedings of the 12th International Workshop on Fuzzy Logic and Applications, WILF 2018, held in Genoa, Italy, in September 2018.The 17 revised full papers and 9 short papers were carefully reviewed and selected from 26 submissions. The papers are organized in topical sections on fuzzy logic theory, recent applications of fuzzy logic, and fuzzy decision making. Also included are papers from the round table'Zadeh and the future of logic'and a tutorial.

This book constitutes revised and selected papers from the 8th International Conference on Operations Research and Enterprise Systems, ICORES 2019, held in Prague, Czech Republic, in February 2019. The 9 extended and revised papers presented in this volume were carefully reviewed and selected from a total of 80 submissions. They were organized in topical sections named methodologies and technologies and applications.

This book constitutes the thoroughly refereed short papers, workshops and doctoral consortium papers of the 23rd European Conference on Advances in Databases and Information Systems, ADBIS 2019, held in Bled, Slovenia, in September 2019.The 19 short research papers and the 5 doctoral consortium papers were carefully reviewed and selected from 103 submissions, and the 31 workshop papers were selected out of 67 submitted papers. The papers are organized in the following sections: Short Papers; Workshops Papers; Doctoral Consortium Papers; and cover a wide spectrum of topics related to database and information systems technologies for advanced applications.

​The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The papers cover vastly dierent topics, but each fall in the intersection of the three primary topics of ESSLLI: Logic, Language and Computation. The 14 papers presented in this volume have been selected among 24 papers presented by talks or posters at the Student Sessions of the 30th edition of ESSLLI, held in 2018 in Sofia, Bulgaria.The Student Session is a forum for PhD and Master students to present their research at the interfaces of logic, language and computation. It features three tracks: Logic and Computation (LoCo), Logic and Language (LoLa), and Language and Computation (LaCo).

This book constitutes the refereed proceedings of the 12th International Andrei P. Ershov Informatics Conference, PSI 2019, held in Novosibirsk, Russia, in July 2019.The 18 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 70 submissions. The papers cover various topics related to the Mathematics of Computing, Information Systems, Formal Languages, dependable and fault-tolerant Systems and Network, Automata Theory, and much more.

This LNCS 13453 constitutes the thoroughly refereed proceedings of the 48th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2022.The 32 full papers presented in this volume were carefully reviewed and selected from a total of 96 submissions. The WG 2022 workshop aims to merge theory and practice by demonstrating how concepts from Graph Theory can be applied to various areas in Computer Science, or by extracting new graph theoretic problems from applications.

This book constitutes the refereed proceedings of the 4th International Workshop on Explainable and Transparent AI and Multi-Agent Systems, EXTRAAMAS 2022, held virtually during May 9–10, 2022. The 14 full papers included in this book were carefully reviewed and selected from 25 submissions. They were organized in topical sections as follows: explainable machine learning; explainable neuro-symbolic AI; explainable agents; XAI measures and metrics; and AI & law.

This book constitutes the refereed proceedings of the 13th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2019, held in Batumi, Georgia, in September 2019. The volume contains 17 full revised papers presented at the conference from 17 submissions. The scientific program consisted of tutorials, invited lectures, contributed talks, and two workshops. The symposium offered two tutorials in language and logic and aimed at students as well as researchers working in the other areas: · Language: Sign language linguistics. State of the art, by Fabian Bross (University of Stuttgart, Germany) · Logic: Axiomatic Semantics, by Graham E. Leigh (University of Gothenburg, Sweden)

This book constitutes the refereed proceedings of the 18th China Conference onMachine Translation, CCMT 2022, held in Lhasa, China, during August 6–10, 2022.The 16 full papers were included in this book were carefully reviewed and selected from 73 submissions.

This book constitutes the thoroughly refereed post-conference proceedings of the International Workshop on Coordination, Organizations, Institutions, and Norms for Governance of Multi-Agent Systems, COINE 2022, which was held in Auckland, New Zealand, on May 9, 2022.The 14 papers included in these proceedings were carefully reviewed and selected from 15 submissions. They deal with autonomous agents and multi-agent systems, focusing on the scientific and technological aspects of social coordination, organizational theory, artificial (electronic) institutions, and normative and ethical MAS.

This book constitutes the refereed proceedings of the Third International Conference on Next Generation Arithmetic, CoNGA 2022, which was held in Singapore, during March 1–3, 2022. The 8 full papers included in this book were carefully reviewed and selected from 12 submissions. They deal with emerging technologies for computer arithmetic focusing on the demands of both AI and high-performance computing.

This book constitutes the proceedings of the 9th International Workshop on Code-Based Cryptography, CBCrypto 2021, which was held during June 21-22, 2021. The workshop was initially planned to take place in Munich, Germany, but changed to an online event due to the COVID-19 pandemic. The 6 papers presented in this volume were carefully reviewed and selected from 14 submissions. These contributions span all aspects of code-based cryptography, from design to implementation, and including studies of security, new systems, and improved decoding algorithms.

This two-volume set, LNCS 13163-13164, constitutes the refereed proceedings of the 7th International Conference on Machine Learning, Optimization, and Data Science, LOD 2021, together with the first edition of the Symposium on Artificial Intelligence and Neuroscience, ACAIN 2021. The total of 86 full papers presented in this two-volume post-conference proceedings set was carefully reviewed and selected from 215 submissions. These research articles were written by leading scientists in the fields of machine learning, artificial intelligence, reinforcement learning, computational optimization, neuroscience, and data science presenting a substantial array of ideas, technologies, algorithms, methods, and applications.​

This book constitutes the refereed proceedings of the 12th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2020, Virtual Event, November 2-4, 2020. The conference was held virtually due to the COVID-19 crisis.The 8 full papers included in this book were carefully reviewed and selected from 133 submissions.

This book constitutes the refereed proceedings of the 12th International Symposium, ISICA 2021, held in Guangzhou, China, during November 19–21, 2021. The 48 full papers included in this book were carefully reviewed and selected from 99 submissions. They were organized in topical sections as follows: new frontier of multi-objective evolutionary algorithms; intelligent multi-media; data modeling and application of artificial intelligence; exploration of novel intelligent optimization algorithm; and intelligent application of industrial production.

This book constitutes the refereed post-conference proceedings of the 17th International Conference on Advances in Computer Games, ACG 2021, which was held as a virtual event during November 23–25, 2021. The 22 full papers included in this book were carefully reviewed and selected from 34 submissions. They were organized in topical sections as follows: learning in games; search in games; solving games; chess patterns; player modelling; and game systems.

This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017. The 38 papers presented in this volume were carefully reviewed and selected from a total of 55 submissions. They stem from the following workshops: DataMod 2017 -- 6th International Symposium “From Data to Models and Back'; FAACS 2017 -- 1st Workshop on Formal Approaches for Advanced Computing Systems; MSE 2017 -- 1st Workshop on Microservices: Science and Engineering; CoSim-CPS 2017 -- 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems; FOCLASA 2017 -- 15th International Workshop on Foundations Of Coordination Languages and Self-Adaptive Systems​.

This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2017, held in Namur, Belgium, in October 2017. The 19 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 19 revised papers, this volume includes the abstracts of the invited talks by three outstanding speakers: Sumit Gulwani, Marieke Huisman, and Grigore Roşu. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. LOPSTR traditionally solicits contributions, in any language paradigm, in the areas of synthesis, specification, transformation, analysis and verification, specialization, testing and certification, composition, program/model manipulation, optimization, transformational techniques in SE, inversion, applications, and tools.

This book constitutes the refereed post-conference proceedings of the 25th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2018, held in Ma'ale HaHamisha, Israel, in June 2018. The 23 full papers and 8 short papers presented were carefully reviewed and selected from 47 submissions. They are devoted to the study of the interplay between structural knowledge, communications, and computing in decentralized systems of multiple communicating entities and cover a large range of topics.

This book constitutes the refereed post-conference proceedings of the First International Conference on Number-Theoretic Methods in Cryptology, NuTMiC 2017, held in Warsaw, Poland, in September 2017.The 15 revised full papers presented in this book together with 3 invited talks were carefully reviewed and selected from 32 initial submissions. The papers are organized in topical sections on elliptic curves in cryptography; public-key cryptography; lattices in cryptography; number theory; pseudorandomness; and algebraic structures and analysis.

This book constitutes revised selected papers from the 6th International Conference on Operations Research and Enterprise Systems, ICORES 2017, held in Porto, Portugal, in February 2017. The 15 papers presented in this volume were carefully reviewed and selected from a total of 90 submissions. They are organized in topical sections named: methodologies and technologies; and applications.

This book constitutes extended, revised and selected papers from the 7th International Conference on Optimization Problems and Their Applications, OPTA 2018, held in Omsk, Russia in July 2018. The 27 papers presented in this volume were carefully reviewed and selected from a total of 73 submissions. The papers are listed in thematic sections, namely location problems, scheduling and routing problems, optimization problems in data analysis, mathematical programming, game theory and economical applications, applied optimization problems and metaheuristics.

This book constitutes the thoroughly refereed proceedings of the Clausthal-Göttingen International Workshop on Simulation Science, held in Göttingen, Germany, in April 2017. The 16 full papers presented were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on simulation and optimization in networks, simulation of materials, distributed simulations.

This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Conference on Learning and Intelligent Optimization, LION 12, held in Kalamata, Greece, in June 2018. The 28 full papers and 12 short papers presented have been carefully reviewed and selected from 62 submissions. The papers explore the advanced research developments in such interconnected fields as mathematical programming, global optimization, machine learning, and artificial intelligence. Special focus is given to advanced ideas, technologies, methods, and applications in optimization and machine learning.

This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on the Arithmetic of Finite Field, WAIFI 2018, held in Bergen, Norway, in June 2018. The 14 revised full papers and six invited talks presented were carefully reviewed and selected from 26 submissions. The papers are organized in topical sections on invited talks; elliptic curves; hardware implementations; arithmetic and applications of finite fields and cryptography.

This book contains the thoroughly refereed technical papers presented in eight workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2018, held in Toulouse, France, in June 2018. The 65 full papers presented were carefully reviewed and selected from 120 submissions. The events whose papers are included in this volume are: CoSim-CPS 2018: 2nd International Workshop on Formal Co-Simulation of Cyber-Physical SystemsDataMod 2018: 7th International Symposium From Data to Models and BackFMIS 2018: 7th International Workshop on Formal Methods for Interactive SystemsFOCLASA 2018: 16th International Workshop on Foundations of Coordination Languages and Self-adaptative SystemsGCM 2018: 9th International Workshop on Graph Computation ModelsMDE@DeRun 2018: 1st International Workshop on Model-Driven Engineering for Design-RuntimeInteraction in Complex SystemsMSE 2018: 3rd International Workshop on Microservices: Science and EngineeringSecureMDE 2018: 1st International Workshop on Security for and by Model-Driven Engineering

This book constitutes the thoroughly refereed workshop post-proceedings of the 16th International Workshop on Approximation and Online Algorithms, WAOA 2018, held in Helsinki, Finland, in August 2018 as part of ALGO 2018. The 19 revised full papers presented together with one invited paper in this book were carefully reviewed and selected from 44 submissions. Topics of interest for WAOA 2016 were: graph algorithms; inapproximability results; network design; packing and covering; paradigms for the design and analysis of approximation and online algorithms; parameterized complexity; scheduling problems; algorithmic game theory; algorithmic trading; coloring and partitioning; competitive analysis; computational advertising; computational finance; cuts and connectivity; geometric problems; mechanism design; resource augmentation; and real-world applications.

This book constitutes the refereed proceedings of the 19th International Conference on Data Analytics and Management in Data Intensive Domains, DAMDID/RCDL 2017, held in Moscow, Russia, in October 2017.The 16 revised full papers presented together with three invited papers were carefully reviewed and selected from 75 submissions. The papers are organized in the following topical sections: data analytics; next generation genomic sequencing: challenges and solutions; novel approaches to analyzing and classifying of various astronomical entities and events; ontology population in data intensive domains; heterogeneous data integration issues; data curation and data provenance support; and temporal summaries generation.

This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Artificial Evolution, EA 2017, held in Paris, France, in October 2017. The 16 revised papers were carefully reviewed and selected from 33 submissions. The papers cover a wide range of topics in the field of artificial evolution, such as evolutionary computation, evolutionary optimization, co-evolution, artificial life, population dynamics, theory, algorithmics and modeling, implementations, application of evolutionary paradigms to the real world (industry, biosciences,...), other biologically-inspired paradigms (swarm, artificial ants, artificial immune systems, cultural algorithms...), memetic algorithms, multi-objective optimisation, constraint handling, parallel algorithms,, dynamic optimization, machine learning and hybridization with other soft computing techniques.

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 post-conference proceedings of the 11th International Seminar on Speech Production, ISSP 2017, held in Tianjin, China, In October 2017.The 20 revised full papers included in this volume were carefully reviewed and selected from 68 submissions. They cover a wide range of speech science fields including phonology, phonetics, prosody, mechanics, acoustics, physiology, motor control, neuroscience, computer science and human interaction. The papers are organized in the following topical sections: emotional speech analysis and recognition; articulatory speech synthesis; speech acquisition; phonetics; speech planning and comprehension, and speech disorder.

This book contains a selection of the best papers of the 29th Benelux Conference on Artificial Intelligence, BNAIC 2017, held in Groningen, The Netherlands, in November 2017. The 11 full papers presented in this volume were carefully reviewed and selected from 30 submissions. They address various aspects of artificial intelligence such as natural language processing, agent technology, game theory, problem solving, machine learning, human-agent interaction, AI and education, and data analysis.

This book constitutes revised selected papers from the 6th Workshop on Computer Games, CGW 2017, held in conjunction with the 26th International Conference on Artificial Intelligence, IJCAI 2017, in Melbourne, Australia, in August 2017. The 12 full papers presented in this volume were carefully reviewed and selected from 18 submissions. They cover a wide range of topics related to computer games; discussing six abstract games: Chinese Checkers, Chinese Dark Chess, Hex, Othello, Poker, and SameGame.

This book constitutes the thoroughly refereed post-conference proceedings of the Satellite Events of the 15th Extended Semantic Web Conference, ESWC 2018, held in Heraklion, Crete, Greece, in June 2018.The volume contains 41 poster and demonstration papers, 11 invited workshop papers, and 9 full papers, selected out of a total of 70 submissions. They deal with all areas of semantic web research, semantic technologies on the Web and Linked Data. Ontology ABox Comparison” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

This book contains extended versions of the best papers presented at the 13th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2017, held in Kyiv, Ukraine, in May 2017.The 11 revised full papers included in this volume were carefully reviewed and selected from 151 initial submissions during several rounds of reviewing. The papers are organized in the following topical sections: modeling and theoretical frameworks; ICT in teaching, learning, and education management; and ICT evaluation and applications.

This book constitutes the thoroughly refereed proceedings of the 6th International Conference on Data Management Technologies and Applications, DATA 2017, held in Madrid, Spain, in July 2017. The 13 revised full papers were carefully reviewed and selected from 66 submissions. The papers deal with the following topics: databases, big data, data mining, data management, data security, and other aspects of information systems and technology involving advanced applications of data.

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 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 contains the revised and extended versions of selected papers from the 9th International Conference, ICAART 2017, held in Porto, Portugal, in February 24-26, 2017.The 11 full papers were carefully reviewed and selected from 158 initial submissions. The papers are organized in two tracks. The first focuses on agents, multi-agent systems, software platforms, distributed problem solving and distributed AI in general. The second track focuses mainly on artificial intelligence, knowledge representation, planning, learning, scheduling, perception, reactive AI systems, evolutionary computing, and other topics related to intelligent systems and computer intelligence.

The two-volume set LNCS 10777 and 10778 constitutes revised selected papers from the 12th International Conference on Parallel Processing and Applied Mathematics, PPAM 2017, held in Lublin, Poland, in September 2017.The 49 regular papers presented in the proceedings were selected from 98 submissions. For the workshops and special sessions, that were held as integral parts of the PPAM 2017 conference, a total of 51 papers was accepted from 75 submissions. The papers were organized in topical sections named as follows:Part I: numerical algorithms and parallel scientific computing; particle methods in simulations; task-based paradigm of parallel computing; GPU computing; parallel non-numerical algorithms; performance evaluation of parallel algorithms and applications; environments and frameworks for parallel/distributed/cloud computing; applications of parallel computing; soft computing with applications; and special session on parallel matrix factorizations.Part II: workshop on models, algorithms and methodologies for hybrid parallelism in new HPC systems; workshop power and energy aspects of computations (PEAC 2017); workshop on scheduling for parallel computing (SPC 2017); workshop on language-based parallel programming models (WLPP 2017); workshop on PGAS programming; minisymposium on HPC applications in physical sciences; minisymposium on high performance computing interval methods; workshop on complex collective systems.