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

Culturally Sustainable Social Robotics


Proceedings of Robophilosophy 2020

The subject of social robotics has enormous projected economic significance. However, social robots not only present us with novel opportunities but also with novel risks that go far beyond safety issues. It is a potentially highly disruptive technology which could negatively affect the most valuable parts of the fabric of human social interactions in irreparable ways. Since engineering educations do not yet offer the necessary competences to analyze, holistically assess, and constructively mitigate these risks, new alliances must be established between engineering and SSH disciplines, with special emphasis on the humanities (i.e. disciplines specializing in the analysis of socio-cultural interactions and human experience). The Robophilosophy Conference Series was established in 2014 with the purpose of creating a new forum and catalyzing the research discussion in this important area of applied humanities research, with focus on robophilosophy.

Robophilosophy conferences have been the world’s largest venues for humanities research in and on social robotics. The book at hand presents the proceedings of Robophilosophy Conference 2020: Culturally Sustainable Social Robotics, the fourth event in the international, biennial Robophilosophy Conference Series, which brought together close to 400 participants from 29 countries. The speakers of the conference, whose contributions are collected in this volume, were invited to offer concrete proposals for how the Humanities can help to shape a future where social robotics is guided by the goals of enhancing socio-cultural values rather than by utility alone. The book is divided into 3 parts; Abstracts of Plenaries, which contains 6 plenary sessions; Session Papers, with 44 papers under 8 thematic categories; and Workshops, containing 25 items on 5 selected topics.

Providing concrete proposals from philosophers and other SSH researchers for new models and methods, this book will be of interest to all those involved in developing artificial ‘social’ agents in a culturally sustainable way that is also – a fortiori – ethically responsible.

Editors: Seibt, J., Quick, O.S.
Pages: 702
Binding: softcover
Volume 335 of Frontiers in Artificial Intelligence and Applications
ISBN print: 978-1-64368-154-2
ISBN online: 978-1-64368-155-9

Legal Knowledge and Information Systems


JURIX 2020: The Thirty-third Annual Conference, Brno, Czech Republic, December 9- 11, 2020

The field of legal knowledge and information systems has traditionally been concerned with the subjects of legal knowledge representation and engineering, computational models of legal reasoning, and the analysis of legal data, but recent years have also seen an increasing interest in the application of machine learning methods to ease and empower the everyday activities of legal experts.

This book presents the proceedings of the 33rd International Conference on Legal Knowledge and Information Systems (JURIX 2020), organised this year as a virtual event on 9–11 December 2020 due to restrictions resulting from the Covid-19 pandemic. For more than three decades, the annual JURIX international conference, which now also includes demo papers, has provided a platform for academics and practitioners to exchange knowledge about theoretical research and applications in concrete legal use cases. A total of 85 submissions by 255 authors from 28 countries were received for the conference, and after a rigorous review process, 20 were selected for publication as full papers, 14 as short papers, and 5 as demo papers. This selection process resulted in a total acceptance rate of 40% (full and short papers) and a competitive 23.5% acceptance rate for full papers. Topics span from computational models of legal argumentation, case-based reasoning, legal ontologies, smart contracts, privacy management and evidential reasoning to information extraction from different types of text in legal documents, and ethical dilemmas.

Providing a state-of-the-art overview of developments in the field, this book will be of interest to all those working with legal knowledge and information systems.

Editors: Villata, S., Harašta, J., Křemen, P.
Pages: 302
Binding: softcover
Volume 334 of Frontiers in Artificial Intelligence and Applications
ISBN print: 978-1-64368-150-4
ISBN online: 978-1-64368-151-1

Information Modelling and Knowledge Bases XXXII


Proceedings of EJC2020

Information modeling and knowledge bases are important technologies for academic and industrial research that goes beyond the traditional borders of information systems and computer science. The amount and complexity of information to be dealt with grows continually, as do the levels of abstraction and the size of databases.

This book presents the proceedings of the 30th International Conference on Information Modelling and Knowledge Bases (EJC2020), due to be held in Hamburg, Germany on 8 and 9 June 2020, but instead held as a virtual conference on the same dates due to the Corona-virus pandemic restrictions. The conference provides a research forum for the exchange of scientific results and experiences, and brings together experts from different areas of computer science and other disciplines with a common interest in information modeling and knowledge bases. The subject touches on many disciplines, with philosophy and logic, cognitive science, knowledge management, linguistics and management science, as well as the emerging fields of data science and machine learning, all being relevant areas. The 23 reviewed, selected, and upgraded contributions included here are the result of presentations, comments, and discussions from the conference, and reflect the themes of the conference sessions: learning and linguistics; systems and processes; data and knowledge representation; models and interfaces; formalizations and reasoning; models and modeling; machine learning; models and programming; environment and predictions; modeling emotion; and social networks.

The book provides an overview of current research and applications, and will be of interest to all those working in the field.

Editors: Tropmann-Frick, M., Thalheim, B., Jaakkola, H., Kiyoki, Y., Yoshida, N.
Pages: 368
Binding: softcover
Volume 333 of Frontiers in Artificial Intelligence and Applications
ISBN print: 978-1-64368-140-5
ISBN online: 978-1-64368-141-2

Machine Learning and Artificial Intelligence


Proceedings of MLIS 2020

Machine learning and artificial intelligence are already widely applied to facilitate our daily lives, as well as scientific research, but with the world currently facing a global COVID-19 pandemic, their capacity to provide an important tool to support those searching for a way to combat the novel corona virus has never been more important.

