Document Type
Conference Proceeding
Publication Date
12-1-1999
Find this in a Library
Abstract
Several important classes of normal logic programs, including the classes of acyclic, acceptable, and locally hierarchical programs, have the property that every program in the class has a unique two-valued supported model. In this paper, we call such classes unique supported model classes. We analyse and characterize these classes by means of operators on three-valued logics. Our studies will motivate the definition of a larger unique supported model class which we call the class of Phi-accessible programs. Finally, we show that the class of Phi -accessible programs is computationally adequate in that every partial recursive function can be implemented by such a program.
Repository Citation
Seda, A. K.,
& Hitzler, P.
(1999). Characterizations of Classes of Programs by Three-Valued Operators. Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning, 357-371.
https://corescholar.libraries.wright.edu/cse/81
Included in
Bioinformatics Commons, Communication Technology and New Media Commons, Databases and Information Systems Commons, OS and Networks Commons, Science and Technology Studies Commons
Comments
Presented at the 5th International Conference on Logic Programming and Nonmonotonic Reasoning, El Paso, TX, December 2-4, 1999.
Attached is the unpublished, peer-reviewed authors' version of this proceeding.