Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto

 

Mostrar el registro sencillo del ítem

dc.date.accessioned 2012-09-28T15:32:29Z
dc.date.available 2012-09-28T15:32:29Z
dc.date.issued 2002
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/21763
dc.description.abstract 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.. es
dc.format.extent 9-13 es
dc.language es es
dc.subject ARTIFICIAL INTELLIGENCE es
dc.subject Extensiones de la Programación en Lógica es
dc.subject Semántica Declarativa de Extensiones de la Programación en Lógica es
dc.subject Semantics es
dc.subject Semántica de Juegos es
dc.subject Sistemas Argumentativos es
dc.title Semántica declarativa trivaluada para la programación en lógica rebatible es
dc.type Objeto de conferencia es
sedici.creator.person Cecchi, Laura es
sedici.creator.person Simari, Guillermo Ricardo es
sedici.description.note Eje: Aspectos teóricos de Inteligencia Artificial es
sedici.subject.materias Ciencias Informáticas es
sedici.description.fulltext true es
mods.originInfo.place Red de Universidades con Carreras en Informática (RedUNCI) es
sedici.subtype Objeto de conferencia es
sedici.rights.license Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
sedici.rights.uri http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
sedici.date.exposure 2002-05 es
sedici.relation.event IV Workshop de Investigadores en Ciencias de la Computación es
sedici.description.peerReview peer-review es


Descargar archivos

Thumbnail
Documento completo
Descargar archivo (56.89Kb) - PDF

Este ítem aparece en la(s) siguiente(s) colección(ones)

Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)