This book constitutes extended, revised, and selected papers from the JSAI annual conference, JSAI 2022, and the 14th International Symposium on Artificial Intelligence, JSAI-isAI 2022, held in Kyoto, Japan, in June 2022. The 18 full papers were carefully selected from 67 submissions and presented during the two events: 16th International Workshop on Juris-informatics, JURISIN 2022, and JSAI 2022 Intenational Session. This papers present discussion on fundamental and practical issues in Juris-informatics among researchers from various backgrounds such as law, social science, information and intelligent technology, logic, and philosophy, including the conventional AI and Law area. 

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).

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.

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.

This book constitutes the refereed proceedings of the 5th International Conference on Discovery Science, DS 2002, held in Lubeck, Germany, in November 2002.The 17 revised full papers and 27 revised short papers presented together with 5 invited contributions were carefully reviewed and selected from 76 submissions. The papers are organized in topical sections on applications of discovery science to natural science, knowledge discovery from unstructured and semi-structured data, metalearning and analysis of machine learning algorithms, combining machine learning algorithms, neural networks and statistical learning, new approaches to knowledge discovery, and knowledge discovery from text.

This book constitutes extended, revised, and selected papers from the 13th International Symposium on Artificial Intelligence supported by the Japanese Society for Artificial Intelligence, JSAI-isAI 2021, held online in November 2021.  The 26 full papers were carefully selected from 86 submissions. The papers are organized in the volume according to the following workshops: 15th International Workshop on Juris-Informatics, JURISIN 2021; 18th Workshop on Logic and Engineering of Natural Language Semantics, LENLS 18, 5th International Workshop on SCIentific DOCument Analysis, SCI-DOCA 2021; Workshop on Artificial Affective (Kansei) Intelligence, KANSEI-AI 2021; 5th Workshop on Artificial Intelligence of and for Business, AI-Biz 2021.

This book constitutes extended, revised, and selected papers from the 12th International Symposium on Artificial Intelligence supported by the Japanese Society for Artificial Intelligence, JSAI-isAI 2020. Organized in the Tokyo Institute of Technology, it was held virtually due to COVID-19 pandemic. The 19 full papers were carefully selected from 50 submissions and present two workshops: Logic and Engineering of Natural Language Semantics (LENLS 2020) focus on the formal and theoretical aspects of natural language. It is an annual International Workshop recognized internationally in the formal syntax-semantics-pragmatics community. The 14th International Workshop on Juris-informatics (JURISIN 2020) details legal issues for the perspective of information science. This workshop covers a wide range of topics, including any theories and technologies which are not directly related with juris-informatics but have a potential to contribute to this domain.

This book constitutes extended, revised and selected papers from the 11th International Symposium of Artificial Intelligence supported by the Japanese Society for Artificial Intelligence, JSAI-isAI 2019. It was held in November 2019 in Yokohama, Japan.The 26 papers were carefully selected from 46 submissions and deal with topics of AI research and are organized into 4 sections, according to the 4 workshops: JURISIN 2019, AI-Biz 2019, LENLS 16, and Kansei-AI 2019.

This book constitutes extended, revised, and selected papers from the 10th International Symposium of Artificial Intelligence supported by the Japanese Society for Artificial Intelligence, JSAI-isAI 2018. It was held in November 2018 in Yokohama, Japan. The 28 paper full papers and 5 short papers were carefully selected from 97 submissions. The papers selected cover topics in Artificial Intelligence, such as AI and law, business intelligence, human intelligence, logic and engineering, and data analytics and applications.

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 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 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 thoroughly refereed joint post-proceedings of three international workshops organized by the Japanese Society for Artificial Intelligence, held in Tokyo, Japan in June 2006 during the 20th Annual Conference JSAI 2006.

The volume starts with 8 award winning papers of the JSAI 2006 main conference that are presented along with the 21 revised full workshop papers, carefully reviewed and selected from the three co-located international workshops for inclusion in the volume. The workshop papers cover topics from areas such as logic and engineering of natural language semantics (LENLS 2006), learning with logics and logics for learning (LLLL 2006) and risk mining (RM 2006).

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.