José Arrazola

18 papers B 1C 2Journal 6Unranked 6
YearRankTypeTitle / Venue / Authors
2011 — ed.
Proceedings of the Seventh Latin American Workshop on Non-Monotonic Reasoning, LANMR 2011, Toluca, Estado de México, México, November 7-8, 2011
LA-NMR
Mauricio Osorio, Claudia Zepeda, Iván Olmos, José Luis Carballido, José Arrazola, Carolina Medina
2010 — conf
A Possibilistic Intuitionistic Logic.
MICAI (1)
Oscar Estrada, José Arrazola, Mauricio Osorio
2010 J jnl
Equivalence for the G'
J. Appl. Log.
José Luis Carballido, Mauricio Osorio, José Arrazola
2009 — ed.
Proceedings of the Fifth Latin American Workshop on Non-Monotonic Reasoning 2009 (LANMR'09) , Facultad de Ciencias Básicas, Ingeniería y Tecnología , Universidad Autónoma de Tlaxcala (UAT) , Apizaco, Tlaxcala, México, November 5-6, 2009.
LA-NMR
Mauricio Osorio, Claudia Zepeda, Iván Olmos, Carolina Medina, José Arrazola
2008 — conf
The Pac Logic in the properties of C(w) and C(min).
LA-NMR
José Arrazola, Eduardo Ariza, Verónica Borja Macías
2007 — conf
Analysis of the paraconsistency in some logics.
LA-NMR
Eduardo Ariza, José Arrazola
2007 J jnl
Basic Transformations that Preserve G'3-Stable Equivalente.
Res. Comput. Sci.
José Arrazola, José Luis Carballido, Mauricio Osorio
2007 — conf
Equivalence for the G3'-stable models semantics.
LA-NMR
José Luis Carballido, José Arrazola, Mauricio Osorio
2007 — ed.
Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the LA-NMR07 Workshop, Benemérita Universidad Autónoma de Puebla, Puebla, Pue., México, 17th - 19th September 2007
LA-NMR
José Arrazola, Pilar Pozos Parra, Mauricio Osorio, Claudia Zepeda
2005 J jnl
Safe beliefs for propositional theories.
Ann. Pure Appl. Log.
Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola
2004 J jnl
Applications of Intuitionistic Logic in Answer Set Programming.
Theory Pract. Log. Program.
Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola
2004 — conf
Closing the Gap between the Stable Semantics and Extensions of WFS.
MICAI
Mauricio Osorio, Verónica Borja Macías, José Arrazola
2004 — conf
Three Valued Logic of Lukasiewicz for Modeling Semantics of Logic Programs.
IBERAMIA
Mauricio Osorio, Verónica Borja Macías, José Arrazola
2003 J jnl
Applications of Intuitionistic Logic in Answer Set Programming
CoRR
Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola
2002 C conf
A logical approach to A-Prolog.
WoLLIC
Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola
2002 B conf
Debugging in A-Prolog: A Logical Approach.
ICLP
Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola
2001 C conf
Equivalence in Answer Set Programming.
LOPSTR
Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola
1999 J jnl
Confluent Rewriting systems in Non-Monotonic Reasoning.
Computación y Sistemas
José Arrazola, Jürgen Dix, Mauricio Osorio