NAGIOS: RODERIC FUNCIONANDO

Programación lógica y cambio de teoría

Repositori DSpace/Manakin

dc.contributor.author	Casaban Moya, Enric
dc.contributor.author	Lorente Tallada, Juan Manuel
dc.contributor.author	Ubeda Rives, José Pedro
dc.date.accessioned	2016-01-19T13:23:13Z
dc.date.available	2016-01-19T13:23:13Z
dc.date.issued	1998	es_ES
dc.identifier.citation	Casabán Moya, E; Lorente Tallada, J. M.; Ubeda Rives, J. P. (1998). Programación lógica y cambio de teoría. En: XIIè Congrés Valencià de Filosofia: Alcoi, 9,10, i 11 d'octubre de 1997. Societat de Filosofia del País Valencià (col.), 1998, ISBN 84-7274-233-4, 125-133	es_ES
dc.identifier.uri	http://hdl.handle.net/10550/50109
dc.description.abstract	EN este trabajo analizamos el modelo AGM de cambio de Teoría desde la perspectiva del lenguaje PROLOG y presentamos algunas estrategias para realizar dichos cambios. El trabajo se divide en tres apartados. En el primero ofrecemos una panorámica de los modelos de cambio de teoría. En el segundo establecemos los presupuestos básicos para aplicar dichos modelos sobre bases de conocimientos y en el tercero describimos una estrategia para el análisis de dichos cambios. El instrumento formal sobre el que se materializan estas ideas es el lenguaje PROLOG.	es_ES
dc.language.iso	es	es_ES
dc.title	Programación lógica y cambio de teoría	es_ES
dc.type	conference output	es_ES
dc.subject.unesco	UNESCO::LÓGICA::Aplicaciones de la lógica	es_ES
dc.identifier.idgrec	024412	es_ES