Semántica declarativa trivaluada para la programación en lógica rebatible

La semántica operacional de los programas lógicos está basada en el método de resolución de Robinson, aplicado a cláusulas de Horn. Esto supone una limitación tanto sintáctica como semántica que, a pesar de las ventajas teóricas y prácticas que trae consigo, restringe en algunos casos la aplicabilid...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Cecchi, Laura, Simari, Guillermo Ricardo
Formato:	Objeto de conferencia
Lenguaje:	Español
Publicado:	2002
Materias:	Ciencias Informáticas ARTIFICIAL INTELLIGENCE Extensiones de la Programación en Lógica Semántica Declarativa de Extensiones de la Programación en Lógica Semantics Semántica de Juegos Sistemas Argumentativos
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/21763
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-21763
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 ARTIFICIAL INTELLIGENCE Extensiones de la Programación en Lógica Semántica Declarativa de Extensiones de la Programación en Lógica Semantics Semántica de Juegos Sistemas Argumentativos
spellingShingle	Ciencias Informáticas ARTIFICIAL INTELLIGENCE Extensiones de la Programación en Lógica Semántica Declarativa de Extensiones de la Programación en Lógica Semantics Semántica de Juegos Sistemas Argumentativos Cecchi, Laura Simari, Guillermo Ricardo Semántica declarativa trivaluada para la programación en lógica rebatible
topic_facet	Ciencias Informáticas ARTIFICIAL INTELLIGENCE Extensiones de la Programación en Lógica Semántica Declarativa de Extensiones de la Programación en Lógica Semantics Semántica de Juegos Sistemas Argumentativos
description	La semántica operacional de los programas lógicos está basada en el método de resolución de Robinson, aplicado a cláusulas de Horn. Esto supone una limitación tanto sintáctica como semántica que, a pesar de las ventajas teóricas y prácticas que trae consigo, restringe en algunos casos la aplicabilidad de la Programación en Lógica (de ahora en más P.L.) en resolución de problemas. La superación de esta limitación puede atacarse de varias maneras. Un modo es extender la ejecución clásica a nuevos procedimientos junto con un cambio en la sintaxis, resultando en un incremento del poder expresivo de la P.L..
format	Objeto de conferencia Objeto de conferencia
author	Cecchi, Laura Simari, Guillermo Ricardo
author_facet	Cecchi, Laura Simari, Guillermo Ricardo
author_sort	Cecchi, Laura
title	Semántica declarativa trivaluada para la programación en lógica rebatible
title_short	Semántica declarativa trivaluada para la programación en lógica rebatible
title_full	Semántica declarativa trivaluada para la programación en lógica rebatible
title_fullStr	Semántica declarativa trivaluada para la programación en lógica rebatible
title_full_unstemmed	Semántica declarativa trivaluada para la programación en lógica rebatible
title_sort	semántica declarativa trivaluada para la programación en lógica rebatible
publishDate	2002
url	http://sedici.unlp.edu.ar/handle/10915/21763
work_keys_str_mv	AT cecchilaura semanticadeclarativatrivaluadaparalaprogramacionenlogicarebatible AT simariguillermoricardo semanticadeclarativatrivaluadaparalaprogramacionenlogicarebatible
bdutipo_str	Repositorios
_version_	1764820464877699072

Semántica declarativa trivaluada para la programación en lógica rebatible

Ejemplares similares