Negation-as-failure considered harmful
In logic programs, negation-as-failure has been used both for representing negative information and for providing default nonmonotonic inference. In this paper we argue that this twofold role is not only unnecessary for the expressiveness of the language, but it also plays against declarative progra...
Guardado en:
| Autor principal: | Fillottrani, Pablo Rubén |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Inglés |
| Publicado: |
2006
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/22795 |
| Aporte de: |
Ejemplares similares
-
Negation in logic programs: is it necessary two connectives?
por: Fillottrani, Pablo Rubén, et al.
Publicado: (1998) -
Disjunctive logic programming with negation as failure in the head
por: Cecchi, Laura, et al.
Publicado: (1998) -
Sobre la negación y la inferencia no monótona en la programación en lógica
por: Fillottrani, Pablo Rubén
Publicado: (2000) -
Representing generalization relationships in logic programming
por: Fillottrani, Pablo Rubén
Publicado: (2002) -
Modeling argumentation with labeled deduction: formalization and theoretical considerations
por: Chesñevar, Carlos Iván, et al.
Publicado: (2001)