Please use this identifier to cite or link to this item:
https://doi.org/10.1142/S0129054102001175
DC Field | Value | |
---|---|---|
dc.title | Beyond tamaki-sato style unfold/fold transformations for normal logic programs | |
dc.contributor.author | Roychoudhury, A. | |
dc.contributor.author | Narayan Kumar, K. | |
dc.contributor.author | Ramakrishnan, C.R. | |
dc.contributor.author | Ramakrishnan, I.V. | |
dc.date.accessioned | 2014-07-04T03:11:45Z | |
dc.date.available | 2014-07-04T03:11:45Z | |
dc.date.issued | 2002 | |
dc.identifier.citation | Roychoudhury, A.,Narayan Kumar, K.,Ramakrishnan, C.R.,Ramakrishnan, I.V. (2002). Beyond tamaki-sato style unfold/fold transformations for normal logic programs. International Journal of Foundations of Computer Science 13 (3) : 387-403. ScholarBank@NUS Repository. <a href="https://doi.org/10.1142/S0129054102001175" target="_blank">https://doi.org/10.1142/S0129054102001175</a> | |
dc.identifier.issn | 01290541 | |
dc.identifier.uri | http://scholarbank.nus.edu.sg/handle/10635/78043 | |
dc.description.abstract | Unfold/fold transformation systems for logic programs have been extensively investigated. Existing unfold/fold transformation systems for normal logic programs typically fold using a single, non-recursive clause i.e. the folding transformation is very restricted. In this paper we present a transformation system that permits folding in the presence of recursion, disjunction, as well as negation. We show that the transformations are correct with respect to various model theoretic semantics of normal logic programs including the well-founded model and stable model semantics. © 2002 World Scientific Publishing Company. | |
dc.description.uri | http://libproxy1.nus.edu.sg/login?url=http://dx.doi.org/10.1142/S0129054102001175 | |
dc.source | Scopus | |
dc.subject | Logic Programming | |
dc.subject | Normal Logic Programs | |
dc.subject | Program Transformations | |
dc.subject | Unfold/Fold Transformations | |
dc.type | Conference Paper | |
dc.contributor.department | COMPUTER SCIENCE | |
dc.description.doi | 10.1142/S0129054102001175 | |
dc.description.sourcetitle | International Journal of Foundations of Computer Science | |
dc.description.volume | 13 | |
dc.description.issue | 3 | |
dc.description.page | 387-403 | |
dc.identifier.isiut | NOT_IN_WOS | |
Appears in Collections: | Staff Publications |
Show simple item record
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.