On the Coincidence of Semantics for Uniquely Determined Programs

TitleOn the Coincidence of Semantics for Uniquely Determined Programs
Publication TypeConference Paper
Year of Publication2000
AuthorsAnthony K. Seda, Pascal Hitzler
Conference NameOn the Coincidence of Semantics for Uniquely Determined Programs
Abstract

We study classes of logic programs, called here unique supported model classes or simply usm- classes, with the property that each member in the class is uniquely determined, that is, possesses a unique supported model. Known classes of uniquely determined programs include the acyclic and the acceptable programs, which have been much studied in the context of termination, and the authors gave a unifying treatment of these and other unique supported model classes in an earlier paper. In the present paper, we complement these earlier results by considering how various standard semantics relate to each other within certain unique supported model classes. In particular, we introduce the natural usm-class of all accessible programs, which contains the aforementioned classes, and has the property that, for each member of it, the stable, well-founded and weakly perfect-a models all coincide.

Full Text

Anthony K. Seda and Pascal Hitzler, 'On the Coincidence of Semantics for Uniquely Determined Programs.' First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, Cork, Ireland, July 2000.
year: 2000