On the expressive power of semi-normal defaults in some semantic variants of default logic

Zhang Mingyi, Zhang Ying. On the expressive power of semi-normal defaults in some semantic variants of default logic. AI Commun., 16(1):51-67, 2003. [doi]

Abstract

Abstract is missing.