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 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.Eje: Agentes y Sistemas InteligentesRed de Universidades con Carreras en Informática (RedUNCI