Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs
|
Descargar SCORM
Este recurso ha sido solicitado 1 veces (0 veces en los últimos 31 días).
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs
|
| Id. |
46267787 |
| Idioma |
inglés
|
| Titulo |
Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs |
| Autor(es) |
Abhik Roychoudhury
K. Narayan Kumar
C. R. Ramakrishnan
I. V. Ramakrishnan
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.7443
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Unfold/fold transformation systems for logic programs have been extensively investigated. Existing unfold/fold transformation systems for normal logic programs typically fold using 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.
|
| Tipo |
application/pdf
|
| Palabras clave |
Logic Programming
|
| Tipo de recurso |
Texto Narrativo
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| Formatos |
application/pdf
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://www.comp.nus.edu.sg/~abhik/./pdf/ijfcs.pdf
[References] 10.1.1.24.6050
[References] 10.1.1.40.7517
[References] 10.1.1.49.9371
[References] 10.1.1.92.2964
[References] 10.1.1.24.2284
[References] 10.1.1.54.7006
[References] 10.1.1.28.8592
[References] 10.1.1.22.7516
[References] 10.1.1.27.1744
[References] 10.1.1.37.3789
[References] 10.1.1.24.2284
[References] 10.1.1.28.8592
[References] 10.1.1.23.6147
[References] 10.1.1.4.3627
[References] 10.1.1.74.1733
[References] 10.1.1.88.8578
[References] 10.1.1.35.529
[References] 10.1.1.37.6566
|
| Fecha de contribución |
23-jul-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
