Relating defeasible and normal logic programming through transformation properties

This paper relates the Defeasible Logic Programming (DeLP) framework and its semantics SEMneLP to more classical logic programming frameworks. In DeLP we distinguish between strict and defeasible rules, combining default and strict negation. In contrast to this, in normal logic programming (NLP), th...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Chesñevar, Carlos Iván, Dix, Jurgen, Stolzenburg, Frieder, Simari, Guillermo Ricardo
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2000
Materias:
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/23660
Aporte de:

Ejemplares similares