Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
José R. Arrazola Ramírez
José Arrazola
2010 – today
- 2012
[j10]Oscar Hernán Estrada-Estrada, José R. Arrazola Ramírez, Mauricio Javier Osorio Galindo: Possibilistic intermediate logic. IJAIP 4(2): 149-167 (2012)- 2011
- [e3]Mauricio Osorio, Claudia Zepeda, Ivan Olmos, José Luis Carballido, José Arrazola, Carolina Medina (Eds.): Proceedings of the Seventh Latin American Workshop on Non-Monotonic Reasoning, LANMR 2011, Toluca, Estado de México, México, November 7-8, 2011. CEUR Workshop Proceedings 804, CEUR-WS.org 2011
- 2010
- [j9]José Luis Carballido, Mauricio Osorio, José Arrazola: Equivalence for the G'3-stable models semantics. J. Applied Logic 8(1): 82-96 (2010)
- [c11]Oscar Estrada, José Arrazola, Mauricio Osorio: A Possibilistic Intuitionistic Logic. MICAI (1) 2010: 362-373
2000 – 2009
- 2009
- [e2]Mauricio Osorio, Claudia Zepeda, Ivan Olmos, Carolina Medina, José Arrazola (Eds.): 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. CEUR Workshop Proceedings 533, CEUR-WS.org 2009
- 2008
- [j8]Mauricio Javier Osorio Galindo, José R. Arrazola Ramírez, José Luis Carballido: Logical Weak Completions of Paraconsistent Logics. J. Log. Comput. 18(6): 913-940 (2008)
- [c10]José Arrazola, Eduardo Ariza, Verónica Borja Macías: The Pac Logic in the properties of C(w) and C(min). LA-NMR 2008
- 2007
- [j7]Fernando Zacarías Flores, José R. Arrazola Ramírez, Oscar Hernán Estrada-Estrada: Advances in Computer Science and Artificial Intelligence. Engineering Letters 15(2): 209-214 (2007)
- [c9]
- [c8]José Luis Carballido, José Arrazola, Mauricio Osorio: Equivalence for the G3'-stable models semantics. LA-NMR 2007
- [e1]José Arrazola, Pilar Pozos Parra, Mauricio Osorio, Claudia Zepeda (Eds.): 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. CEUR Workshop Proceedings 286, CEUR-WS.org 2007
- 2006
- [j6]Mauricio Osorio, Juan Antonio Navarro Pérez, José R. Arrazola Ramírez, Verónica Borja Macías: Logics with Common Weak Completions. J. Log. Comput. 16(6): 867-890 (2006)
- [c7]Mauricio Osorio, José R. Arrazola Ramírez, José Luis Carballido, Oscar Estrada: Programas Lógicos Disjunctivos y la Demostrabilidad de Atomos en Cw. LoLaCOM 2006
- [c6]Mauricio Osorio, José R. Arrazola Ramírez, José Luis Carballido, Oscar Estrada: An Axiomatization of G'3. LoLaCOM 2006
- [c5]Fernando Zacarías, Dionicio Zacarías, José R. Arrazola Ramírez, Rosalba Cuapa: Rational Agents under ASP in Games theory. STAIRS 2006: 257-258
- 2005
- [j5]Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola: Safe beliefs for propositional theories. Ann. Pure Appl. Logic 134(1): 63-82 (2005)
- [j4]Mauricio Javier Osorio Galindo, Juan Antonio Navarro Pérez, José R. Arrazola Ramírez, Verónica Borja Macías: Ground Nonmonotonic Modal Logic S5: New Results. J. Log. Comput. 15(5): 787-813 (2005)
- 2004
- [j3]Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola: Applications of Intuitionistic Logic in Answer Set Programming. TPLP 4(3): 325-354 (2004)
- [c4]Mauricio Osorio, Verónica Borja Macías, José Arrazola: Three Valued Logic of Lukasiewicz for Modeling Semantics of Logic Programs. IBERAMIA 2004: 343-352
- [c3]Mauricio Osorio, Verónica Borja Macías, José Arrazola: Closing the Gap between the Stable Semantics and Extensions of WFS. MICAI 2004: 202-211
- 2003
- [i1]Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola: Applications of Intuitionistic Logic in Answer Set Programming. CoRR cs.LO/0305046 (2003)
- 2002
- [j2]Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola: A logical approach to A-Prolog. Electr. Notes Theor. Comput. Sci. 67: 284-295 (2002)
- [c2]Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola: Debugging in A-Prolog: A Logical Approach. ICLP 2002: 482-483
- 2001
- [c1]Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola: Equivalence in Answer Set Programming. LOPSTR 2001: 57-75
1990 – 1999
- 1999
- [j1]José Arrazola, Jürgen Dix, Mauricio Osorio: Confluent Rewriting systems in Non-Monotonic Reasoning. Computación y Sistemas 2(2-3): 104-123 (1999)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:16 CEST by the dblp team