Cambio de creencias: operadores de contracción utilizando cláusulas de Horn
Esta línea de investigación tiene como principal objetivo explorar las conexiones entre las diferentes construcciones para contracciones con lógica Horn en el área de la teoría de cambio de creencias. En años recientes se han planteado diversos enfoques para el uso de lenguajes con expresividad acot...
Guardado en:
| Autores principales: | Valdez, Néstor Jorge, Falappa, Marcelo Alejandro |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Español |
| Publicado: |
2013
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/27300 |
| Aporte de: |
Ejemplares similares
-
Implementación de operadores de contracción múltiple para bases de creencias Horn
por: Valdez, Néstor Jorge, et al.
Publicado: (2014) -
Dinámica de conocimiento: contracciones Horn a partir de ordenamientos epistámicos
por: Valdez, Néstor Jorge, et al.
Publicado: (2013) -
Dinámica de conocimiento: Contracción múltiple en lenguajes Horn
por: Valdez, Néstor Jorge, et al.
Publicado: (2013) -
Dinámica de Conocimiento: implementación computacional de Operaciones de Contracción Múltiples Horn
por: Valdez, Néstor Jorge, et al.
Publicado: (2014) -
Teoría de cambio de creencias relación entre las funciones de contracción G-AGM y Kernel
por: Fermé, Eduardo L.
Publicado: (1995)