Complejidad computacional y descriptiva de la programación en lógica rebatible
En el marco del Proyecto de Investigación “Técnicas de Inteligencia Computacional para el diseño e implementación de Sistemas Multiagentes”, de la Universidad Nacional del Comahue, se ha abierto una línea de investigación que da continuidad al desarrollo de la semántica GS, y que tiene como objetivo...
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Español |
| Publicado: |
2007
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/20299 |
| Aporte de: |
| Sumario: | En el marco del Proyecto de Investigación “Técnicas de Inteligencia Computacional para el diseño e implementación de Sistemas Multiagentes”, de la Universidad Nacional del Comahue, se ha abierto una línea de investigación que da continuidad al desarrollo de la semántica GS, y que tiene como objetivo estudiar la Complejidad Computacional y Descriptiva de la Programación en Lógica Rebatible a través de la semántica declarativa definida. El propósito de este trabajo es presentar los resultados alcanzados en esta línea de investigación, los desarrollos en progreso y los trabajos a futuro. |
|---|