dblp.uni-trier.dewww.uni-trier.de

Verónica Borja Macías Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1José Arrazola [1] [2]
2Mauricio Osorio (Mauricio Javier Osorio Galindo) [1] [2] [3] [4]
3Pilar Pozos Parra [5] [6] [7]
4Juan Antonio Navarro Pérez [3] [4]
5José R. Arrazola Ramírez [3] [4]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)