| 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 | 91 | 2006 |
| Equivalence in answer set programming M Osorio, JA Navarro, J Arrazola Logic Based Program Synthesis and Transformation: 11th International …, 2002 | 91 | 2002 |
| 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 | 73 | 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 | 54 | 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 |
| Brief study of G'3 logic M Osorio Galindo, JL Carballido Carranza Journal of Applied Non-Classical Logics 18 (4), 475-499, 2008 | 49 | 2008 |
| Semantics for possibilistic disjunctive programs JC Nieves, M Osorio, U Cortés LPNMR 4483, 315-320, 2007 | 47* | 2007 |
| 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 | 47 | 2001 |
| Inferring preferred extensions by pstable semantics M Osorio, JL Carballido, JC Nieves Inteligencia Artificial. Revista Iberoamericana de Inteligencia Artificial …, 2009 | 45 | 2009 |
| Inferring acceptable arguments with answer set programming M Osorio, C Zepeda Sixth Mexican International Conference on Computer Science (ENC'05), 198-205, 2005 | 35 | 2005 |
| Safe beliefs for propositional theories M Osorio, JAN Pérez, J Arrazola Annals of Pure and Applied Logic 134 (1), 63-82, 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 | 31 | 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 | 28 | 2005 |
| Pstable semantics for possibilistic logic programs M Osorio, JC Nieves MICAI 2007: Advances in Artificial Intelligence: 6th Mexican International …, 2007 | 26 | 2007 |
| Defining new argumentation-based semantics by minimal models JC Nieves, U Cortés, M Osorio, I Olmos, JA Gonzalez 2006 Seventh Mexican International Conference on Computer Science, 210-220, 2006 | 25 | 2006 |
| 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 | 25 | 2005 |
| A logical approach to A-Prolog M Osorio, JA Navarro, J Arrazola Electronic notes in theoretical computer science 67, 284-295, 2002 | 25 | 2002 |
| 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 | 24 | 2011 |
| Theory of partial-order programming M Osorio, B Jayaraman, DA Plaisted Science of Computer Programming 34 (3), 207-238, 1999 | 24 | 1999 |
Juan Carlos NievesDepartment of Computing Science, Umeå University, SwedenVerified email at cs.umu.se
