| 2007 |
| 7 | EE | Verónica Borja Macías,
Pilar Pozos Parra:
Model-based belief merging without distance measures.
AAMAS 2007: 154 |
| 6 | EE | Pilar Pozos Parra,
Verónica Borja Macías:
Partial Satisfiability-Based Merging.
MICAI 2007: 225-235 |
| 2006 |
| 5 | EE | Pilar Pozos Parra,
Verónica Borja Macías:
Belief Merging using Partial Satisfactibility: cases studies.
LoLaCOM 2006 |
| 4 | EE | 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) |
| 2005 |
| 3 | EE | 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 |
| 2 | EE | Mauricio Osorio,
Verónica Borja Macías,
José Arrazola:
Three Valued Logic of Lukasiewicz for Modeling Semantics of Logic Programs.
IBERAMIA 2004: 343-352 |
| 1 | EE | Mauricio Osorio,
Verónica Borja Macías,
José Arrazola:
Closing the Gap between the Stable Semantics and Extensions of WFS.
MICAI 2004: 202-211 |