Download or read book Foundations of Information and Knowledge Systems written by Arne Meier and published by Springer Nature. This book was released on with total page 408 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Graph Structures for Knowledge Representation and Reasoning written by Michael Cochez and published by Springer Nature. This book was released on 2021-04-16 with total page 158 pages. Available in PDF, EPUB and Kindle. Book excerpt: This open access book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2020, held virtually in September 2020, associated with ECAI 2020, the 24th European Conference on Artificial Intelligence. The 7 revised full papers presented together with 2 invited contributions were reviewed and selected from 9 submissions. The contributions address various issues for knowledge representation and reasoning and the common graph-theoretic background, which allows to bridge the gap between the different communities.
Download or read book ECAI 2023 written by K. Gal and published by IOS Press. This book was released on 2023-10-18 with total page 3328 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book ECAI 2020 written by G. De Giacomo and published by IOS Press. This book was released on 2020-09-11 with total page 3122 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents the proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020), held in Santiago de Compostela, Spain, from 29 August to 8 September 2020. The conference was postponed from June, and much of it conducted online due to the COVID-19 restrictions. The conference is one of the principal occasions for researchers and practitioners of AI to meet and discuss the latest trends and challenges in all fields of AI and to demonstrate innovative applications and uses of advanced AI technology. The book also includes the proceedings of the 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020) held at the same time. A record number of more than 1,700 submissions was received for ECAI 2020, of which 1,443 were reviewed. Of these, 361 full-papers and 36 highlight papers were accepted (an acceptance rate of 25% for full-papers and 45% for highlight papers). The book is divided into three sections: ECAI full papers; ECAI highlight papers; and PAIS papers. The topics of these papers cover all aspects of AI, including Agent-based and Multi-agent Systems; Computational Intelligence; Constraints and Satisfiability; Games and Virtual Environments; Heuristic Search; Human Aspects in AI; Information Retrieval and Filtering; Knowledge Representation and Reasoning; Machine Learning; Multidisciplinary Topics and Applications; Natural Language Processing; Planning and Scheduling; Robotics; Safe, Explainable, and Trustworthy AI; Semantic Technologies; Uncertainty in AI; and Vision. The book will be of interest to all those whose work involves the use of AI technology.
Download or read book Logic and Argumentation written by Pietro Baroni and published by Springer Nature. This book was released on 2021-10-14 with total page 562 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 4th International Conference on Logic and Argumentation, CLAR 2021, held in Hangzhou, China, in October 2021. The 20 full and 10 short papers presented together with 5 invited papers were carefully reviewed and selected from 58 submissions. The topics of accepted papers cover the focus of the CLAR series, including formal models of argumentation, a variety of logic formalisms, nonmonotonic reasoning, dispute and dialogue systems, formal treatment of preference and support, and well as applications in areas like vaccine information and processing of legal texts.
Download or read book Functional and Logic Programming written by Jeremy Gibbons and published by Springer Nature. This book was released on with total page 336 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Finitely Presented Groups written by Volker Diekert and published by Walter de Gruyter GmbH & Co KG. This book was released on 2024-10-07 with total page 322 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book contains surveys and research articles on the state-of-the-art in finitely presented groups for researchers and graduate students. Overviews of current trends in exponential groups and of the classification of finite triangle groups and finite generalized tetrahedron groups are complemented by new results on a conjecture of Rosenberger and an approximation theorem. A special emphasis is on algorithmic techniques and their complexity, both for finitely generated groups and for finite Z-algebras, including explicit computer calculations highlighting important classical methods. A further chapter surveys connections to mathematical logic, in particular to universal theories of various classes of groups, and contains new results on countable elementary free groups. Applications to cryptography include overviews of techniques based on representations of p-groups and of non-commutative group actions. Further applications of finitely generated groups to topology and artificial intelligence complete the volume. All in all, leading experts provide up-to-date overviews and current trends in combinatorial group theory and its connections to cryptography and other areas.
Download or read book Automated Reasoning written by Jasmin Blanchette and published by Springer Nature. This book was released on 2022 with total page 756 pages. Available in PDF, EPUB and Kindle. Book excerpt: This is an open access book. It is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Download or read book Inductive Logic Programming written by Nikos Katzouris and published by Springer Nature. This book was released on 2022-02-23 with total page 293 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed conference proceedings of the 30th International Conference on Inductive Logic Programming, ILP 2021, held in October 2021. Due to COVID-19 pandemic the conference was held virtually. The 16 papers and 3 short papers presented were carefully reviewed and selected from 19 submissions. Inductive Logic Programming (ILP) is a subfield of machine learning, which originally relied on logic programming as a uniform representation language for expressing examples, background knowledge and hypotheses. Due to its strong representation formalism, based on first-order logic, ILP provides an excellent means for multi-relational learning and data mining, and more generally for learning from structured data.
Download or read book Logics in Artificial Intelligence written by Wolfgang Faber and published by Springer Nature. This book was released on 2021-05-12 with total page 462 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 17th European Conference on Logics in Artificial Intelligence, JELIA 2021, held as a virtual event, in May 2021. The 27 full papers and 3 short papers included in this volume were carefully reviewed and selected from 68 submissions. The accepted papers span a number of areas within Logics in AI, including: argumentation; belief revision; reasoning about actions, causality, and change; constraint satisfaction; description logics and ontological reasoning; non-classical logics; and logic programming (answer set programming).
Download or read book Symbolic and Quantitative Approaches to Reasoning with Uncertainty written by Zied Bouraoui and published by Springer Nature. This book was released on 2023-12-20 with total page 481 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 17th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2023, held in Arras, France, in September 2023. The 35 full papers presented in this volume were carefully reviewed and selected from 46 submissions. The papers are organized in topical sections about Complexity and Database Theory; Formal Concept Analysis: Theoretical Advances; Formal Concept Analysis: Applications; Modelling and Explanation; Semantic Web and Graphs; Posters.
Download or read book KI 2022 Advances in Artificial Intelligence written by Ralph Bergmann and published by Springer Nature. This book was released on 2022-09-16 with total page 243 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 45th German Conference on Artificial Intelligence, KI 2022, held in September 2022. The 12 full and 5 short papers were carefully reviewed and selected from 51 submissions. Additionally, five abstracts of invited talks are included. As well-established annual conference series KI is dedicated to research on theory and applications across all methods and topic areas of AI research. Due to COVID-19 the conference was held virtually. The chapter "Dynamically Self-Adjusting Gaussian Processes for Data Stream Modelling" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Download or read book Computer Aided Verification written by Constantin Enea and published by Springer Nature. This book was released on 2023-07-16 with total page 512 pages. Available in PDF, EPUB and Kindle. Book excerpt: The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows: Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis; Part II: Decision procedures; model checking; neural networks and machine learning; Part II: Probabilistic systems; security and quantum systems; software verification.
Download or read book PRIMA 2024 Principles and Practice of Multi Agent Systems written by Ryuta Arisaka and published by Springer Nature. This book was released on with total page 470 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Scalable Uncertainty Management written by Sébastien Destercke and published by Springer Nature. This book was released on with total page 500 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Agents and Artificial Intelligence written by Ana Paula Rocha and published by Springer Nature. This book was released on with total page 507 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Digital Personality written by Kuldeep Singh Kaswan and published by CRC Press. This book was released on 2024-08-30 with total page 440 pages. Available in PDF, EPUB and Kindle. Book excerpt: A computer that imbibes human characteristics is considered to have a digital personality. The character is akin to real-life human with his/her distinguishing characteristics such as history, morality, beliefs, abilities, looks, and sociocultural embeddings. It also contains stable personality characteristics; fluctuating emotional, cognitive, SOAR technology, and motivational states. Digital Personality focuses on the creation of systems and interfaces that can observe, sense, predict, adapt to, affect, comprehend, or simulate the following: character based on behavior and situation, behavior based on character and situation, or situation based on character and behavior. Character sensing and profiling, character-aware adaptive systems, and artificial characters are the three primary subfields in digital personality. Digital Personality has attracted the interest of academics from a wide range of disciplines, including psychology, human-computer interaction, and character modeling. It is expected to expand quickly as technology and computer systems become more and more intertwined into our daily lives. Digital Personality is expected to draw at least as much attention as Affective Computing. The goal of affective computing is to enable computers to comprehend both spoken and nonverbal messages from people, use implicit body language, gaze, speech tones, and facial expressions, etc. to infer the emotional state and then reply appropriately or even show affect through interaction modalities. More natural and seamless human-computer connection would be the larger objective. Users will benefit from a more individualized experience as a result. Additionally, this will affect how well the user performs since they will have the assistance of the robots to do their jobs quickly and effectively. This book provides an overview of the character dimensions and how technology is aiding this area of study. It offers a fresh portrayal of character from several angles. It also discusses the applications of this new field of study.
