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.