This book presents the proceedings of the International Conference on Machine Learning and Intelligent Systems (MLIS 2020), which was due to be held in Seoul, Korea, from 25-28 October 2020, but which was delivered as an online conference on the same dates due to COVID-19 restrictions. MLIS 2020 was the latest in a series of annual conferences that aim to provide a platform for exchanging knowledge about the most recent scientific and technological advances in the field of machine learning and intelligent systems. The annual conference also strengthens links within the scientific community in related research areas.

The book contains 53 papers, selected from more than 160 submissions and presented at MLIS 2020. Selection was based on the results of review and scored on: originality, scientific/practical significance, compelling logical reasoning and language. Topics covered include: data mining, image processing, neural networks, human health, natural language processing, video processing, computational intelligence, expert systems, human-computer interaction, deep learning, and robotics.

Offering a current overview of research and developments in machine learning and artificial intelligence, the book will be of interest to all those working in the field.

Editors: Tallón-Ballesteros, A.J., Chen, C.-H.
Pages: 480
Binding: softcover
Volume 332 of Frontiers in Artificial Intelligence and Applications
ISBN print: 978-1-64368-136-8
ISBN online: 978-1-64368-137-5

Sign up here for our FAIA newsletter!

Fuzzy Systems and Data Mining VI


Proceedings of FSDM 2020

The interdisciplinary field of fuzzy logic encompass applications in the electrical, industrial, chemical and engineering realms as well as in areas of management and environmental issues, while data mining covers new approaches to big data, massive data, and scalable, parallel and distributed algorithms.

This book presents papers from the 6th International Conference on Fuzzy Systems and Data Mining (FSDM 2020). The conference was originally due to be held from 13–16 November 2020 in Xiamen, China, but was changed to an online conference held on the same dates 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 316 submissions, of which 76 papers were selected for inclusion in the conference; an acceptance rate of 24%. The conference covers four main areas: fuzzy theory; algorithms and systems, which includes topics like stability; foundations and control; and fuzzy applications, which are widely used and cover various types of processing as well as hardware and architecture for big data and time series.

Providing a current overview of research and developments in fuzzy logic and data mining, the book will be of interest to all those working in the field of data science.

Editors: Tallón-Ballesteros, A.J.
Pages: 812
Binding: softcover
Volume 331 of Frontiers in Artificial Intelligence and Applications
ISBN print: 978-1-64368-134-4
ISBN online: 978-1-64368-135-1

Jump to the open access ebook by clicking the visual below:

Formal Ontology in Information Systems


Proceedings of the 11th International Conference (FOIS 2020)

FOIS is the flagship conference of the International Association for Ontology and its Applications, a non-profit organization which promotes interdisciplinary research and international collaboration at the intersection of philosophical ontology, linguistics, logic, cognitive science, and computer science, as well as in the applications of ontological analysis to conceptual modeling, knowledge engineering, knowledge management, information-systems development, library and information science, scientific research, and semantic technologies in general.

This volume presents the 17 papers accepted for the 11th Formal Ontology in Information Systems conference (FOIS 2020). These papers cover a broad range of topics and are organized into 5 groups. Foundations is dedicated to the general ontological decisions providing a foundation for any ontology, both from a philosophical perspective and with an emphasis on applications. Social Entities is dedicated to the ontological analysis and formalization of various social entities, including secrets, legal theories, decisions, kinship, and cultural heritage. The papers in Intentionality and Embodiment analyze aspects of an agent's intentions, beliefs and desires, as well as the embodiment of functional relations. The section on Parts and Wholes is dedicated to mereology as well as the mereological analysis of certain types of entities (e.g., pluralities, information entities, and computer programs). Lastly, the papers in Methods are about ontology evaluation and use.

Altogether, the papers reflect traditional FOIS themes with perhaps a greater emphasis on social and agent aspects, and will be of interest to all those whose work involves ontology and its applications.

Editors: Brodaric, B., Neuhaus, F.
Pages: 282
Binding: softcover
Volume 330 of Frontiers in Artificial Intelligence and Applications
ISBN print: 978-1-64368-128-3
ISBN online: 978-1-64368-129-0

Modern Management based on Big Data I


Proceedings of MMBD 2020

The management of any modern organisation involves data, but the volume of information has become almost impossible for even the most up-to-date computer system to handle. Fortunately, big-data technologies are now enabling new ways of dealing with the flood of information, making an approximate solution possible in a reasonable time-frame, as an alternative to waiting for an exact result taking much longer.

This book contains the 17 papers presented at the inaugural conference of the new series: Modern Management based on Big Data (MMBD 2020). The conference was originally scheduled to be held in Beijing, China, but due to measures to prevent the spread of the COVID-19 pandemic, the conference was held online from 18-21 October 2020. As its name suggests, the conference covers the connected aspects of Big Data and Modern Management, and the 17 papers included here, accepted from a total of 68 submissions, cover topics including data capture and storage; search, sharing and analytics; data visualization; machine learning algorithms for big data; distributed file systems and databases; management strategy and decision making; manufacturing and logistics systems; total quality management; management information systems; human factor engineering; and human resources.

Providing an overview of current developments in modern management based on Big Data, the book will be of interest to all those working in the field.

Editors: Tallón-Ballesteros, A.J.
Pages: 200
Binding: softcover
Volume 329 of Frontiers in Artificial Intelligence and Applications
ISBN print: 978-1-64368-120-7
ISBN online: 978-1-64368-121-4

Pages

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