A uniform proof-theoretic reconstruction of the major nonmonotonic logics is introduced. It
consists of analytic sequent calculi where the details of nonmonotonic assumption making …

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 …

Two sequent calculi, for default logic and autoepistemic logic, will be introduced in this
paper. The main goal is improving our prooftheoretic understanding of non-monotonic …

In this paper, we contribute to the proof-theory of Reiter's Default Logic by introducing a
sequent calculus for skeptical reasoning. The main features of this calculus are simplicity …

It is well-known that almost all nonmonotonic formalisms have a higher worst-case
complexity than classical reasoning. In some sense, this observation denies one of the …

Proof complexity is an interdisciplinary area of research utilising techniques from logic,
complexity, and combinatorics towards the main aim of understanding the complexity of …

The aim of this work is to show how Prolog technology can be used for efficient
implementation of query answering in default logics. The idea is to translate a default theory …

In the last 15 years there has been a huge amount of research on logical formalization of
commonsense reasoning. One of the major difficulties against the use of standard logics for …

Default logic is one of the most popular and successful formalisms for non-monotonic
reasoning. In 2002, Bonatti and Olivetti introduced several sequent calculi for credulous and …

Current research on non-monotonic reasoning shows growing interest on implementation
details, so the need for concrete calculi formalizing non-monotonic logics is clearly …