Ordered linear logic programming
|
Descargar SCORM
¡Sea el primero en solicitar este recurso!
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
Ordered linear logic programming
|
| Id. |
47201427 |
| Idioma |
inglés
|
| Titulo |
Ordered linear logic programming |
| Autor(es) |
Frank Pfenning
Jeff Polakow
Jeff Polakow
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.68.5298
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Webeginwithareviewofordered linear logic (OLL) 1, a refinement of linear logic with an inherent notion of order proposed by the authors in prior work. We then develop a logic programming interpretation for OLL in two steps: (1) we give a system of ordered uniform derivations which is sound and complete with respect to OLL, and (2) we present a model of resource consumption which removes non-determinism from ordered resource allocation during search for uniform derivations. We also illustrate the expressive power of the resulting ordered linear logic programming language through some examples, including programs for merge sort, insertion sort, and natural language parsing.
|
| Tipo |
application/pdf
|
| Palabras clave |
linear logic
|
| 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-2.cs.cmu.edu/~fp/papers/ollp99.pdf
[References] 10.1.1.105.9987
[References] 10.1.1.28.2136
[References] 10.1.1.43.4232
[References] 10.1.1.25.1142
[References] 10.1.1.135.1566
[References] 10.1.1.40.5019
[References] 10.1.1.36.5390
[References] 10.1.1.51.7430
[References] 10.1.1.36.5486
[References] 10.1.1.36.5390
[References] 10.1.1.67.2862
[References] 10.1.1.36.5486
[References] 10.1.1.4.5839
[References] 10.1.1.23.1508
[References] 10.1.1.71.1971
[References] 10.1.1.57.6545
[References] 10.1.1.5.6794
|
| Fecha de contribución |
27-ago-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
