José R. Arrazola Ramírez

According to our database, José R. Arrazola Ramírez authored at least 26 papers between 1999 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2020

An axiomatic approach to CG′3 logic.

Miguel Pérez-Gaspar, Alejandro Hernández-Tello, José R. Arrazola Ramírez, Mauricio Javier Osorio Galindo

Log. J. IGPL, 2020

2017

The Pursuit of an Implication for the Logics L3A and L3B.

Alejandro Hernández-Tello, José R. Arrazola Ramírez, Mauricio Javier Osorio Galindo

Logica Universalis, 2017

23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016).

Jouko Väänänen, Ruy J. G. B. de Queiroz, Mauricio Javier Osorio Galindo, Claudia Zepeda Cortés, José R. Arrazola Ramírez

Log. J. IGPL, 2017

2016

Revisiting da Costa logic.

Mauricio Javier Osorio Galindo, Verónica Borja Macías, José R. Arrazola Ramírez

J. Appl. Log., 2016

Preface.

José R. Arrazola Ramírez, José Raymundo Marcial-Romero

Proceedings of the Selected Papers of the Tenth Latin American Workshop on Logic/Languages, 2016

2012

Possibilistic intermediate logic.

Oscar Hernán Estrada-Estrada, José R. Arrazola Ramírez, Mauricio Javier Osorio Galindo

Int. J. Adv. Intell. Paradigms, 2012

2010

Equivalence for the G'₃-stable models semantics.

José Luis Carballido, Mauricio Osorio, José Arrazola

J. Appl. Log., 2010

A Possibilistic Intuitionistic Logic.

Oscar Estrada, José Arrazola, Mauricio Osorio

Proceedings of the Advances in Artificial Intelligence, 2010

2008

Logical Weak Completions of Paraconsistent Logics.

Mauricio Javier Osorio Galindo, José R. Arrazola Ramírez, José Luis Carballido

J. Log. Comput., 2008

The Pac Logic in the properties of C(w) and C(min).

José Arrazola, Eduardo Ariza, Verónica Borja Macías

Proceedings of the fourth Latin American Workshop on Non-Monotonic Reasoning 2008 (LANMR'08) Facultad de Ciencias de la Computación de la Benemérita Universidad Autónoma de Puebla, 2008

2007

Advances in Computer Science and Artificial Intelligence.

Fernando Zacarías Flores, José R. Arrazola Ramírez, Oscar Hernán Estrada-Estrada

Eng. Lett., 2007

Equivalence for the G3'-stable models semantics.

José Luis Carballido, José Arrazola, Mauricio Osorio

Proceedings of the 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, 2007

Analysis of the paraconsistency in some logics.

Eduardo Ariza, José Arrazola

Proceedings of the 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, 2007

2006

Logics with Common Weak Completions.

Mauricio Osorio, Juan Antonio Navarro Pérez, José R. Arrazola Ramírez, Verónica Borja Macías

J. Log. Comput., 2006

Rational Agents under ASP in Games theory.

Fernando Zacarías Flores, Dionicio Zacarías, José R. Arrazola Ramírez, Rosalba Cuapa

Proceedings of the STAIRS 2006, 2006

An Axiomatization of G'3.

Mauricio Osorio, José R. Arrazola Ramírez, José Luis Carballido, Oscar Estrada

Proceedings of the LoLaCOM06 Workshop, Instituto Tecnológico de Apizaco, Apizaco, Tlaxcala, Mexico, 13th, 2006

Programas Lógicos Disjunctivos y la Demostrabilidad de Atomos en Cw.

Mauricio Osorio, José R. Arrazola Ramírez, José Luis Carballido, Oscar Estrada

Proceedings of the LoLaCOM06 Workshop, Instituto Tecnológico de Apizaco, Apizaco, Tlaxcala, Mexico, 13th, 2006

2005

Ground Nonmonotonic Modal Logic S5: New Results.

Mauricio Javier Osorio Galindo, Juan Antonio Navarro Pérez, José R. Arrazola Ramírez, Verónica Borja Macías

J. Log. Comput., 2005

Safe beliefs for propositional theories.

Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola

Ann. Pure Appl. Log., 2005

2004

Applications of Intuitionistic Logic in Answer Set Programming.

Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola

Theory Pract. Log. Program., 2004

Closing the Gap between the Stable Semantics and Extensions of WFS.

Mauricio Osorio, Verónica Borja Macías, José Arrazola

Proceedings of the MICAI 2004: Advances in Artificial Intelligence, 2004

Three Valued Logic of Lukasiewicz for Modeling Semantics of Logic Programs.

Mauricio Osorio, Verónica Borja Macías, José Arrazola

Proceedings of the Advances in Artificial Intelligence, 2004

2002

A logical approach to A-Prolog.

Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola

Proceedings of the 9th Workhop on Logic, Language, Information and Computation, 2002

Debugging in A-Prolog: A Logical Approach.

Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola

Proceedings of the Logic Programming, 18th International Conference, 2002

2001

Equivalence in Answer Set Programming.

Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola

Proceedings of the Logic Based Program Synthesis and Transformation, 2001

1999

Confluent Rewriting systems in Non-Monotonic Reasoning.

José Arrazola, Jürgen Dix, Mauricio Osorio

Computación y Sistemas, 1999