Neuro-Symbolic Artificial Intelligence: The State of the Art

Neuro-symbolic artficial intelligence is an emerging subfield of artificial intelligence (AI) that brings together two hitherto distinct approaches. ”Neuro” refers to the artificial neural networks prominent in machine learning, ”symbolic” refers to algorithmic processing on the level of meaningful symbols, prominent in knowledge representation. In the past, these two fields of AI have been largely separate, with very little crossover, but the so-called “third wave” of AI is now bringing them together.

This book, Neuro-Symbolic Artificial Intelligence: The State of the Art, provides an overview of this development in AI. The two approaches differ significantly in terms of their strengths and weaknesses and, from a cognitive-science perspective, there is a question as to how a neural system can perform symbol manipulation, and how the representational differences between these two approaches can be bridged. The book presents 17 overview papers, all by authors who have made significant contributions in the past few years and starting with a historic overview first seen in 2016. With just seven months elapsed from invitation to authors to final copy, the book is as up-to-date as a published overview of this subject can be.

Based on the editors’ own desire to understand the current state of the art, this book reflects the breadth and depth of the latest developments in neuro-symbolic AI, and will be of interest to students, researchers, and all those working in the field of artificial intelligence.

Editors: Hitzler, P., Sarker, M.K.
Pages: 408
Binding: softcover
Volume 342 of Frontiers in Artificial Intelligence and Applications
ISBN print: 978-1-64368-244-0
ISBN online: 978-1-64368-245-7

Legal Knowledge and Information Systems

JURIX 2021: The Thirty-fourth Annual Conference, Vilnius, Lithuania, 8-10 December 2021

Traditionally concerned with computational models of legal reasoning and the analysis of legal data, the field of legal knowledge and information systems has seen increasing interest in the application of data analytics and machine learning tools to legal tasks in recent years.

This book presents the proceedings of the 34th annual JURIX conference, which, due to pandemic restrictions, was hosted online in a virtual format from 8 – 10 December 2021 in Vilnius, Lithuania. Since its inception as a mainly Dutch event, the JURIX conference has become truly international and now, as a platform for the exchange of knowledge between theoretical research and applications, attracts academics, legal practitioners, software companies, governmental agencies and judiciary from around the world. A total of 65 submissions were received for this edition, and after rigorous review, 30 of these were selected for publication as long papers or short papers, representing an overall acceptance rate of 46 %. The papers are divided into 6 sections: Visualization and Legal Informatics; Knowledge Representation and Data Analytics; Logical and Conceptual Representations; Predictive Models; Explainable Artificial Intelligence; and Legal Ethics, and cover a wide range of topics, from computational models of legal argumentation, case-based reasoning, legal ontologies, smart contracts, privacy management and evidential reasoning, through information extraction from different types of text in legal documents, to ethical dilemmas.

Providing an overview of recent advances and the cross-fertilization between law and computing technologies, this book will be of interest to all those working at the interface between technology and law.

Editors: Schweighofer, E.
Pages: 272
Binding: softcover
Volume 346 of Frontiers in Artificial Intelligence and Applications
ISBN print: 978-1-64368-252-5
ISBN online: 978-1-64368-253-2

Modern Management based on Big Data II and Machine Learning and Intelligent Systems III

Proceedings of MMBD 2021 and MLIS 2021

It is data that guides the path of applications, and Big Data technologies are enabling new paths which can deal with information in a reasonable time to arrive at an approximate solution, rather than a more exact result in an unacceptably long time. This can be particularly important when dealing with an urgent issue such as that of the COVID-19 pandemic.

This book presents the proceedings of two conferences: MMBD 2021 and MLIS 2021.

The MMBD conference deals with two main subjects; those of Big Data and Modern Management. The MLIS conference aims to provide a platform for knowledge exchange of the most recent scientific and technological advances in the field of machine learning and intelligent systems. Both conferences were originally scheduled to be held from 8-11 November 2021, in Quanzhou, China and Xiamen, China respectively. Both conferences were ultimately held fully online on the same dates, hosted by Huaqiao University in Quanzhou and Xiamen respectively.

The book is in two parts, and contains a total of 78 papers (54 from MMBD2021 and 24 from MLIS2021) selected after rigorous review from a total of some 300 submissions. The reviewers bore in mind the breadth and depth of the research topics that fall within the scope of MMBD and MLIS, and selected the 78 most promising and FAIA mainstream-relevant contributions for inclusion in this two-part volume. All the papers present original ideas or results of general significance supported by clear reasoning, compelling evidence and rigorous methods.

