Download or read book Rules and Reasoning written by Paul Fodor and published by Springer Nature. This book was released on 2019-09-13 with total page 221 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2019, held in Bolzano, Italy, during September 2019. This is the third conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule Symposium) and “RR” (Web Reasoning and Rule Systems). The 10 full research papers presented together with 5 short technical communications papers were carefully reviewed and selected from 26 submissions.

Download or read book Artificial Intelligence and Cognitive Computing written by Miltiadis D. Lytras and published by MDPI. This book was released on 2021-09-10 with total page 278 pages. Available in PDF, EPUB and Kindle. Book excerpt: Artificial intelligence (AI) is a subject garnering increasing attention in both academia and the industry today. The understanding is that AI-enhanced methods and techniques create a variety of opportunities related to improving basic and advanced business functions, including production processes, logistics, financial management and others. As this collection demonstrates, AI-enhanced tools and methods tend to offer more precise results in the fields of engineering, financial accounting, tourism, air-pollution management and many more. The objective of this collection is to bring these topics together to offer the reader a useful primer on how AI-enhanced tools and applications can be of use in today’s world. In the context of the frequently fearful, skeptical and emotion-laden debates on AI and its value added, this volume promotes a positive perspective on AI and its impact on society. AI is a part of a broader ecosystem of sophisticated tools, techniques and technologies, and therefore, it is not immune to developments in that ecosystem. It is thus imperative that inter- and multidisciplinary research on AI and its ecosystem is encouraged. This collection contributes to that.

Download or read book Interactive Digital Narrative written by Hartmut Koenitz and published by Routledge. This book was released on 2015-04-10 with total page 427 pages. Available in PDF, EPUB and Kindle. Book excerpt: The book is concerned with narrative in digital media that changes according to user input—Interactive Digital Narrative (IDN). It provides a broad overview of current issues and future directions in this multi-disciplinary field that includes humanities-based and computational perspectives. It assembles the voices of leading researchers and practitioners like Janet Murray, Marie-Laure Ryan, Scott Rettberg and Martin Rieser. In three sections, it covers history, theoretical perspectives and varieties of practice including narrative game design, with a special focus on changes in the power relationship between audience and author enabled by interactivity. After discussing the historical development of diverse forms, the book presents theoretical standpoints including a semiotic perspective, a proposal for a specific theoretical framework and an inquiry into the role of artificial intelligence. Finally, it analyses varieties of current practice from digital poetry to location-based applications, artistic experiments and expanded remakes of older narrative game titles.

Download or read book Computer Aided Verification written by Shuvendu K. Lahiri and published by Springer Nature. This book was released on 2020-07-15 with total page 697 pages. Available in PDF, EPUB and Kindle. Book excerpt: The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.

Download or read book ECAI 2016 written by G.A. Kaminka and published by IOS Press. This book was released on 2016-08-24 with total page 1860 pages. Available in PDF, EPUB and Kindle. Book excerpt: Artificial Intelligence continues to be one of the most exciting and fast-developing fields of computer science. This book presents the 177 long papers and 123 short papers accepted for ECAI 2016, the latest edition of the biennial European Conference on Artificial Intelligence, Europe’s premier venue for presenting scientific results in AI. The conference was held in The Hague, the Netherlands, from August 29 to September 2, 2016. ECAI 2016 also incorporated the conference on Prestigious Applications of Intelligent Systems (PAIS) 2016, and the Starting AI Researcher Symposium (STAIRS). The papers from PAIS are included in this volume; the papers from STAIRS are published in a separate volume in the Frontiers in Artificial Intelligence and Applications (FAIA) series. Organized by the European Association for Artificial Intelligence (EurAI) and the Benelux Association for Artificial Intelligence (BNVKI), the ECAI conference provides an opportunity for researchers to present and hear about the very best research in contemporary AI. This proceedings will be of interest to all those seeking an overview of the very latest innovations and developments in this field.

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 Bounded Rationality in Decision Making Under Uncertainty Towards Optimal Granularity written by Joe Lorkowski and published by Springer. This book was released on 2017-07-01 with total page 167 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book addresses an intriguing question: are our decisions rational? It explains seemingly irrational human decision-making behavior by taking into account our limited ability to process information. It also shows with several examples that optimization under granularity restriction leads to observed human decision-making. Drawing on the Nobel-prize-winning studies by Kahneman and Tversky, researchers have found many examples of seemingly irrational decisions: e.g., we overestimate the probability of rare events. Our explanation is that since human abilities to process information are limited, we operate not with the exact values of relevant quantities, but with “granules” that contain these values. We show that optimization under such granularity indeed leads to observed human behavior. In particular, for the first time, we explain the mysterious empirical dependence of betting odds on actual probabilities. This book can be recommended to all students interested in human decision-making, to researchers whose work involves human decisions, and to practitioners who design and employ systems involving human decision-making —so that they can better utilize our ability to make decisions under uncertainty.

Download or read book Symmetry Measures on Complex Networks written by Angel Garrido and published by MDPI. This book was released on 2018-07-09 with total page 509 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book is a printed edition of the Special Issue "Symmetry Measures on Complex Networks" that was published in Symmetry

Download or read book Cognitive Robotics Control written by Cecilio Angulo and published by MDPI. This book was released on 2020-06-16 with total page 170 pages. Available in PDF, EPUB and Kindle. Book excerpt: Robotics and control are both research and application domains that have been frequently engineered through the use of interdisciplinary approaches like cybernetics. Cognition is a particular concept of this approach, abstracted from the context of living organisms to that of artificial devices, and is concerned with knowledge acquisition and understanding through thought, experience, and the senses. Cognitive robotics and control refer to knowledge processing as much as knowledge generation from problem understanding, leading to special forms of architectures that enable systems to behave in an autonomous way. The main aim of this book is to highlight emerging applications and address recent breakthroughs in the domain of cognitive robotics and control and related areas. Procedures, algorithms, architectures, and implementations for reasoning, problem solving, or decision making are considered in the domain of robotics and control.

