Open Access. Powered by Scholars. Published by Universities.®
Social and Behavioral Sciences Commons™
Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 1 of 1
Full-Text Articles in Social and Behavioral Sciences
Unique Supported-Model Classes Of Logic Programs, Pascal Hitzler, Anthony K. Seda
Unique Supported-Model Classes Of Logic Programs, Pascal Hitzler, Anthony K. Seda
Computer Science and Engineering Faculty Publications
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.