This article reviews legal applications of logic, with a particularly marked concern for logical
models of legal argument. We argue that the law is a rich test bed and important application …

Abduction is a form of non-monotonic reasoning that has gained increasing interest in the
last few years. The key idea behind it can be represented by the following inference rule …

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 volume explores abductive cognition, an important but, at least until the third quarter of
the last century, neglected topic in cognition. The book aims at increasing knowledge about …

Handbook of Knowledge Representation describes the essential foundations of Knowledge
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …

Abduction is an important form of nonmonotonic reasoning allowing one to find explanations
for certain symptoms or manifestations. When the application domain is described by a …

In many problem domains, solutions take the form of unordered sets. We present the Set-
Enumerations (SE)-tree-a vehicle for representing sets and/or enumerating them in a best …

In this book a theory of reasoning with evidence in the context of criminal cases is
developed. The main subject of this study is not the law of evidence but rather the rational …

This paper presents a theory of reasoning with evidence in order to determine the facts in a
criminal case. The focus is on the process of proof, in which the facts of the case are …

This collection represents the primary reference work for researchers and students in the
area of Temporal Reasoning in Artificial Intelligence. Temporal reasoning has a vital role to …