Follow
Osorio Mauricio
Title
Cited by
Cited by
Year
Equivalence in answer set programming
M Osorio, JA Navarro, J Arrazola
Logic Based Program Synthesis and Transformation: 11th International …, 2002
942002
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
922006
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
802004
Preferred extensions as stable models
JC Nieves, U Cortés, M Osorio
Theory and Practice of Logic Programming 8 (4), 527-543, 2008
772008
Brief study of G'3 logic
M Osorio Galindo, JL Carballido Carranza
Journal of Applied Non-Classical Logics 18 (4), 475-499, 2008
552008
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
542007
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
512001
Logical weak completions of paraconsistent logics
MO Galindo, JRA Ramírez, JL Carballido
Journal of Logic and Computation 18 (6), 913-940, 2008
502008
Semantics for possibilistic disjunctive programs
JC Nieves, M Osorio, U Cortés
Logic Programming and Nonmonotonic Reasoning: 9th International Conference …, 2007
47*2007
Inferring preferred extensions by pstable semantics
JL Carballido, JC Nieves, M Osorio
Inteligencia Artificial. Revista Iberoamericana de Inteligencia Artificial …, 2009
462009
Safe beliefs for propositional theories
M Osorio, JAN Pérez, J Arrazola
Annals of Pure and Applied Logic 134 (1), 63-82, 2005
362005
Inferring acceptable arguments with answer set programming
M Osorio, C Zepeda
Sixth Mexican International Conference on Computer Science (ENC'05), 198-205, 2005
342005
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
322005
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
292005
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
282011
Pstable semantics for possibilistic logic programs
M Osorio, JC Nieves
Mexican International Conference on Artificial Intelligence, 294-304, 2007
262007
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
262005
A logical approach to A-Prolog
M Osorio, JA Navarro, J Arrazola
Electronic notes in theoretical computer science 67, 284-295, 2002
262002
Partial order programming (revisited)
B Jayaraman, M Osorio, K Moon
Algebraic Methodology and Software Technology: 4th International Conference …, 1995
261995
Theory of partial-order programming
M Osorio, B Jayaraman, DA Plaisted
Science of Computer Programming 34 (3), 207-238, 1999
251999
The system can't perform the operation now. Try again later.
Articles 1–20