Analytic Tableau for Default Logics

Vincent Risch

Following the approach to Reiter’s default logic, this paper attempts to define a general tableaux-based framework for the computation of the extensions for several known default logics. The idea is to qualify the differences between the variants under considcration inside a single process that can switch easily from one variant to another. Indeed, the approach is related to the idea of the compilation of default theories.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.