Beomseok Nam, Henrique Andrade, et al.
ACM/IEEE SC 2006
Conference paper
Default theories over monadic languages
Abstract
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. © 2005 Elsevier B.V. All rights reserved.
Related
Thomas R. Puzak, A. Hartstein, et al.
CF 2007
Arun Viswanathan, Nancy Feldman, et al.
IEEE Communications Magazine
Conference paper
Low-Resource Speech Recognition of 500-Word Vocabularies
Sabine Deligne, Ellen Eide, et al.
INTERSPEECH - Eurospeech 2001