UTM

Belief Merging without Distance Measures, Borja Macías Verónica
José Ramón Arrazola, Verónica Borja Macías and Eduardo Ariza. “The Pac Logic in the Properties of Cw”. Fourth Latin American Workshop on Non-Monotonic Reasoning 2008 Logic/Languages, Algorithms, Non-Monotonic Reasoning (LANMR'08) Puebla Puebla, México. Octubre 2008
Verónica Borja Macías, Pilar Pozos Parra “Belief Merging using Partial Satisfactibility: case studies”. Workshop in Logic, Language and Computation 2006 (LoLaCOM06) Instituto Tecnológico de Apizaco, Tlaxcala. Noviembre 2006.
Arrazola Ramírez, José Ramón; Borja Macías, Verónica; Navarro Pérez Juan Antonio, Osorio Galindo, Mauricio. “Logics with Common Weak Completions”. Journal of Logic and Computation. Vol. 16, No. 6 Oxford University Press. Agosto 2006 Pág. 867-890
Arrazola Ramírez, José Ramón; Borja Macías, Verónica; Navarro Pérez Juan Antonio, Osorio Galindo, Mauricio. “Ground Nonmonotonic Modal Logic S5: New Results”. Journal of Logic and Computation. Vol 15, No 5. Oxford University Press. Octubre 2005. Pág. 787-813
Arrazola Ramírez, José Ramón; Borja Macías Verónica; Osorio Galindo, Mauricio. “Three Valued Logic of Lucasiewicz for Modelling Semantics of Logic Programs” in Advances in Artificial Intelligence IBERAMIA 04 Editores: Christian Lemaître, Carlos A. Reyes y Jesús A. González. Puebla, México, Noviembre 2004. Pág. 343-352.
Arrazola Ramírez, José Ramón; Borja Macías Verónica; Osorio Galindo, Mauricio. “Closing the Gap between the Stable Semantics and Extensions of WFS” en Advances in Artificial Intelligence MICAI 04 Editores: Raúl Monroy, Gustavo Arroyo Figueroa, Luis Enrique Sucar, and Humberto Sossa. México City, México, Abril 2004. Pág. 202-211.