Osorio Mauricio
Title
Cited by
Cited by
Year
Equivalence in answer set programming
M Osorio, JA Navarro, J Arrazola
International Workshop on Logic-Based Program Synthesis and Transformation …, 2001
822001
Logics with common weak completions.
M Osorio, JAN Pérez, JRA Ramírez, VB Macías
J. Log. Comput. 16 (6), 867-890, 2006
792006
Applications of intuitionistic logic in answer set programming
M Osorio, JA Navarro, J Arrazola
arXiv preprint cs/0305046, 2003
712003
Preferred extensions as stable models
JC Nieves, U CortÉs, M Osorio
Theory and Practice of Logic Programming 8 (4), 527-543, 2008
672008
Updates in answer set programming: An approach based on basic structural properties
M Osorio, V Cuevas
arXiv preprint cs/0609167, 2006
502006
Logical weak completions of paraconsistent logics
MO Galindo, JRA Ramírez, JL Carballido
Journal of Logic and Computation 18 (6), 913-940, 2008
462008
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
462001
Semantics for possibilistic disjunctive programs
JC Nieves, M Osorio, U Cortés
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2007
45*2007
Inferring preferred extensions by pstable semantics
JL Carballido, JC Nieves, M Osorio
Inteligencia Artificial. Revista Iberoamericana de Inteligencia Artificial …, 2009
412009
Brief study of G'3 logic
M Osorio Galindo, JL Carballido Carranza
Journal of Applied Non-Classical Logics 18 (4), 475-499, 2008
382008
Inferring acceptable arguments with answer set programming
M Osorio, C Zepeda
Sixth Mexican International Conference on Computer Science (ENC'05), 198-205, 2005
332005
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
302005
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-Cortes, M Osorio, JC Nieves, C Solnon, D Sol
232005
Pstable semantics for possibilistic logic programs
M Osorio, JC Nieves
Mexican International Conference on Artificial Intelligence, 294-304, 2007
222007
Aggregation and negation-as-failure
M Osorio, B Jayaraman
New generation computing 17 (3), 255, 1999
221999
Theory of partial-order programming
M Osorio, B Jayaraman, DA Plaisted
Science of Computer Programming 34 (3), 207-238, 1999
211999
The system can't perform the operation now. Try again later.
Articles 1–20