Complejidad de la programación en lógica rebatible
Dando continuidad al desarrollo de la semántica GS, se ha planteado estudiar la Complejidad Computacional y Descriptiva de la Programación en Lógica Rebatible a través de la semántica declarativa definida. En este sentido se estudiaron diferentes problemas de decisión y se calculó su complejidad com...
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Español |
| Publicado: |
2009
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/19701 |
| Aporte de: |
| Sumario: | Dando continuidad al desarrollo de la semántica GS, se ha planteado estudiar la Complejidad Computacional y Descriptiva de la Programación en Lógica Rebatible a través de la semántica declarativa definida. En este sentido se estudiaron diferentes problemas de decisión y se calculó su complejidad computacional. Asimismo se avanzó en el estudio de la Complejidad de Datos, de los Programas y la Combinada. Este análisis es el punto de partida para el estudio en marcha de la expresividad de la teoría. |
|---|