Search the dblp DataBase

Publications of Author

1. Claudia Zepeda, Mauricio Osorio, Juan Carlos Nieves, Christine Solnon, David Sol
   Applications of Preferences using Answer Set Programming. [Citation Graph (0, 0)][DBLP]
   Answer Set Programming, 2005, pp:- [Conf]
   
2. Mauricio Osorio, Claudia Zepeda
   Towards the use of Semantics Contents in ASP for planning and diagnistic in GIS. [Citation Graph (0, 0)][DBLP]
   Answer Set Programming, 2003, pp:- [Conf]
   
3. Claudia Zepeda, Mauricio Osorio, David Sol
   Modeling Evacuation Planning Using A-Prolog. [Citation Graph (0, 0)][DBLP]
   CONIELECOMP, 2005, pp:292-297 [Conf]
   
4. Mauricio Osorio, Claudia Zepeda, Juan Carlos Nieves, Ulises Cortés
   Inferring acceptable arguments with Answer Set Programming. [Citation Graph (0, 0)][DBLP]
   ENC, 2005, pp:198-205 [Conf]
   
5. Claudia Zepeda, Christine Solnon, David Sol
   Planning Operation: An Extensio'n of a Geographical Information System. [Citation Graph (0, 0)][DBLP]
   LA-NMR, 2004, pp:- [Conf]
   
6. Mauricio Osorio, Claudia Zepeda
   Answer Set General Theories and Preferences. [Citation Graph (0, 0)][DBLP]
   MICAI, 2006, pp:59-69 [Conf]
   
7. Jürgen Dix, Mauricio Osorio, Claudia Zepeda
   A general theory of confluent rewriting systems for logic programming and its applications. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2001, v:108, n:1-3, pp:153-188 [Journal]
   
8. Mauricio Osorio, Claudia Zepeda
   Preferences using Answer Sets. [Citation Graph (0, 0)][DBLP]
   LA-NMR, 2006, pp:- [Conf]
   
9. Mauricio Osorio, Claudia Zepeda
   Update Sequences Based on Minimal Generalized Pstable Models. [Citation Graph (0, 0)][DBLP]
   MICAI, 2007, pp:283-293 [Conf]
   
10. 
    A Formal Design Model for Mechatronic Systems. [Citation Graph (, )][DBLP]
    
    
11. 
    Computing of p-Stable Models Based on Semi-Negative Normal Programs with Constraints. [Citation Graph (, )][DBLP]
    
    
12. 
    Minimal Generalized Answer-Sets and their Applications. [Citation Graph (, )][DBLP]
    
    
13. 
    Expressing Extension-Based Semantics Based on Stratified Minimal Models. [Citation Graph (, )][DBLP]
    
    
14. 
    Evacuation Planning using Answer Set Programming: An initial approach. [Citation Graph (, )][DBLP]