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 …

Conditionals are sentences of the form'If A, then B', and they play a central role in scientific,
logical, and everyday reasoning. They have been in the philosophical limelight for centuries …

We argue for the usefulness of abductive reasoning in the context of ontologies. We discuss
several applicaton scenarios in which various forms of abduction would be useful, introduce …

Due to the growing popularity of Description Logics-based knowledge representation
systems, predominantly in the context of Semantic Web applications, there is a rising …

Many conditionals seem to convey the existence of a link between their antecedent and
consequent. We draw on a recently proposed typology of conditionals to argue for an old …

An inquiring agent is concerned with obtaining as much new, error-free, information as
possible. One way of doing this is to simply incorporate information presented to an agent as …

The complexity of logic-based abduction has been extensively studied for the case in which
the background knowledge is represented by a propositional theory, but very little is known …

Prime implicates and prime implicants have proven relevant to a number of areas of artificial
intelligence, most notably abductive reasoning and knowledge compilation. The purpose of …

Abductive reasoning involves finding the missing premise of an “unsaturated” deductive
inference, thereby selecting a possible explanans for a conclusion based on a set of …

The aim of this paper is to introduce a new framework for defining abductive reasoning
operators based on a notion of retraction in arbitrary logics defined as satisfaction systems …