Dinámica de conocimiento: Contracción múltiple en lenguajes Horn

En los últimos años el estudio de la teoría de cambio de creencias dentro del marco AGM, ha motivado la necesidad de desarrollar modelos de la teoría de contracción que abarquen los casos de contracción simultánea para conjuntos de sentencias y no solamente para una única sentencia. Por ello, en est...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Valdez, Néstor Jorge, Falappa, Marcelo Alejandro
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2013
Materias:
Ciencias Informáticas
Informática
Intelligent agents
contracción Horn
package contraction
teoría de contracción
Logic Programming
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/31434
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares