Non prioritized answer set revision

In this paper, we build on previous work on Belief Revision operators based on the use of logic programming with Answer Set semantics as a representation language. We present a set of postulates for Answer Set Revision with respect to a set of sentences and with respect to explanations. We focus on...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Simari, Gerardo I., Falappa, Marcelo Alejandro
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2004
Materias:
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/22502
Aporte de:

Ejemplares similares