Information Modelling and Knowledge Bases XXXII
Information Modelling and Knowledge Bases XXXII

Author: M. Tropmann-Frick

Publisher: IOS Press

Published: 2021-01-04

Total Pages: 370

ISBN-13: 1643681419

DOWNLOAD EBOOK

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.

Information Modelling and Knowledge Bases XXXIII
Information Modelling and Knowledge Bases XXXIII

Author: M. Tropmann-Frick

Publisher: IOS Press

Published: 2022-02-09

Total Pages: 348

ISBN-13: 1643682431

DOWNLOAD EBOOK

The technology of information modelling and knowledge bases addresses the complexities of modelling in digital transformation and digital innovation, reaching beyond the traditional borders of information systems and academic research in computer science. This book presents 21 papers from the 31st International conference on Information Modeling and Knowledge Bases (EJC 2021), hosted by the Department Informatik of the University of Applied Sciences in Hamburg, Germany, and held as a virtual event from 7 to 9 September 2021 due to restrictions caused by the Corona virus. The conference provides a research forum for academics and practitioners dealing with information and knowledge to exchange scientific results and experiences, and EJC 2021 covered a wide range of themes extending knowledge discovery through conceptual modeling, knowledge and information modeling and discovery, linguistic modeling, cross-cultural communication and social computing, environmental modeling and engineering, and multimedia data modeling and systems. As always, the conference was open to new topics related to its main themes, meaning the content emphasis of the EJC conferences is always able to adapt to the changes taking place in the research field, and the 21 papers included here after rigorous review, selection and upgrading are the result of presentations, comments, and discussions during the conference. Providing an up to the minute overview of the technology of information modeling and knowledge bases, the book will be of interest to all those working in the field.

Information Modelling and Knowledge Bases XXXIV
Information Modelling and Knowledge Bases XXXIV

Author: M. Tropmann-Frick

Publisher: IOS Press

Published: 2023-02-07

Total Pages: 292

ISBN-13: 1643683713

DOWNLOAD EBOOK

The amount and complexity of information is continually growing, and information modeling and knowledge bases have become important contributors to technology and to academic and industrial research in the 21st century. They address the complexities of modeling in digital transformation and digital innovation, reaching beyond the traditional borders of information systems and academic computer-science research. This book presents the proceedings of EJC 2022, the 32nd International conference on Information Modeling and Knowledge Bases, held as a hybrid event due to restrictions related to the Corona virus pandemic in Hamburg, Germany, from 30 May to 3 June 2022. The aim of the conference is to bring together experts from different areas of computer science and other disciplines with a common interest in understanding and solving the problems of information modeling and knowledge bases and applying the results of research to practice. The conference has always been open to new topics related to its main themes, and the content emphasis of the conferences have changed through the years according to developments in the research field, so philosophy and logic, cognitive science, knowledge management, linguistics, and management science, as well as machine learning and AI, are also relevant areas. This book presents 19 reviewed and selected papers covering a wide range of topics, upgraded as a result of comments and discussions during the conference. Providing a current overview of recent developments, the book will be of interest to all those using information modeling and knowledge bases as part of their work.

Information Modelling and Knowledge Bases XXXV
Information Modelling and Knowledge Bases XXXV

Author: M. Tropmann-Frick

Publisher: IOS Press

Published: 2024-02

Total Pages: 342

ISBN-13: 1643684779

DOWNLOAD EBOOK

The volume and complexity of information, together with the number of abstraction levels and the size of data and knowledge bases, grow continually. Data originating from diverse sources involves a combination of data from traditional legacy sources and unstructured data requiring backwards modeling, meanwhile, information modeling and knowledge bases have become important contributors to 21st-century academic and industrial research. This book presents the proceedings of EJC 2023, the 33rd International Conference on Information Modeling and Knowledge Bases, held from 5 to 9 June 2023 in Maribor, Slovenia. The aim of the EJC conferences is to bring together experts from different areas of computer science and from other disciplines that share the common interest of understanding and solving the problems of information modeling and knowledge bases and applying the results of research to practice. The conference constitutes a research forum for the exchange of results and experiences by academics and practitioners dealing with information and knowledge bases. The topics covered at EJC 2023 encompass a wide range of themes including conceptual modeling; knowledge and information modeling and discovery; linguistic modeling; cross-cultural communication and social computing; environmental modeling and engineering; and multimedia data modeling and systems. In the spirit of adapting to the changes taking place in these areas of research, the conference was also open to new topics related to its main themes. Providing a current overview of progress in the field, this book will be of interest to all those whose work involves the use of information modeling and knowledge bases.

Legal Knowledge and Information Systems
Legal Knowledge and Information Systems

Author: S. Villata

Publisher: IOS Press

Published: 2020-12-07

Total Pages: 304

ISBN-13: 1643681516

DOWNLOAD EBOOK

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.

Handbook of Satisfiability
Handbook of Satisfiability

Author: A. Biere

Publisher: IOS Press

Published: 2021-05-05

Total Pages: 1486

ISBN-13: 1643681613

DOWNLOAD EBOOK

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?"

Culturally Sustainable Social Robotics
Culturally Sustainable Social Robotics

Author: M. Nørskov

Publisher: IOS Press

Published: 2021-01-04

Total Pages: 704

ISBN-13: 1643681559

DOWNLOAD EBOOK

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.

New Trends in Intelligent Software Methodologies, Tools and Techniques
New Trends in Intelligent Software Methodologies, Tools and Techniques

Author: H. Fujita

Publisher: IOS Press

Published: 2021-09-28

Total Pages: 728

ISBN-13: 1643681958

DOWNLOAD EBOOK

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.

Novelties in Intelligent Digital Systems
Novelties in Intelligent Digital Systems

Author: C. Frasson

Publisher: IOS Press

Published: 2021-10-15

Total Pages: 282

ISBN-13: 1643682059

DOWNLOAD EBOOK

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.

Artificial Intelligence Research and Development
Artificial Intelligence Research and Development

Author: M. Villaret

Publisher: IOS Press

Published: 2021-10-14

Total Pages: 486

ISBN-13: 1643682113

DOWNLOAD EBOOK

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.