Executing Suspended 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
|
|
|
Executing Suspended Logic Programs
|
| Id. |
46510745 |
| Idioma |
inglés
|
| Titulo |
Executing Suspended Logic Programs |
| Autor(es) |
Robert A. Kowalski
Francesca Toni
Gerhard Wetzel
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.39.634
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
We present an extension of Logic Programming (LP) which, in addition to ordinary LP clauses, also includes integrity constraints, explicit representation of disjunction in the bodies of clauses and in goals, and suspension of atoms as in concurrent logic languages. The resulting framework aims to unify Constraint Logic Programming (CLP), Abductive Logic Programming (ALP) and Semantic Query Optimisation (SQO) in deductive databases. We present a proof procedure for the new framework, simplifying and generalising previously proposed proof procedures for ALP. We discuss applications of the framework, formulating traditional problems from LP, ALP, CLP and SQO.
|
| Tipo |
application/postscript
|
| Palabras clave |
Logic Programming (LP
|
| 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/postscript
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://www-lp.doc.ic.ac.uk/UserPages/staff/ft/PAPERS/slp.ps.Z
[References] 10.1.1.25.8566
[References] 10.1.1.67.5940
[References] 10.1.1.13.7065
[References] 10.1.1.31.9982
[References] 10.1.1.29.3813
[References] 10.1.1.40.4255
[References] 10.1.1.13.9643
[References] 10.1.1.21.6503
[References] 10.1.1.57.4234
[References] 10.1.1.37.339
[References] 10.1.1.37.1002
[References] 10.1.1.45.5969
[References] 10.1.1.54.6770
[References] 10.1.1.47.5663
[References] 10.1.1.62.8517
[References] 10.1.1.13.3663
[References] 10.1.1.78.7418
[References] 10.1.1.27.8869
[References] 10.1.1.35.505
[References] 10.1.1.75.9954
[References] 10.1.1.102.7846
[References] 10.1.1.6.1019
[References] 10.1.1.1.5627
[References] 10.1.1.39.7435
[References] 10.1.1.7.5899
[References] 10.1.1.42.6447
[References] 10.1.1.74.5514
[References] 10.1.1.3.7879
[References] 10.1.1.58.2746
|
| Fecha de contribución |
29-jul-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
