This article surveys the use of logic in computational models of legal reasoning, against the
background of a four-layered view on legal argument. This view comprises a logical layer …

Written by one of the preeminent researchers in the field, this book provides a
comprehensive exposition of modern analysis of causation. It shows how causality has …

Formal ways of representing uncertainty and various logics for reasoning about it; updated
with new material on weighted probability measures, complexity-theoretic considerations …

Issues in Multiagent Resource Allocation Yann Chevaleyre, Paul E. Dunne, Ulle Endriss,
Jerome Lang, Michel Lemaitre, Nicolas Maudet, Julian Padget, Steve Phelps, Juan A …

The idea of ordering plays a basic role in commonsense reasoning for addressing three
inter-related tasks: inconsistency handling, belief revision and plausible inference. We study …

This chapter is dedicated to conditionals as objects of crucial concern for knowledge
representation, plausible reasoning and belief revision. The relationship between …

An intelligent agent will often be uncertain about various properties of its environment, and
when acting in that environment it will frequently need to quantify its uncertainty. For …

The work in this paper is directed towards sophisticated formalisms for reasoning under
probabilistic uncertainty in ontologies in the Semantic Web. Ontologies play a central role in …

This short paper relates the conditional object-based and possibility theory-based
approaches for reasoning with conditional statements pervaded with exceptions, to other …

Reasoning is defeasible when the corresponding argument is rationally compelling but not
deductively valid. The truth of the premises of a good defeasible argument provide support …