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

id	I19-R120-10915-19701
record_format	dspace
institution	Universidad Nacional de La Plata
institution_str	I-19
repository_str	R-120
collection	SEDICI (UNLP)
language	Español
topic	Ciencias Informáticas Intelligent agents sistemas argumentativos razonamiento rebatible programación en lógica semántica basada en juegos complejidad computacional complejidad descriptiva
spellingShingle	Ciencias Informáticas Intelligent agents sistemas argumentativos razonamiento rebatible programación en lógica semántica basada en juegos complejidad computacional complejidad descriptiva Cecchi, Laura Fillottrani, Pablo Rubén Simari, Guillermo Ricardo Complejidad de la programación en lógica rebatible
topic_facet	Ciencias Informáticas Intelligent agents sistemas argumentativos razonamiento rebatible programación en lógica semántica basada en juegos complejidad computacional complejidad descriptiva
description	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.
format	Objeto de conferencia Objeto de conferencia
author	Cecchi, Laura Fillottrani, Pablo Rubén Simari, Guillermo Ricardo
author_facet	Cecchi, Laura Fillottrani, Pablo Rubén Simari, Guillermo Ricardo
author_sort	Cecchi, Laura
title	Complejidad de la programación en lógica rebatible
title_short	Complejidad de la programación en lógica rebatible
title_full	Complejidad de la programación en lógica rebatible
title_fullStr	Complejidad de la programación en lógica rebatible
title_full_unstemmed	Complejidad de la programación en lógica rebatible
title_sort	complejidad de la programación en lógica rebatible
publishDate	2009
url	http://sedici.unlp.edu.ar/handle/10915/19701
work_keys_str_mv	AT cecchilaura complejidaddelaprogramacionenlogicarebatible AT fillottranipabloruben complejidaddelaprogramacionenlogicarebatible AT simariguillermoricardo complejidaddelaprogramacionenlogicarebatible
bdutipo_str	Repositorios
_version_	1764820464579903488

Complejidad de la programación en lógica rebatible

Ejemplares similares