Osorio Mauricio
TitleCited byYear
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
822006
Equivalence in answer set programming
M Osorio, JA Navarro, J Arrazola
International Workshop on Logic-Based Program Synthesis and Transformation …, 2001
782001
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
712004
Preferred extensions as stable models
JC Nieves, U CortÉs, M Osorio
Theory and Practice of Logic Programming 8 (4), 527-543, 2008
662008
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
492007
Logical weak completions of paraconsistent logics
MO Galindo, JRA Ramírez, JL Carballido
Journal of Logic and Computation 18 (6), 913-940, 2008
452008
Semantics for possibilistic disjunctive programs
JC Nieves, M Osorio, U Cortés
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2007
45*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
452001
Inferring preferred extensions by pstable semantics
JL Carballido, JC Nieves, M Osorio
Inteligencia Artificial. Revista Iberoamericana de Inteligencia Artificial …, 2009
392009
Brief study of G'3 logic
M Osorio Galindo, JL Carballido Carranza
Journal of Applied Non-Classical Logics 18 (4), 475-499, 2008
352008
Inferring acceptable arguments with answer set programming
M Osorio, C Zepeda
Sixth Mexican International Conference on Computer Science (ENC'05), 198-205, 2005
312005
Safe beliefs for propositional theories
M Osorio, JAN Pérez, J Arrazola
Annals of Pure and Applied Logic 134 (1), 63-82, 2005
312005
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
292005
Updates in Answer Set Programming based on structural properties
F Zacarıas, M Osorio, JC Acosta Guadarrama, J Dix
Proc. COMMONSENSE, 213-219, 2005
252005
A logical approach to A-Prolog
M Osorio, JA Navarro, J Arrazola
Electronic notes in theoretical computer science 67, 284-295, 2002
242002
Partial order programming (revisited)
B Jayaraman, M Osorio, K Moon
International Conference on Algebraic Methodology and Software Technology …, 1995
241995
Applications of Preferences using Answer Set Programming.
C Zepeda, M Osorio, JC Nieves, C Solnon, D Sol
Answer Set Programming, 2005
232005
Pstable semantics for possibilistic logic programs
M Osorio, JC Nieves
Mexican International Conference on Artificial Intelligence, 294-304, 2007
202007
Aggregation and negation-as-failure
M Osorio, B Jayaraman
New generation computing 17 (3), 255, 1999
201999
Theory of partial-order programming
M Osorio, B Jayaraman, DA Plaisted
Science of Computer Programming 34 (3), 207-238, 1999
201999
The system can't perform the operation now. Try again later.
Articles 1–20