You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book constitutes the refereed deadline proceedings of the 28th International Conference on Graph-Based Representation and Reasoning, ICCS 2023, held in Berlin, Germany, during September 11–13, 2023. The 9 full papers, 5 short papers and 4 Posters are included in this book were carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: Complexity and Database Theory, Formal Concept Analysis: Theoretical Advances, Formal Concept Analysis: Applications, Modelling and Explanation, Semantic Web and Graphs, Posters.
One of the core problems in artificial intelligence is the modelling of human reasoning and intelligent behaviour. The representation of knowledge, and reasoning about it, are of crucial importance in achieving this. This book, Semantics of Belief Change Operators for Intelligent Agents: Iteration, Postulates, and Realizability, addresses a number of significant research questions in belief change theory from a semantic point of view; in particular, the connection between different types of belief changes and plausibility relations over possible worlds is investigated. This connection is characterized for revision over general classical logics, showing which relations are capturing AGM revis...
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).
This book constitutes the refereed proceedings of the 15th International Conference on Scalable Uncertainty Management, SUM 2022, which was held in Paris, France, in October 2022. The 19 full and 4 short papers presented in this volume were carefully reviewed and selected from 25 submissions. Besides that, the book also contains 3 abstracts of invited talks and 2 tutorial papers. The conference aims to gather researchers with a common interest in managing and analyzing imperfect information from a wide range of fields, such as artificial intelligence and machine learning, databases, information retrieval and data mining, the semantic web and risk analysis. The chapter "Defining and Enforcing Descriptive Accuracy in Explanations: the Case of Probabilistic Classifiers" is licensed under the terms of the Creative Commons Attribution 4.0 International License.
This book constitutes the refereed proceedings of the 11th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2020, held in Dortmund, Germany, in February 2020. The 19 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers address various topics such as big data; database design; dynamics of information; information fusion; integrity and constraint management; intelligent agents; knowledge discovery and information retrieval; knowledge representation, reasoning and planning; logics in databases and AI; mathematical foundations; security in information and knowledge systems; semi-structured data and XML; social computing; the semantic web and knowledge management; and the world wide web.
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.
Traditional workflow management systems support the fulfillment of business tasks by providing guidance along a predefined workflow model. Due to the shift from mass production to customization, flexibility has become important in recent decades, but the various approaches to workflow flexibility either require extensive knowledge acquisition and modeling, or active intervention during execution. Pursuing flexibility by deviation compensates for these disadvantages by allowing alternative paths of execution at run time without requiring adaptation to the workflow model. This work, Flexible Workflows: A Constraint- and Case-Based Approach, proposes a novel approach to flexibility by deviation...
This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2022, held in Berlin, Germany, during September 26–28, 2022. This is the 6th 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 18 full research papers presented in this book were carefully reviewed and selected from 54 submissions. The papers cover the following topics: answer set programming; foundations of nonmonotonic reasoning; datalog; queries over ontologies; proofs, error-tolerance, and rules; as well as agents and argumentation.