Buscar
Mostrando ítems 1-2 de 2
G’3-Stable Semantics and Inconsistency
(Revista Computación y Sistemas; Vol. 13 No.1, 2009-08-15)
Abstract. We present an overview on how to perform non-monotonic reasoning based on paraconsistent logics. In particular, we show that one can define a logic programming semantics based on the paraconsistent logic G’3 which ...