Lerong Cheng, Jinjun Xiong, et al.
ASP-DAC 2008
In this paper we compare the semantical and syntactical definitions of extensions for open default theories. We prove that, over monadic languages, these definitions are equivalent and do not depend on the cardinality of the underlying infinite world. We also show that, under the domain closure assumption, one free variable open default theories are decidable. © 2006 Elsevier B.V. All rights reserved.
Lerong Cheng, Jinjun Xiong, et al.
ASP-DAC 2008
Pradip Bose
VTS 1998
Frank R. Libsch, Takatoshi Tsujimura
Active Matrix Liquid Crystal Displays Technology and Applications 1997
Rajeev Gupta, Shourya Roy, et al.
ICAC 2006