This book constitutes the thoroughly refereed post-conference proceedings of the JSAI-isAI 2016 Workshops, LENLS 13, HAT-MASH, AI-Biz, JURISIN and SKL, held in Kanagawa, Japan, in November 1016.

The 22 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. LENLS 13 was the 13th event in the series, and it focused on the formal and theoretical aspects of natural language. LENLS (Logic and Engineering of Natural Language Semantics) is an annual international workshop recognized internationally in the formal syntax-semantics-pragmatics community. It has been bringing together for discussion and interdisciplinary communication researchers working on formal theories of natural language syntax, semantics and pragmatics, (formal) philosophy, artificial intelligence and computational linguistics.

HAT-MASH 2016 (Healthy Aging Tech mashup service, data and people) was the second international workshop bridges healthy aging and elderly care technology, information technology and service engineering. The main objective of this workshop was to provide a forum to discuss important research questions and practical challenges in healthy aging and elderly care support to promote transdisciplinary approaches.

AI-Biz 2016 (Artificial Intelligence of and for Business) was the first workshop held to foster the concepts and techniques of Business Intelligence (BI) in Artificial Intelligence. BI should include such cutting-edge techniques as data science, agent-based modelling, complex adaptive systems, and IoT. The main purpose of this workshop is to provide a forum to discuss important research questions and practical challenges in Business Intelligence, Business Informatics, Data Analysis and Agent-based Modelling to exchange latest results, to join efforts in solving the common challenges.JURISIN 2016 was the tenth international workshop on Juris-informatics. Juris-informatics is a new research area which studies legal issues from the perspective of informatics. The purpose of this workshop was to discuss both the fundamental and practical issues among people from the various backgrounds such as law, social science, information and intelligent technology, logic and philosophy, including the conventional “AI and law” area.

SKL 2016 (The Third International Workshop on Skill Science) was aimed to internationalize the research on skill sciences through organizing the meeting. Human skills involve well-attuned perception and fine motor control, often accompanied by thoughtful planning. The involvement of body, environment, and tools mediating them makes the study of skills unique among researches of human intelligence.

This book constitutes the thoroughly refereed post-conference proceedings of the JSAI-isAI 2014 Workshops LENLS, JURISIN, and GABA which tool place on November 2014, in Japan. The 26 contributions in this volume were carefully reviewed and selected from 57 submissions. From the 3 workshops (LENLS11, JURISIN2014, and GABA2014), 23 papers were carefully selected and revised according to the comments of the workshop program committee. LENLS (Logic and Engineering of Natural Language Semantics) is an annual international workshop on formal semantics and pragmatics and it focused on the formal and theoretical aspects of natural language. JURISIN (Juris-informatics) 2014 was the 8th event in the series, the purpose of this workshop was to discuss fundamental and practical issues for juris-informatics, bringing together experts from a variety of relevant backgrounds, including law, social science, information and intelligent technology, logic and philosophy (including the area of AI and law). GABA (Graph-based Algorithms for Big Data and its Applications) 2014 was the first workshop on graph structures including string, tree, bipartite- and di-graph for knowledge discovery in big data. The purpose of this workshop was to discuss ideas for realizing big data integration, including algorithms with theoretical / experimental results.

This book constitutes the thoroughly refereed post-conference proceedings of the JSAI-isAI 2013 Workshops LENLS, JURISIN, MiMI, AAA, and DDS which tool place on October 2013, in Japan. The 28 contributions in this volume were carefully reviewed and selected from 48 submissions. LENLS (Logic and Engineering of Natural Language Semantics) is an annual international workshop on formal semantics and pragmatics. LENLS10 was the tenth event in the series, and it focused on the formal and theoretical aspects of natural language. JURISIN (Juris-Informatics) 2013 was the seventh event in the series. The purpose of this workshop was to discuss fundamental and practical issues for jurisinformatics, bringing together experts from a variety of relevant backgrounds, including law, social science, information and intelligent technology, logic,and philosophy (including the area of AI and law). MiMI (Multimodality in Multiparty Interaction) 2013 covers topics as follows interaction studies, communication studies, conversation analysis, and workplace studies, as well as their applications in other research fields. AAA (Argument for Agreement and Assurance) 2013 focused on the theoretical foundations of argumentation in AI, and the application of argumentation to various fields such as agreement formation and assurance. DDS (Data Discretization and Segmentation for Knowledge Discovery) 2013 discussed segmentation methods for various types of data, such as graphs, trees, strings, and continuous data, and their applications in the areas of Machine Learning and Knowledge Discovery.

