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 |