Editors: Tallón-Ballesteros, A.J.
Pages: 736
Binding: softcover
Volume 341 of Frontiers in Artificial Intelligence and Applications
ISBN print: 978-1-64368-224-2
ISBN online: 978-1-64368-225-9

Fuzzy Systems and Data Mining VII

Proceedings of FSDM 2021

Fuzzy systems and data mining are indispensible aspects of the computer systems and algorithms on which the world has come to depend.

This book presents papers from FSDM 2021, the 7th International Conference on Fuzzy Systems and Data Mining. The conference, originally due to take place in Seoul, South Korea, was held online on 26-29 October 2021, due to ongoing restrictions connected with the COVID-19 pandemic. The annual FSDM conference provides a platform for knowledge exchange between international experts, researchers, academics and delegates from industry. This year, the committee received 266 submissions, and this book contains 52 papers, including keynotes and invited presentations, oral and poster contributions. The papers cover four main areas: 1) fuzzy theory, algorithms and systems – including topics like stability; 2) fuzzy applications – which are widely used and cover various types of processing as well as hardware and architecture for big data and time series; 3) the interdisciplinary field of fuzzy logic and data mining; and 4) data mining itself. The topic most frequently addressed this year is fuzzy systems.

The book offers an overview of research and developments in fuzzy logic and data mining, and will be of interest to all those working in the field of data science.

Editors: Tallón-Ballesteros, A.J.
Pages: 492
Binding: softcover
Volume 339 of Frontiers in Artificial Intelligence and Applications
ISBN print: 978-1-64368-214-3
ISBN online: 978-1-64368-215-0

Artificial Intelligence Research and Development

Proceedings of the 23rd International Conference of the Catalan Association for Artificial Intelligence

Artificial intelligence has become an indispensible part of our lives in recent years, affecting all aspects from business and leisure to transport and health care.

This book presents the proceedings of the 23rd edition of the International Conference of the Catalan Association for Artificial Intelligence (CCIA), an annual event that serves as a meeting point for researchers in Artificial Intelligence in the area of the Catalan speaking territories and from around the world. The 2021 edition was held online as a virtual conference from 20 - 22 October 2021 due to the COVID-19 pandemic. The book contains 42 long papers and 9 short papers, carefully reviewed and selected. The papers cover all aspects of artificial intelligence and are divided under six section headings: combinatorial problem solving and logics for artificial intelligence; sentiment analysis and tekst analysis; data science and decision support systems; machine learning; computer vision; and explainability and argumentation. Abstracts of the 2 invited talks delivered at the conference by Prof. Patty Kostkova and Prof. João Marques-Silva are also included.

Offering a state of the art overview of the subject from a regional perspective, the book will be of interest to all those working in the field of artificial intelligence.

Editors: Villaret, M., Alsinet, T., Fernández, C., Valls, A.
Pages: 484
Binding: softcover
Volume 339 of Frontiers in Artificial Intelligence and Applications
ISBN print: 978-1-64368-210-5
ISBN online: 978-1-64368-211-2

Novelties in Intelligent Digital Systems

Proceedings of the 1st International Conference (NIDS 2021), Athens, Greece, September 30 - October 1, 2021

Artificial intelligence and intelligent digital systems have become indispensible to many areas of modern life.

This book presents the proceedings of the 1st International Conference on Novelties in Intelligent Digital Systems (NIDS2021), held in Athens, Greece, from 30 September to 1 October 2021. The conference took place as a virtual event due to COVID-19 restrictions. The NIDS conference lays special emphasis on the novelties of intelligent systems and on the interdisciplinary research which enables, supports, and enhances Artificial Intelligence (AI) in software development. It promotes high-quality research, creating a forum for the exploration of challenges and new advances in AI, and addresses experts, researchers and scholars in the fields of artificial and computational intelligence in systems and in computer sciences in general, enabling them to learn more about pertinent, strongly related and mutually complementary fields. The conference promotes an exchange of ideas, reinforcing and expanding the network of researchers, academics, and market representatives.

The 30 accepted papers included here have each been reviewed rigorously by two or three reviewers through a double-blind process which reflects the commitment of the IIS academic community to make NIDS a top-flight, selective and high-quality conference. They are grouped in 6 sections, and cover the topics of Learning; Extended Reality; Data Mining and Machine Learning; Health and Environment; Brain Assessment and Reasoning; and Computer Vision

