Analytic tableaux for default logics
Vincent Risch · Journal of Applied Non-Classical Logics · 1996
Extending a previous approach devoted to Reiter's default logic, this paper defines a general tableaux-based framework for the computation of extensions for several well-know default logics. The ideas are (1) to qualify the differences between the variant under consideration inside a single process that can switch easily from one variants to another, (2) to relate the construction of a tractable tableau representation of extensions to the idea of compiling default theories.