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...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Cecchi, Laura, Fillottrani, Pablo Rubén, Simari, Guillermo Ricardo
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2009
Materias:
Ciencias Informáticas
Intelligent agents
sistemas argumentativos
razonamiento rebatible
programación en lógica
semántica basada en juegos
complejidad computacional
complejidad descriptiva
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/19701
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares