Exploració per tema "G’3-stable semantics"
Ara es mostren els items 1-1 de 1
-
G’3-stable semantics and inconsistency
(2009-09-01)
Article
Accés obertWe 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 is called ...