Advanced Tools and Methods for Treewidth-Based Problem Solving PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Advanced Tools and Methods for Treewidth-Based Problem Solving PDF full book. Access full book title Advanced Tools and Methods for Treewidth-Based Problem Solving by M. Hecher. Download full books in PDF and EPUB format.
Author: M. Hecher
Publisher: IOS Press
ISBN: 1643683454
Category : Computers
Languages : en
Pages : 252
Get Book Here
Book Description
This book, Advanced Tools and Methods for Treewidth-Based Problem Solving, contains selected results from the author’s PhD studies, which were carried out from 2015 to 2021. For his PhD thesis, Markus Hecher received the EurAI Dissertation Award 2021 and the GI Dissertation Award 2021, amongst others. The aim of the book is to present a new toolkit for using the structural parameter of treewidth to solve problems in knowledge representation and reasoning (KR) and artificial intelligence (AI), thereby establishing both theoretical upper and lower bounds, as well as methods to deal with treewidth efficiently in practice. The key foundations outlined in the book provide runtime lower bounds – under reasonable assumptions in computational complexity – for evaluating quantified Boolean formulas and logic programs which match the known upper bounds already published in 2004 and 2009. The general nature of the developed tools and techniques means that a wide applicability beyond the selected problems and formalisms tackled in the book is anticipated, and it is hoped that the book will serve as a starting point for future theoretical and practical investigations, which will no doubt establish further results and gain deeper insights.
Author: M. Hecher
Publisher: IOS Press
ISBN: 1643683454
Category : Computers
Languages : en
Pages : 252
Get Book Here
Book Description
This book, Advanced Tools and Methods for Treewidth-Based Problem Solving, contains selected results from the author’s PhD studies, which were carried out from 2015 to 2021. For his PhD thesis, Markus Hecher received the EurAI Dissertation Award 2021 and the GI Dissertation Award 2021, amongst others. The aim of the book is to present a new toolkit for using the structural parameter of treewidth to solve problems in knowledge representation and reasoning (KR) and artificial intelligence (AI), thereby establishing both theoretical upper and lower bounds, as well as methods to deal with treewidth efficiently in practice. The key foundations outlined in the book provide runtime lower bounds – under reasonable assumptions in computational complexity – for evaluating quantified Boolean formulas and logic programs which match the known upper bounds already published in 2004 and 2009. The general nature of the developed tools and techniques means that a wide applicability beyond the selected problems and formalisms tackled in the book is anticipated, and it is hoped that the book will serve as a starting point for future theoretical and practical investigations, which will no doubt establish further results and gain deeper insights.
Author: Markus Hecher
Publisher:
ISBN:
Category :
Languages : en
Pages :
Get Book Here
Book Description
In the last decades, there was a notable progress in solving the well-known Boolean satisfiability (Sat) problem, which can be witnessed by powerful Sat solvers. One of the reasons why these solvers are so fast are structural properties of instances that are utilized by the solver's interna. This thesis deals with the well-studied structural property treewidth, which measures the closeness of an instance to being a tree. In fact, there are many problems parameterized by treewidth that are solvable in polynomial time in the instance size when parameterized by treewidth. In this work, we study advanced treewidth-based methods and tools for problems in knowledge representation and reasoning (KR). Thereby, we provide means to establish precise runtime results (upper bounds) for canonical problems relevant to KR. Then, we present a new type of problem reduction, which we call decomposition-guided (DG) that allows us to precisely monitor the treewidth when reducing from one problem to another problem. This new reduction type will be the ...
Author: K. Gal
Publisher: IOS Press
ISBN: 164368437X
Category : Computers
Languages : en
Pages : 3328
Get Book Here
Book Description
Artificial intelligence, or AI, now affects the day-to-day life of almost everyone on the planet, and continues to be a perennial hot topic in the news. This book presents the proceedings of ECAI 2023, the 26th European Conference on Artificial Intelligence, and of PAIS 2023, the 12th Conference on Prestigious Applications of Intelligent Systems, held from 30 September to 4 October 2023 and on 3 October 2023 respectively in Kraków, Poland. Since 1974, ECAI has been the premier venue for presenting AI research in Europe, and this annual conference has become the place for researchers and practitioners of AI to discuss the latest trends and challenges in all subfields of AI, and to demonstrate innovative applications and uses of advanced AI technology. ECAI 2023 received 1896 submissions – a record number – of which 1691 were retained for review, ultimately resulting in an acceptance rate of 23%. The 390 papers included here, cover topics including machine learning, natural language processing, multi agent systems, and vision and knowledge representation and reasoning. PAIS 2023 received 17 submissions, of which 10 were accepted after a rigorous review process. Those 10 papers cover topics ranging from fostering better working environments, behavior modeling and citizen science to large language models and neuro-symbolic applications, and are also included here. Presenting a comprehensive overview of current research and developments in AI, the book will be of interest to all those working in the field.
Author: A.M. Metelli
Publisher: IOS Press
ISBN: 1643683632
Category : Computers
Languages : en
Pages : 377
Get Book Here
Book Description
In recent decades, Reinforcement Learning (RL) has emerged as an effective approach to address complex control tasks. In a Markov Decision Process (MDP), the framework typically used, the environment is assumed to be a fixed entity that cannot be altered externally. There are, however, several real-world scenarios in which the environment can be modified to a limited extent. This book, Exploiting Environment Configurability in Reinforcement Learning, aims to formalize and study diverse aspects of environment configuration. In a traditional MDP, the agent perceives the state of the environment and performs actions. As a consequence, the environment transitions to a new state and generates a reward signal. The goal of the agent consists of learning a policy, i.e., a prescription of actions that maximize the long-term reward. Although environment configuration arises quite often in real applications, the topic is very little explored in the literature. The contributions in the book are theoretical, algorithmic, and experimental and can be broadly subdivided into three parts. The first part introduces the novel formalism of Configurable Markov Decision Processes (Conf-MDPs) to model the configuration opportunities offered by the environment. The second part of the book focuses on the cooperative Conf-MDP setting and investigates the problem of finding an agent policy and an environment configuration that jointly optimize the long-term reward. The third part addresses two specific applications of the Conf-MDP framework: policy space identification and control frequency adaptation. The book will be of interest to all those using RL as part of their work.
Author: A.J. Tallón-Ballesteros
Publisher: IOS Press
ISBN: 1643683691
Category : Computers
Languages : en
Pages : 696
Get Book Here
Book Description
Electronics, communication and networks coexist, and it is not possible to conceive of our current society without them. Within the next decade we will probably see the consolidation of 6G-based technology, accompanied by many compatible devices, and fiber-optic is already an advanced technology with many applications. This book presents the proceedings of CECNet 2022, the 12th International Conference on Electronics, Communications and Networks, held as a virtual event with no face-to-face participation in Xiamen, China, from 4 to 7 November 2022. CECNet is held annually, and covers many interrelated groups of topics such as electronics technology, communication engineering and technology, wireless communications engineering and technology and computer engineering and technology. This year the conference committee received 313 submissions. All papers were carefully reviewed by program committee members, taking into consideration the breadth and depth of research topics falling within the scope of the conference, and after further discussion, 79 papers were selected for presentation at the conference and for publication in this book. This represents an acceptance rate of about 25%. The book offers an overview of the latest research and developments in these rapidly evolving fields, and will be of interest to all those working with electronics, communication and networks.
Author: E. Francesconi
Publisher: IOS Press
ISBN: 1643683659
Category : Computers
Languages : en
Pages : 324
Get Book Here
Book Description
In recent years, interest within the research community and the legal industry regarding technological advances in legal knowledge representation and processing has been growing. This relates to areas such as computational models of legal reasoning, cybersecurity, privacy, trust and blockchain methods, among other things. This book presents the proceedings of JURIX 2022, the 35th International Conference on Legal Knowledge and Information Systems, held from 14 –16 December in Saarbrücken, Germany, under the auspices of the Dutch Foundation for Legal Knowledge Based Systems and hosted by Saarland University. The annual JURIX conference has become an international forum for academics and professionals to exchange knowledge and experiences at the intersection of law and artificial intelligence (AI). For this edition, 62 submissions were received from 163 authors in 24 countries. Following a rigorous review process, carried out by a programme committee of 72 experts recognised in the field, 14 submissions were selected for publication as long papers, 22 as short papers and 5 as demo papers, making a total of 41 papers altogether and representing a 22.5% acceptance rate for long papers (66.1% overall). The broad array of topics covered includes argumentation and legal reasoning, legal ontologies and the semantic web, machine and deep learning and natural language processing for legal knowledge extraction, as well as argument mining, translation of legal texts, defeasible logic, legal compliance, explainable AI, alternative dispute resolution, legal drafting and smart contracts. Providing an overview of recent advances, the book will be of interest to all those working at the interface between the law and AI.
Author: J.-L. Kim
Publisher: IOS Press
ISBN: 1643683578
Category : Computers
Languages : en
Pages : 172
Get Book Here
Book Description
Machine learning (ML) and artificial intelligence (AI) applications are now so pervasive that they have become indispensable facilitators which improve the quality of all our daily lives. This book presents the proceeding of MLIS 2022, the 4th International Conference on Machine Learning and Intelligent Systems, held as a virtual event due to the continued uncertainty caused by the Covid-19 pandemic and hosted in Seoul, South Korea from 8 to 11 November 2022. The aim of the annual MLIS conference is to provide a platform for the exchange of the most recent scientific and technological advances in the field of machine learning and intelligent systems, and to strengthen links in the scientific community in related research areas. Scientific topics covered at MLIS 2022 included data mining, image processing, neural networks, natural language processing, video processing, computational intelligence, expert systems, human-computer interaction, deep learning, and robotics. The book contains the 20 papers selected for acceptance after a rigorous peer review process from the more than 90 full papers submitted. Selection criteria were based on originality, scientific/practical significance, compelling logical reasoning and language, and the 20 papers included here all provide either innovative and original ideas or results of general significance in the field of ML and AI. Providing an overview of the latest research and developments in machine learning and artificial intelligence, the book will be of interest to all those working in the field.
Author: M. Tropmann-Frick
Publisher: IOS Press
ISBN: 1643683713
Category : Computers
Languages : en
Pages : 292
Get Book Here
Book Description
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.
Author: P. Lukowicz
Publisher: IOS Press
ISBN: 1643683950
Category : Computers
Languages : en
Pages : 556
Get Book Here
Book Description
Artificial intelligence (AI) has been much in the news recently, with some commentators expressing concern that AI might eventually replace humans. But many developments in AI are designed to enhance and supplement the performance of humans rather than replace them, and a novel field of study, with new approaches and solutions to the development of AI, has arisen to focus on this aspect of the technology. This book presents the proceedings of HHAI2023, the 2nd International Conference on Hybrid Human-Artificial Intelligence, held from 26-30 June 2023, in Munich, Germany. The HHAI international conference series is focused on the study of artificially intelligent systems that cooperate synergistically, proactively, responsibly and purposefully with humans, amplifying rather than replacing human intelligence, and invites contributions from various fields, including AI, human-computer interaction, the cognitive and social sciences, computer science, philosophy, among others. A total of 78 submissions were received for the main conference track, and most papers were reviewed by at least three reviewers. The overall final acceptance rate was 43%, with 14 contributions accepted as full papers, 14 as working papers, and 6 as extended abstracts. The papers presented here cover topics including interactive hybrid agents; hybrid intelligence for decision support; hybrid intelligence for health; and values such as fairness and trust in hybrid intelligence. We further accepted 17 posters and 4 demos as well as 8 students to the first HHAI doctoral consortium this year. The authors of 4 working papers and 2 doctoral consortium submissions opted for not publishing their submissions to allow a later full submission, resulting in a total of 57 papers included in this proceedings Addressing all aspects of AI systems that assist humans and emphasizing the need for adaptive, collaborative, responsible, interactive, and human-centered artificial intelligence systems which can leverage human strengths and compensate for human weaknesses while considering social, ethical, and legal considerations, the book will be of interest to all those working in the field.
Author: A.J. Tallón-Ballesteros
Publisher: IOS Press
ISBN: 1643683799
Category : Computers
Languages : en
Pages : 686
Get Book Here
Book Description
The digital era has brought about important changes that continue to affect all our lives. Efficient management and storage of digital information has become crucial, as has the ability to access that information quickly and efficiently, and priorities are to allow for the saving of digital data in many different ways, and to avoid the loss of information in the event of a malfunction. This book presents the 65 papers presented at DMI2022, the first in the new annual conference series Digitalization and Management Innovation (DMI), held as a hybrid event in Beijing, China, on 26 November 2022. A total of 190 submissions were received for the conference, and the papers presented here were selected after careful and conscientious review, bearing in mind the breadth and depth of the research topics falling within the scope of digital and management innovation and resulting in an acceptance rate of 34%. Topics covered include digital transformation, supply chains, business models, and block chain, enterprises, banking, and sustainability, as well as policy in artificial intelligence, the gig economy, the post-epidemic era, green supply, citizenship behavior, human resource management, human relationships, agriculture, and environmental matters. Presenting original ideas and results of general significance and supported by clear reasoning, and compelling evidence and methods, the book will be of interest to all those whose work involves the management of digital data.