Download or read book Symmetry in Graph Theory written by Jose M. Rodriguez and published by MDPI. This book was released on 2019-03-14 with total page 340 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book contains the successful invited submissions to a Special Issue of Symmetry on the subject of “Graph Theory”. Although symmetry has always played an important role in Graph Theory, in recent years, this role has increased significantly in several branches of this field, including but not limited to Gromov hyperbolic graphs, the metric dimension of graphs, domination theory, and topological indices. This Special Issue includes contributions addressing new results on these topics, both from a theoretical and an applied point of view.

Download or read book Intelligent Information and Database Systems written by Ngoc Thanh Nguyen and published by Springer Nature. This book was released on 2020-03-03 with total page 684 pages. Available in PDF, EPUB and Kindle. Book excerpt: The two-volume set LNAI 12033 and 11034 constitutes the refereed proceedings of the 12th Asian Conference on Intelligent Information and Database Systems, ACIIDS 2020, held in Phuket, Thailand, in March 2020. The total of 105 full papers accepted for publication in these proceedings were carefully reviewed and selected from 285 submissions. The papers of the first volume are organized in the following topical sections: Knowledge Engineering and Semantic Web, Natural Language Processing, Decision Support and Control Systems, Computer Vision Techniques, Machine Learning and Data Mining, Deep Learning Models, Advanced Data Mining Techniques and Applications, Multiple Model Approach to Machine Learning. The papers of the second volume are divided into these topical sections: Application of Intelligent Methods to Constrained Problems, Automated Reasoning with Applications in Intelligent Systems, Current Trends in Arti cial Intelligence, Optimization, Learning,and Decision-Making in Bioinformatics and Bioengineering, Computer Vision and Intelligent Systems, Data Modelling and Processing for Industry 4.0, Intelligent Applications of Internet of Things and Data AnalysisTechnologies, Intelligent and Contextual Systems, Intelligent Systems and Algorithms in Information Sciences, Intelligent Supply Chains and e-Commerce, Privacy, Security and Trust in Arti cial Intelligence, Interactive Analysis of Image, Video and Motion Data in LifeSciences.

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 Logics in Artificial Intelligence written by Sarah Gaggl and published by Springer Nature. This book was released on 2023-10-25 with total page 834 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes proceedings of the 18th European Conference on Logics in Artificial Intelligence, JELIA 2023, held in Dresden, Germany, in September 2023. The 41 full papers and 11 short papers included in this volume were carefully reviewed and selected from 111 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 Sustainability Through Innovation in Product Life Cycle Design written by Mitsutaka Matsumoto and published by Springer. This book was released on 2016-09-19 with total page 1000 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book consists of chapters based on selected papers presented at the EcoDesign2015 symposium (9th International Symposium on Environmentally Conscious Design and Inverse Manufacturing). The symposium, taking place in Tokyo in December 2015, has been leading the research and practices of eco-design of products and product-related services since it was first held in 1999. The proceedings of EcoDesign2011 were also published by Springer. Eco-design of products and product-related services (or product life cycle design) are indispensable to realize the circular economy and to increase resource efficiencies of our society. This book covers the state of the art of the research and the practices in eco-design, which are necessary in both developed and developing countries. The chapters of the book, all of which were peer-reviewed, have been contributed by authors from around the world, especially from East Asia, Europe, and Southeast Asia. The features of the book include (1) coverage of the latest topics in the field, e.g., global eco-design management, data usage in eco-design, and social perspectives in eco-design; (2) an increased number of authors from Southeast Asian countries, with a greater emphasis on eco-design in emerging economies; (3) high-quality manuscripts, with the number of chapters less than half of that of the previous book.

Download or read book Emerging Methods in Predictive Analytics Risk Management and Decision Making written by Hsu, William H. and published by IGI Global. This book was released on 2014-01-31 with total page 447 pages. Available in PDF, EPUB and Kindle. Book excerpt: Decision making tools are essential for the successful outcome of any organization. Recent advances in predictive analytics have aided in identifying particular points of leverage where critical decisions can be made. Emerging Methods in Predictive Analytics: Risk Management and Decision Making provides an interdisciplinary approach to predictive analytics; bringing together the fields of business, statistics, and information technology for effective decision making. Managers, business professionals, and decision makers in diverse fields will find the applications and cases presented in this text essential in providing new avenues for risk assessment, management, and predicting the future outcomes of their decisions.

Download or read book Business Process Management written by Dirk Fahland and published by Springer Nature. This book was released on 2020-09-04 with total page 557 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 18th International Conference on Business Process Management, BPM 2020, held in Seville, Spain, in September 2020. The conference was held virtually due to the COVID-19 pandemic. The 27 full papers included in this volume were carefully reviewed and selected from 125 submissions. Two full keynote papers are also included. The papers are organized in topical sections named: foundations; engineering; and management.

Download or read book Functional and Logic Programming written by John P. Gallagher and published by Springer. This book was released on 2018-05-01 with total page 295 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 14th International Symposium on Functional and Logic Programming, FLOPS 2018, held in Nagoya, Japan, in May 2018. The 17 papers presented in this volume were carefully reviewed and selected from 41 submissions. They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional-logic programming, re-writing systems, formal methods and model checking, program transformations and program refinements, developing programs with the help of theorem provers or SAT/SMT solvers, language design, and implementation issues.