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: | Cecchi, Laura Andrea |
|---|---|
| Otros Autores: | Simari, Guillermo R. |
| Formato: | tesis doctoral |
| Lenguaje: | Español |
| Publicado: |
2011
|
| Materias: | |
| Acceso en línea: | http://repositoriodigital.uns.edu.ar/handle/123456789/2207 |
| Aporte de: |
Ejemplares similares
-
Expresividad de la programación en lógica rebatible
por: Cecchi, Laura, et al.
Publicado: (2008) -
Complejidad de la programación en lógica rebatible
por: Cecchi, Laura, et al.
Publicado: (2009) -
Programación en lógica rebatible: una semántica declarativa
por: Cecchi, Laura
Publicado: (2001) -
Sobre la complejidad y el poder expresivo de DeLP a través de la semántica basada en juegos
por: Fillottrani, Pablo Rubén, et al.
Publicado: (2006) -
Sobre la relación entre la semántica GS y el razonamiento rebatible
por: Cecchi, Laura, et al.
Publicado: (2004)