The development of theory, frameworks and tools for Explainable AI (XAI) is a very active
area of research these days, and articulating any kind of coherence on a vision and …

Logical models of arguement formalize commonsense reasoning while taking process and
computation seriously. This survey discusses the main ideas that characterize different …

Suppose one is given a description of a system, together with an observation of the system's
behaviour which conflicts with the way the system is meant to behave. The diagnostic …

A concise and lucid exposition of the major topics in knowledge representation, from two of
the leading authorities in the field.-Stuart Russell, UC Berkeley The information is valuable …

This paper is a survey and critical overview of recent work on the extension of logic
programming to perform abductive reasoning (abductive logic programming). We outline the …

The general purpose of this chapter is to provide a critical analysis on the controversial
enterprise of 'logics of discovery'. It is naturally divided into six parts. After this introduction, in …

This paper presents a simple framework for Horn-clause abduction, with probabilities
associated with hypotheses. The framework incorporates assumptions about the rule base …

Darüber hinaus wurden alle Themenbereiche des Buches überarbeitet und aktualisiert. Für
alle Selbsttestaufgaben, deren Anzahl wir nochmals erhöht haben, stehen ausführliche …

This paper presents a simple logical framework for default reasoning. The semantics is
normal first-order model theory; instead of changing the logic, the way in which the logic is …

In this paper, we review recent work aimed at the application of declarative logic
programming to knowledge representation in artificial intelligence. We consider extensions …