Autoepistemic logic is one of the most successful formalisms for nonmonotonic reasoning. In this paper we provide a proof-theoretic analysis of sequent calculi for credulous and sceptical reasoning in propositional autoepistemic logic, introduced by Bonatti and Olivetti [5]. We show that the calculus for credulous reasoning obeys almost the same bounds on the proof size as Gentzen’s system LK ....

We present two approaches for deriving more arguments from an abstract argumentation framework than the ones obtained using sceptical inference, that is often too cautious. The first approach consists in selecting only some of the extensions. We point out several choice criteria to achieve such a selection process. Choices are based either on the attack relation between extensions or on the sup...

S ince the beginning of systematic microeconomic reform in the early 1980s, there has been a steady flow of official and unofficial predictions that the improvement in productivity made by possible by reform would yield improved living standards for all, or at least most, Australians. The first such predictions were made by Kasper et al. (1980) who estimated that the adoption of a program of mi...