José Arrazola

Publication Activity (10 Years)

Years Active: 1999-2010
Publications (10 Years): 0

Publications

José Luis Carballido, Mauricio Osorio, José Arrazola
-stable models semantics. J. Appl. Log. 8 (1) (2010)
Oscar Estrada, José Arrazola, Mauricio Osorio
A Possibilistic Intuitionistic Logic. MICAI (1) (2010)
José Arrazola, Eduardo Ariza, Verónica Borja Macías
The Pac Logic in the properties of C(w) and C(min). LA-NMR (2008)
José Luis Carballido, José Arrazola, Mauricio Osorio
Equivalence for the G3'-stable models semantics. LA-NMR (2007)
Eduardo Ariza, José Arrazola
Analysis of the paraconsistency in some logics. LA-NMR (2007)
Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola
Safe beliefs for propositional theories. Ann. Pure Appl. Log. 134 (1) (2005)
Mauricio Osorio, Verónica Borja Macías, José Arrazola
Closing the Gap between the Stable Semantics and Extensions of WFS. MICAI (2004)
Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola
Applications of Intuitionistic Logic in Answer Set Programming. Theory Pract. Log. Program. 4 (3) (2004)
Mauricio Osorio, Verónica Borja Macías, José Arrazola
Three Valued Logic of Lukasiewicz for Modeling Semantics of Logic Programs. IBERAMIA (2004)
Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola
Applications of Intuitionistic Logic in Answer Set Programming CoRR (2003)
Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola
Debugging in A-Prolog: A Logical Approach. ICLP (2002)
Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola
A logical approach to A-Prolog. Electron. Notes Theor. Comput. Sci. 67 (2002)
Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola
Equivalence in Answer Set Programming. LOPSTR (2001)
José Arrazola, Jürgen Dix, Mauricio Osorio
Confluent Rewriting systems in Non-Monotonic Reasoning. Computación y Sistemas 2 (2-3) (1999)