This volume contains revised and extended versions of the papers presented at the Second International Workshop on Non-Monotonic Reasoning, held in Grassau (FRG), June 13-15, 1988. The workshop brought together researchers with different backgrounds, including non-monotonic logic, logic programming, truth maintenance and philosophy. Their papers contain substantial advances to the logical foundations of non-monotonic reasoning, its computational realization, and its application to the formalization of common sense reasoning. The book presents a snapshot of the state of the art in this...
This volume contains revised and extended versions of the papers presented at the Second International Workshop on Non-Monotonic Reasoning, held in Gr...
Examining constraint satisfaction, this monograph presents all approaches under a common, generalizing view: dynamic constraints. It aims to provide insights about the different approaches, and to form a practical basis for teaching constraint-based reasoning.
Examining constraint satisfaction, this monograph presents all approaches under a common, generalizing view: dynamic constraints. It aims to provide i...
This monograph coherently presents a series of research results on concurrent production systems recently contributed by the author and several co-authors. Before going into the details of concurrent production systems the performance of a single system is discussed. Based on these considerations it is explained how to estimate the efficiency of production systems programs and how to automatically determine efficient join structures. Parallel systems, including algorithms for parallel rule firings, distributed systems under distributed control, and particularly multiagent production...
This monograph coherently presents a series of research results on concurrent production systems recently contributed by the author and several co-aut...
This volume comprises the proceedings of the FirstAll-Berlin Workshop on Nonclassical Logics and InformationProcessing, held at the Free University of Berlin, November9-10, 1990.The scope of the ten papers in the volume is broad, coveringvarious different subfields of logic - particularlynonclassical logic - and its applications in artificialintelligence. The papers are grouped according to the fourmajor topics that emerged at the meeting: modal systems, logic programming, nonmonotonic logics, and proof theory.The classification is only a rough guide since the fourareas overlap considerably.
This volume comprises the proceedings of the FirstAll-Berlin Workshop on Nonclassical Logics and InformationProcessing, held at the Free University of...
Distributed computing is of great significance in current and future reserach and applications of computer science. As a consequence, in artificial intelligence we can observe rapid growth in the subfield of distributed artificial intelligence (DAI). In particular research on multiagent systems and their potential applications currently attract a lot of interest. This monograph presents recent research and an introductory survey on multiagent systems and some other aspects of DAI. The author describes these systems as composed of intelligent entities, the agents, with intentions, beliefs,...
Distributed computing is of great significance in current and future reserach and applications of computer science. As a consequence, in artificial in...
The number of research topics covered in recent approaches to Information - traction (IE) is continually growing as new facts are being considered. In fact, while the user's interest in extracting information from texts deals mainly with the success of the entire process of locating, in document collections, facts of interest, the process itself is dependent on several constraints (e.g. the domain, the collection dimension and location, and the document type) and currently it tackles composite scenarios, including free texts, semi- and structured texts such as Web pages, e-mails, etc. The...
The number of research topics covered in recent approaches to Information - traction (IE) is continually growing as new facts are being considered. In...
Statistical machine learning (ML) has triggered a renaissance of artificial intelligence (AI). While the most successful ML models, including Deep Neural Networks (DNN), have developed better predictivity, they have become increasingly complex, at the expense of human interpretability (correlation vs. causality). The field of explainable AI (xAI) has emerged with the goal of creating tools and models that are both predictive and interpretable and understandable for humans.
Explainable AI is receiving huge interest in the machine learning and AI...
This is an open access book.
Statistical machine learning (ML) has triggered a renaissance of artificial intelligence (AI). While the most succ...
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022.
The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving,Arithmetic; Calculi and Orderings; Knowledge Representation and Jutsification; Choices, Invariance, Substitutions and Formalization; Modal Logics; Proofs System and Proofs...
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held i...