This book constitutes the thoroughly refereed post-proceedings of four workshops held as satellite events of the JSAI International Symposia on Artificial Intelligence 2011, in Takamatsu, Japan, in December 2011. The 25 revised full papers presented were carefully reviewed and selected from numerous papers. The papers are organized in four sections according to the four workshops: Logic and Engineering of Natural Language Semantics (LENLS), Juris-Informatics (JURISIN), Algorithms for Large-Scale Information Processing in Knowledge Discovery (ALSIP), and Multimodality in Multispace Interaction (MiMI).

This book constitutes the thoroughly refereed post-conference proceedings of the JSAI-isAI 2012 Workshops LENLS, JURISIN, ALSIP, MiMI, which tool place on November/December 2012, respectively, in Miyazaki, Japan. The 17 contributions in this volume were carefully reviewed and selected from 42 submissions.They are an excellent selection of papers that are representative of topics of AI research both in Japan an in other parts of the world. LENLS (Logic and Engineering of Natural Language Semantics) is an annual international workshop on formal semantics and pragmatics; its topics are the formal and theoretical aspects of natural language. JURISIN (Juris-Informatics) deals with juris-informatics. This workshop brings together people from various backgrounds such as law, social science, information and intelligent technology, logic and philosophy, including the conventional “AI and law” area. MiMI (Multimodality in Multispace Interaction) focuses on how multispace is managed in socially, temporally, and sequentially complex environments.

Multi-agent systems are communities of problem-solving entities that can exhibit varying degrees of intelligence. They can perceive and react to their environment, they can have individual or joint goals, for which they can plan and execute actions. Work on such systems integrates many technologies and concepts in - ti?cial intelligence and other areas of computing as well as other disciplines. The agent paradigm has become widely popular and widely used in recent years, due to its applicability to a large range of domains, from search engines to edu- tional aids to electronic commerce and trade, e-procurement, recommendation systems, simulation and routing, and ambient intelligence, to cite only some. Computational logic provides a well-de?ned, general, and rigorous framework for studying syntax, semantics, and procedures for various capabilities and fu- tionalities of individual agents, as well as interaction amongst agents in multi-agent systems. It also provides a well-de?ned and rigorous framework for implemen- tions, environments, tools, and standards, and for linking together speci?cation and veri?cation of properties of individual agents and multi-agent systems. The CLIMA workshop series was founded to provide a forum for discussing, presenting, and promoting computational logic-based approaches in the design, development, analysis, and application of multi-agent systems.

This volume contains some lecture notes of the 12th Reasoning Web Summer School (RW 2016), held in Aberdeen, UK, in September 2016.In 2016, the theme of the school was “Logical Foundation of Knowledge Graph Construction and Query Answering”. The notion of knowledge graph has become popular since Google started to use it to improve its search engine in 2012. Inspired by the success of Google, knowledge graphs are gaining momentum in the World Wide Web arena. Recent years have witnessed increasing industrial take-ups by other Internet giants, including Facebook's Open Graph and Microsoft's Satori.

The aim of the lecture note is to provide a logical foundation for constructing and querying knowledge graphs. Our journey starts from the introduction of Knowledge Graph as well as its history, and the construction of knowledge graphs by considering both explicit and implicit author intentions. The book will then cover various topics, including how to revise and reuse ontologies (schema of knowledge graphs) in a safe way, how to combine navigational queries with basic pattern matching queries for knowledge graph, how to setup a environment to do experiments on knowledge graphs, how to deal with inconsistencies and fuzziness in ontologies and knowledge graphs, and how to combine machine learning and machine reasoning for knowledge graphs.

This book contains the best selected papers of two Satellite Events held at the 20th International Conference on Knowledge Engineering and Knowledge Management, EKAW 2016, in November 2016 in Bologna, Italy: The Second International Workshop on Educational Knowledge Management, EKM 2016, and the First Workshop: Detection, Representation and Management of Concept Drift in Linked Open Data, Drift-an-LOD 2016. 
The 6 revised full papers included in this volume were carefully reviewed and selected from the 13 full papers that were accepted for presentation at the conference from the initial 82 submissions.  This volume also contains the 37 accepted contributions for the EKAW 2016 tutorials, demo and poster sessions, and the doctoral consortium. The special focus of this year's EKAW was "evolving knowledge", which concerns all aspects of the management and acquisition of knowledge representations of evolving, contextual, and local models. This includes change management, trend detection, model evolution, streaming data and stream reasoning, event processing, time-and space dependent models, contextual and local knowledge representations with a special emphasis on the evolvability and localization of knowledge and the correct usage of these limits.

