Verónica Borja Macías

According to our database, Verónica Borja Macías authored at least 19 papers between 2004 and 2023.

Collaborative distances:

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

2023

Genuine paracomplete logics.

Verónica Borja Macías, Marcelo E. Coniglio, Alejandro Hernández-Tello

Log. J. IGPL, September, 2023

2021

Axiomatisations of the Genuine Three-Valued Paraconsistent Logics $\mathbf {L3A_G}$ and $\mathbf {L3B_G}$.

Alejandro Hernández-Tello, Miguel Pérez-Gaspar, Verónica Borja Macías

Logica Universalis, 2021

On the Paraconsistent Logic CG′3.

Miguel Pérez-Gaspar, Verónica Borja Macías, Everardo Bárcenas

Computación y Sistemas, 2021

2019

Paracomplete Logics Dual to the Genuine Paraconsistent Logics: The Three-valued Case.

Alejandro Hernández-Tello, Verónica Borja Macías, Marcelo E. Coniglio

Proceedings of the Selected Papers of the Eleventh and Twelfth Latin American Workshop on Logic/Languages, 2019

Paracomplete logics which are dual to the paraconsistent logics <i>L3A</i> and <i>L3B</i>.

Alejandro Hernández-Tello, Verónica Borja Macías, Marcelo E. Coniglio

Proceedings of the Twelfth Latin American Workshop on Logic/Languages, 2019

2018

Implication and biconditional in some three-valued logics.

Verónica Borja Macías, Alejandro Hernández-Tello

Proceedings of the Eleventh Latin American Workshop on Logic/Languages, 2018

2016

Revisiting da Costa logic.

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

J. Appl. Log., 2016

Kripke-type Semantics for CG'₃.

Verónica Borja Macías, Miguel Pérez-Gaspar

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

Kripke-type semantics for G'₃ and CG'₃.

Verónica Borja Macías, Miguel Pérez-Gaspar

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

2009

Implementing PS-Merge Operator.

Verónica Borja Macías, Pilar Pozos Parra

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

2008

Belief Merging without Distance Measures.

Maria del Pilar Pozos Parra, Verónica Borja Macías

Proceedings of the 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 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

Partial Satisfiability-Based Merging.

Pilar Pozos Parra, Verónica Borja Macías

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

Model-based belief merging without distance measures.

Verónica Borja Macías, Pilar Pozos Parra

Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 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

Belief Merging using Partial Satisfactibility: cases studies.

Pilar Pozos Parra, Verónica Borja Macías

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

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