Document Type
Article
Publication Date
1-1-2001
Abstract
We study classes of programs, herein called unique supported-model classes, with the property that each program in the class has a unique supported model. Elsewhere, the authors examined these classes from the point of view of operators defined relative to certain three-valued logics. In this paper, we complement our earlier results by considering how unique supported-model classes fit into the framework given by various classes of programs in several well-known approaches to semantics.
Repository Citation
Hitzler, P.,
& Seda, A. K.
(2001). Unique Supported-Model Classes of Logic Programs. Information, 4, 295-302.
https://corescholar.libraries.wright.edu/cse/47
Included in
Bioinformatics Commons, Communication Technology and New Media Commons, Databases and Information Systems Commons, OS and Networks Commons, Science and Technology Studies Commons