'A Geometry of Approximation' addresses Rough Set Theory, a field of interdisciplinary research first proposed by Zdzislaw Pawlak in 1982, and focuses mainly on its logic-algebraic interpretation. The theory is embedded in a broader perspective that includes logical and mathematical methodologies pertaining to the theory, as well as related epistemological issues. Any mathematical technique that is introduced in the book is preceded by logical and epistemological explanations. Intuitive justifications are also provided, insofar as possible, so that the general perspective is not lost.

Such an approach endows the present treatise with a unique character. Due to this uniqueness in the treatment of the subject, the book will be useful to researchers, graduate and pre-graduate students from various disciplines, such as computer science, mathematics and philosophy. It features an impressive number of examples supported by about 40 tables and 230 figures. The comprehensive index of concepts turns the book into a sort of encyclopaedia for researchers from a number of fields.

'A Geometry of Approximation' links many areas of academic pursuit without losing track of its focal point, Rough Sets.

There is no royal road to science, and only those who do not dread the fatiguing climb of its steep paths have a chance of gaining its luminous summits. Karl Marx A Universial Genius of the 19th Century Many scientists from all over the world during the past two years since the MLDM 2007 have come along on the stony way to the sunny summit of science and have worked hard on new ideas and applications in the area of data mining in pattern r- ognition. Our thanks go to all those who took part in this year's MLDM. We appre- ate their submissions and the ideas shared with the Program Committee. We received over 205 submissions from all over the world to the International Conference on - chine Learning and Data Mining, MLDM 2009. The Program Committee carefully selected the best papers for this year’s program and gave detailed comments on each submitted paper. There were 63 papers selected for oral presentation and 17 papers for poster presentation. 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. Among these topics this year were special contributions to subtopics such as attribute discre- zation and data preparation, novelty and outlier detection, and distances and simila- ties.

This book constitutes the thoroughly refereed post-conference proceedings of the JSAI-isAI 2014 Workshops LENLS, JURISIN, and GABA which tool place on November 2014, in Japan. The 26 contributions in this volume were carefully reviewed and selected from 57 submissions. From the 3 workshops (LENLS11, JURISIN2014, and GABA2014), 23 papers were carefully selected and revised according to the comments of the workshop program committee. LENLS (Logic and Engineering of Natural Language Semantics) is an annual international workshop on formal semantics and pragmatics and it focused on the formal and theoretical aspects of natural language. JURISIN (Juris-informatics) 2014 was the 8th event in the series, the purpose of this workshop was to discuss fundamental and practical issues for juris-informatics, bringing together experts from a variety of relevant backgrounds, including law, social science, information and intelligent technology, logic and philosophy (including the area of AI and law). GABA (Graph-based Algorithms for Big Data and its Applications) 2014 was the first workshop on graph structures including string, tree, bipartite- and di-graph for knowledge discovery in big data. The purpose of this workshop was to discuss ideas for realizing big data integration, including algorithms with theoretical / experimental results.

By the dawn of the new millennium, robotics has undergone a major tra- formation in scope and dimensions. This expansion has been brought about bythematurityofthe?eldandtheadvancesinitsrelatedtechnologies.From a largely dominant industrial focus, robotics has been rapidly expanding into the challenges of the human world. The new generation of robots is expected to safely and dependably co-habitat with humans in homes, workplaces, and communities,providingsupportinservices,entertainment,education,heal- care, manufacturing, and assistance. Beyond its impact on physical robots, the body of knowledge robotics has produced is revealing a much wider range of applications reaching across - verse research areas and scienti?c disciplines, such as: biomechanics, haptics, neurosciences, virtual simulation, animation, surgery, and sensor networks among others. In return, the challenges of the new emerging areas are pr- ing an abundant source of stimulation and insights for the ?eld of robotics. It is indeed at the intersection of disciplines that the most striking advances happen. The goal of the series of Springer Tracts in Advanced Robotics (STAR) is to bring, in a timely fashion, the latest advances and developments in robotics on the basis of their signi?cance and quality. It is our hope that the wider dissemination of research developments will stimulate more exchanges and collaborations among the research community and contribute to further advancement of this rapidly growing ?eld.

