Multiple Revision on Horn Belief Bases
In logic programming, Horn clauses play a basic role, and in many logical constructs their consideration is important. In this paper we study the multiple revision of a belief base where the underlying logic is composed by Horn clauses. The main di culties as to restricting to the Horn fragment for...
Guardado en:
Autores principales: | Valdez, Néstor Jorge, Falappa, Marcelo Alejandro |
---|---|
Formato: | Objeto de conferencia |
Lenguaje: | Inglés |
Publicado: |
2016
|
Materias: | |
Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/55735 |
Aporte de: |
Ejemplares similares
-
Operadores de cambio múltiples en bases de creencias bajo lógica Horn
por: Valdez, Néstor Jorge, et al.
Publicado: (2016) -
Some approaches to Belief Bases Merge
por: Falappa, Marcelo Alejandro, et al.
Publicado: (2006) -
Construction of revisions by explanations
por: Falappa, Marcelo Alejandro, et al.
Publicado: (1998) -
Belief revision and relevance
por: Falappa, Marcelo Alejandro, et al.
Publicado: (1999) -
Revision of plausibility relations in dynamic systems
por: Simari, Patricio D., et al.
Publicado: (2000)