Logic is the science that deals with the formal principles and criteria of validity of patterns of
inference. This chapter surveys logics for a particular group of patterns of inference, namely …

The first issue of Artificial Intelligence and Law journal was published in 1992. This paper
provides commentaries on landmark papers from the first decade of that journal. The topics …

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 builds on the recent ASPIC+ formalism, to develop a general framework for
argumentation with preferences. We motivate a revised definition of conflict free sets of …

Argumentation is a vital form of human cognition. Constantly in our daily lives, we are
confronted with information that conflicts, and we are forced to deal with the resulting …

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 …

This chapter introduces the basics of neural-symbolic systems used thoughout the book. A
brief bibliographical review is also presented. Neural-symbolic systems have become a very …

One of the fundamental goals of artificial intelligence (AI) is to build artificially computer-
based systems which make computer simulate, extend and expand human's intelligence …

Philosophy of Science: A Unified Approach combines a general introduction to philosophy of
science with an integrated survey of all its important subfields. As the book's subtitle …

Humans are often extraordinary at performing practical reasoning. There are cases where
the human computer, slow as it is, is faster than any artificial intelligence system. Are we …