| Equivalence in answer set programming M Osorio, JA Navarro, J Arrazola Logic Based Program Synthesis and Transformation: 11th International …, 2002 | 94 | 2002 |
| Logics with common weak completions MO Galindo, JAN Pérez, JRA Ramírez, VB Macías Journal of Logic and Computation 16 (6), 867-890, 2006 | 92 | 2006 |
| Applications of intuitionistic logic in answer set programming M Osorio, JA Navarro, J Arrazola Theory and Practice of Logic Programming 4 (3), 325-354, 2004 | 80 | 2004 |
| Preferred extensions as stable models JC Nieves, U Cortés, M Osorio Theory and Practice of Logic Programming 8 (4), 527-543, 2008 | 76 | 2008 |
| Brief study of G'3 logic M Osorio Galindo, JL Carballido Carranza Journal of Applied Non-Classical Logics 18 (4), 475-499, 2008 | 55 | 2008 |
| Updates in answer set programming: An approach based on basic structural properties M Osorio, V Cuevas Theory and Practice of Logic Programming 7 (4), 451-479, 2007 | 53 | 2007 |
| Logical weak completions of paraconsistent logics MO Galindo, JRA Ramírez, JL Carballido Journal of Logic and Computation 18 (6), 913-940, 2008 | 50 | 2008 |
| A general theory of confluent rewriting systems for logic programming and its applications J Dix, M Osorio, C Zepeda Annals of Pure and Applied Logic 108 (1-3), 153-188, 2001 | 50 | 2001 |
| Inferring preferred extensions by pstable semantics JL Carballido, JC Nieves, M Osorio Inteligencia Artificial. Revista Iberoamericana de Inteligencia Artificial …, 2009 | 46 | 2009 |
| Semantics for possibilistic disjunctive programs JC Nieves, M Osorio, U Cortés Logic Programming and Nonmonotonic Reasoning: 9th International Conference …, 2007 | 46* | 2007 |
| Safe beliefs for propositional theories M Osorio, JAN Pérez, J Arrazola Annals of Pure and Applied Logic 134 (1), 63-82, 2005 | 35 | 2005 |
| Inferring acceptable arguments with answer set programming M Osorio, C Zepeda Sixth Mexican International Conference on Computer Science (ENC'05), 198-205, 2005 | 34 | 2005 |
| Ground nonmonotonic modal logic S5: New results MO Galindo, JAN Pérez, JRA Ramírez, VB Macías Journal of Logic and Computation 15 (5), 787-813, 2005 | 32 | 2005 |
| Updates in Answer Set Programming based on structural properties F Zacarıas, M Osorio, JC Acosta Guadarrama, J Dix Proc. COMMONSENSE 2005, 213-219, 2005 | 29 | 2005 |
| A schema for generating relevant logic programming semantics and its applications in argumentation theory JC Nieves, M Osorio, C Zepeda Fundamenta Informaticae 106 (2-4), 295-319, 2011 | 28 | 2011 |
| Pstable semantics for possibilistic logic programs M Osorio, JC Nieves Mexican International Conference on Artificial Intelligence, 294-304, 2007 | 26 | 2007 |
| Applications of preferences using answer set programming C Zepeda-Cortes, M Osorio, JC Nieves, C Solnon, D Sol Answer Set Programming: Advances in Theory and Implementation (ASP 2005), 2005 | 26 | 2005 |
| A logical approach to A-Prolog M Osorio, JA Navarro, J Arrazola Electronic notes in theoretical computer science 67, 284-295, 2002 | 26 | 2002 |
| Partial order programming (revisited) B Jayaraman, M Osorio, K Moon Algebraic Methodology and Software Technology: 4th International Conference …, 1995 | 26 | 1995 |
| Theory of partial-order programming M Osorio, B Jayaraman, DA Plaisted Science of Computer Programming 34 (3), 207-238, 1999 | 25 | 1999 |
Juan Carlos NievesDepartment of Computing Science, Umeå University, Sweden在 cs.umu.se 的电子邮件经过验证