This book constitutes the thoroughly refereed post-conference proceedings of the JSAI-isAI 2016 Workshops, LENLS 13, HAT-MASH, AI-Biz, JURISIN and SKL, held in Kanagawa, Japan, in November 1016.

The 22 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. LENLS 13 was the 13th event in the series, and it focused on the formal and theoretical aspects of natural language. LENLS (Logic and Engineering of Natural Language Semantics) is an annual international workshop recognized internationally in the formal syntax-semantics-pragmatics community. It has been bringing together for discussion and interdisciplinary communication researchers working on formal theories of natural language syntax, semantics and pragmatics, (formal) philosophy, artificial intelligence and computational linguistics.

HAT-MASH 2016 (Healthy Aging Tech mashup service, data and people) was the second international workshop bridges healthy aging and elderly care technology, information technology and service engineering. The main objective of this workshop was to provide a forum to discuss important research questions and practical challenges in healthy aging and elderly care support to promote transdisciplinary approaches.

AI-Biz 2016 (Artificial Intelligence of and for Business) was the first workshop held to foster the concepts and techniques of Business Intelligence (BI) in Artificial Intelligence. BI should include such cutting-edge techniques as data science, agent-based modelling, complex adaptive systems, and IoT. The main purpose of this workshop is to provide a forum to discuss important research questions and practical challenges in Business Intelligence, Business Informatics, Data Analysis and Agent-based Modelling to exchange latest results, to join efforts in solving the common challenges.JURISIN 2016 was the tenth international workshop on Juris-informatics. Juris-informatics is a new research area which studies legal issues from the perspective of informatics. The purpose of this workshop was to discuss both the fundamental and practical issues among people from the various backgrounds such as law, social science, information and intelligent technology, logic and philosophy, including the conventional “AI and law” area.

SKL 2016 (The Third International Workshop on Skill Science) was aimed to internationalize the research on skill sciences through organizing the meeting. Human skills involve well-attuned perception and fine motor control, often accompanied by thoughtful planning. The involvement of body, environment, and tools mediating them makes the study of skills unique among researches of human intelligence.

This book constitutes the thoroughly refereed post-proceedings of four workshops held as satellite events of the JSAI International Symposia on Artificial Intelligence 2011, in Takamatsu, Japan, in December 2011. The 25 revised full papers presented were carefully reviewed and selected from numerous papers. The papers are organized in four sections according to the four workshops: Logic and Engineering of Natural Language Semantics (LENLS), Juris-Informatics (JURISIN), Algorithms for Large-Scale Information Processing in Knowledge Discovery (ALSIP), and Multimodality in Multispace Interaction (MiMI).

The technology of arti?cial intelligence is increasing its importance thanks to the rapid growth of the Internet and computer technology. In Japan, the annual conference series of JSAI (The Japanese Society for Arti?cial Intelligence) has been playing a leading role in promoting AI research, and selected papers of the annual conferences have been published in the LNAI series since 2003. This book consists of award papers from the 21st annual conference of JSAI (JSAI 2007) and selected papers from the four co-located workshops. Seven papers were awarded among more than 335 presentations in the conference and 24 papers were selected from a total of 48 presentations in the co-located workshops: Logic and Engineering of Natural Language Semantics 2007 (LENLS 2007), the International Workshop on Risk Informatics (RI 2007), the 5th Wo- shop on Learning with Logics and Logics for Learning (LLLL 2007), and the 1st International Workshop on Juris-informatics (JURISIN 2007). The award papers from JSAI 2007 underwent a rigorous selection process. Firstly, recommendations were made from three people (Session Chair, session commentator and one PC member) in each session, and then recommended - pers were carefully reviewed and voted for by PC members for ?nal selection.

