Bounded Nondeterminism of 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
|
|
|
Bounded Nondeterminism of Logic Programs
|
| Id. |
46234005 |
| Idioma |
inglés
|
| Titulo |
Bounded Nondeterminism of Logic Programs |
| Autor(es) |
Dino Pedreschi
Salvatore Ruggieri
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.2.8459
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
We introduce the notion of bounded nondeterminism for logic programs and queries. A program and a query have bounded nondeterminism if there are finitely many refutations for them via any selection rule. We o#er a declarative characterization of the class of programs and queries that have bounded nondeterminism by defining bounded programs and queries. The characterization is provided in terms of Herbrand interpretations and level mappings, in the style of existing characterizations of universal termination.
|
| 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.di.unipi.it/~ruggieri/Papers/bn.pdf
[References] 10.1.1.15.3214
[References] 10.1.1.56.6656
[References] 10.1.1.30.4485
[References] 10.1.1.48.4369
[References] 10.1.1.53.3951
[References] 10.1.1.21.5980
[References] 10.1.1.40.334
[References] 10.1.1.37.7994
[References] 10.1.1.30.1511
[References] 10.1.1.22.513
[References] 10.1.1.54.7188
[References] 10.1.1.22.1350
[References] 10.1.1.20.7994
[References] 10.1.1.125.453
[References] 10.1.1.8.2484
[References] 10.1.1.41.2330
[References] 10.1.1.54.8545
[References] 10.1.1.10.3438
[References] 10.1.1.16.7922
[References] 10.1.1.10.3438
[References] 10.1.1.4.9902
|
| Fecha de contribución |
22-jul-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