Describing some very significant research and reflecting many interesting new ideas, the book will be of interest to all those working in the field.

Editors: Frasson, C., Kabassi, K.,Voulodimos, A.
Pages: 280
Binding: softcover
Volume 338 of Frontiers in Artificial Intelligence and Applications
ISBN print: 978-1-64368-204-4
ISBN online: 978-1-64368-205-1

New Trends in Intelligent Software Methodologies, Tools and Techniques

Proceedings of the 20th International Conference on New Trends in Intelligent Software Methodologies, Tools and Techniques (SoMeT_21)

The integration of AI with software is an essential enabler for science and the new economy, creating new markets and opportunities for a more reliable, flexible and robust society. Current software methodologies, tools and techniques often fall short of expectations, however, and much software remains insufficiently robust and reliable for a constantly changing and evolving market.

This book presents 54 papers delivered at the 20th edition of the International Conference on New Trends in Intelligent Software Methodology Tools, and Techniques (SoMeT_21), held in Cancun, Mexico, from 21–23 September 2021. The aim of the conference was to capture the essence of a new state-of-the-art in software science and its supporting technology and to identify the challenges that such a technology will need to master, and this book explores the new trends and theories illuminating the direction of development in this field as it heads towards a transformation in the role of software and science integration in tomorrow’s global information society.

The 54 revised papers were selected for publication by means of a rigorous review process involving 3 or 4 reviewers for each paper, followed by selection by the SoMeT_21 international reviewing committee. The book is divided into 9 chapters, classified by paper topic and relevance to the chapter theme.

Covering topics ranging from research practices, techniques and methodologies to proposing and reporting on the solutions required by global business, the book offers an opportunity for the software science community to consider where they are today and where they are headed in the future.

Editors: Fujita, H., Perez-Meana, H.
Pages: 726
Binding: softcover
Volume 337 of Frontiers in Artificial Intelligence and Applications
ISBN print: 978-1-64368-194-8
ISBN online: 978-1-64368-195-5

FAIA Newsletter

Handbook of Satisfiability - Second Edition

Handbook of Satisfiability

Second Edition

Propositional logic has been recognized throughout the centuries as one of the cornerstones of reasoning in philosophy and mathematics. Over time, its formalization into Boolean algebra was accompanied by the recognition that a wide range of combinatorial problems can be expressed as propositional satisfiability (SAT) problems. Because of this dual role, SAT developed into a mature, multi-faceted scientific discipline, and from the earliest days of computing a search was underway to discover how to solve SAT problems in an automated fashion.

This book, the Handbook of Satisfiability, is the second, updated and revised edition of the book first published in 2009 under the same name. The handbook aims to capture the full breadth and depth of SAT and to bring together significant progress and advances in automated solving. Topics covered span practical and theoretical research on SAT and its applications and include search algorithms, heuristics, analysis of algorithms, hard instances, randomized formulae, problem encodings, industrial applications, solvers, simplifiers, tools, case studies and empirical results. SAT is interpreted in a broad sense, so as well as propositional satisfiability, there are chapters covering the domain of quantified Boolean formulae (QBF), constraints programming techniques (CSP) for word-level problems and their propositional encoding, and satisfiability modulo theories (SMT). An extensive bibliography completes each chapter.

This second edition of the handbook will be of interest to researchers, graduate students, final-year undergraduates, and practitioners using or contributing to SAT, and will provide both an inspiration and a rich resource for their work.

Edmund Clarke, 2007 ACM Turing Award Recipient: "SAT solving is a key technology for 21st century computer science."

Donald Knuth, 1974 ACM Turing Award Recipient: "SAT is evidently a killer app, because it is key to the solution of so many other problems."

Stephen Cook, 1982 ACM Turing Award Recipient: "The SAT problem is at the core of arguably the most fundamental question in computer science: What makes a problem hard?"

Editors: Biere, A., Heule, M., Van Maaren, H., Walsh, T.
Pages: 1484 (in 2 parts)
Binding: hardcover
Volume 336 of Frontiers in Artificial Intelligence and Applications
ISBN print: 978-1-64368-160-3
ISBN online: 978-1-64368-161-0


Subscribe to Frontiers in Artificial Intelligence and Applications (FAIA) RSS