The progress in information technology including arti?cial intelligence (AI) in the last few decades is remarkable, and has attracted many young researchers to this ?eld. This trend is now accelerated along with the recent rapid growth of computer communicationnetworksandthe worldwideincreaseinresearchers. In this context, we have observed many outstanding AI studies in Japanese dom- tic conferences. They have high technical originality, quality and signi?cance. The annual conference of JSAI (Japan Society for Arti?cial Intelligence) is one of the key and representative domestic meetings in the ?eld of intelligent inf- mation technology. Award papers in this conference have an excellent quality of internationalstandards. The annualconferenceofJSAIalsoorganizesco-located international workshops to provide excellent study reports. The objectives of this book are to present the award papers of the 20th annual conference of JSAI 2006 and selected papers from the three co-located international workshops and to promote the study exchange among researchers worldwide. Eight papers were awarded among more than 200 presentations in the conference, and 21 papers were selected from a total of 44 presentations in the workshops of Logic and Engineering of Natural Language Semantics 2006 (LENLS 2006), Learning with Logics and Logics for Learning (LLLL 2006) and Risk Mining (RM 2006). The award papers in the 20th annual conference of JSAI 2006 were selected from presentations covering the wide ?eld of art- cial intelligence through the processes of candidate recommendations, detailed open discussions and voting by ProgramCommittee members of the conference.

This book constitutes the thoroughly refereed post-conference proceedings of the JSAI-isAI 2013 Workshops LENLS, JURISIN, MiMI, AAA, and DDS which tool place on October 2013, in Japan. The 28 contributions in this volume were carefully reviewed and selected from 48 submissions. LENLS (Logic and Engineering of Natural Language Semantics) is an annual international workshop on formal semantics and pragmatics. LENLS10 was the tenth event in the series, and it focused on the formal and theoretical aspects of natural language. JURISIN (Juris-Informatics) 2013 was the seventh event in the series. The purpose of this workshop was to discuss fundamental and practical issues for jurisinformatics, bringing together experts from a variety of relevant backgrounds, including law, social science, information and intelligent technology, logic,and philosophy (including the area of AI and law). MiMI (Multimodality in Multiparty Interaction) 2013 covers topics as follows interaction studies, communication studies, conversation analysis, and workplace studies, as well as their applications in other research fields. AAA (Argument for Agreement and Assurance) 2013 focused on the theoretical foundations of argumentation in AI, and the application of argumentation to various fields such as agreement formation and assurance. DDS (Data Discretization and Segmentation for Knowledge Discovery) 2013 discussed segmentation methods for various types of data, such as graphs, trees, strings, and continuous data, and their applications in the areas of Machine Learning and Knowledge Discovery.

This book constitutes the thoroughly refereed post-conference proceedings of the JSAI-isAI 2012 Workshops LENLS, JURISIN, ALSIP, MiMI, which tool place on November/December 2012, respectively, in Miyazaki, Japan. The 17 contributions in this volume were carefully reviewed and selected from 42 submissions.They are an excellent selection of papers that are representative of topics of AI research both in Japan an in other parts of the world. LENLS (Logic and Engineering of Natural Language Semantics) is an annual international workshop on formal semantics and pragmatics; its topics are the formal and theoretical aspects of natural language. JURISIN (Juris-Informatics) deals with juris-informatics. This workshop brings together people from various backgrounds such as law, social science, information and intelligent technology, logic and philosophy, including the conventional “AI and law” area. MiMI (Multimodality in Multispace Interaction) focuses on how multispace is managed in socially, temporally, and sequentially complex environments.

Multi-agent systems are communities of problem-solving entities that can exhibit varying degrees of intelligence. They can perceive and react to their environment, they can have individual or joint goals, for which they can plan and execute actions. Work on such systems integrates many technologies and concepts in - ti?cial intelligence and other areas of computing as well as other disciplines. The agent paradigm has become widely popular and widely used in recent years, due to its applicability to a large range of domains, from search engines to edu- tional aids to electronic commerce and trade, e-procurement, recommendation systems, simulation and routing, and ambient intelligence, to cite only some. Computational logic provides a well-de?ned, general, and rigorous framework for studying syntax, semantics, and procedures for various capabilities and fu- tionalities of individual agents, as well as interaction amongst agents in multi-agent systems. It also provides a well-de?ned and rigorous framework for implemen- tions, environments, tools, and standards, and for linking together speci?cation and veri?cation of properties of individual agents and multi-agent systems. The CLIMA workshop series was founded to provide a forum for discussing, presenting, and promoting computational logic-based approaches in the design, development, analysis, and application of multi-agent systems.

This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA VII, held in Hakodate, Japan, in May 2006. It was an associated event of AAMAS 2006, the main international conference on autonomous agents and multi-agent systems. The series of workshops presents current work on application of general and declarative theories.