• G’3-stable semantics and inconsistency 

      Osorio, Mauricio; Zepeda, Claudia; Nieves Sánchez, Juan Carlos; Carballido, José Luis (2009-09-01)
      Article
      Accés obert
      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 is called ...
    • The stable-abducible argumentation semantics 

      Osorio, Mauricio; Nieves Sánchez, Juan Carlos; Carballido, José Luis (2011)
      Text en actes de congrés
      Accés obert
      We look at a general way of inducing semantics in argumentation theory by means of a mapping defined on the family of 2-valued models of a normal program, which is constructed in terms of the argumentation framework. In ...