Una semántica basada en juegos para la programación lógica rebatible
El objetivo principal de esta tesis es estudiar la teoría de prueba de la Programación en Lógica Rebatible (P.L.R.) y brindar una caracterización declarativa equivalente. La P.L.R. es una herramienta valiosa para la representación de conoci-miento tentativo, incierto y potencialmente inconsistente,...
Guardado en:
| Autor Principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Online |
| Idioma: | spa |
| Publicado: |
2011
|
| Acceso en línea: | http://repositoriodigital.uns.edu.ar/handle/123456789/2207 |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Recurso en línea