Universidad Tecnológica de la Mixteca  
     
 
 
 

VERÓNICA BORJAS MACÍAS

PROFESOR - INVESTIGADOR

Grado académico

  • Maestría en Ciencias Matemáticas
  • Licenciatura en Matemáticas

Línea de investigación actual

  • Lógicas no Clásicas
  • Semánticas para Programas Lógicos
  • Fusión de Creencias

Últimas publicaciones

  • 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.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 
   
 
 
 
Sistema de Universidades Estatales de Oaxaca
 
   
     
 
Carretera a Acatlima Km. 2.5 Huajuapan de León, Oax., México C.P. 69000