|Title||Unique Supported-Model Classes of Logic Programs|
|Publication Type||Journal Article|
|Year of Publication||2001|
|Authors||Anthony K. Seda, Pascal Hitzler|
|Keywords||denotational semantics, logic programming, supported-model semantics|
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.
|Full Text|| |
Pascal Hitzler and Anthony K. Seda.'Unique Supported-Model Classes of Logic Programs.' Information Volume: 4.3 2001: 295-302.