| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Pedro Bañuelos Sánchez, Roberto Rosas-Romero, Mauricio Javier Osorio Galindo (eds.) |
22nd International Conference on Electrical Communications and Computers, CONIELECOMP 2012, Cholula, Puebla, Mexico, February 27-29, 2012  |
CONIELECOMP  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Roberto Rosas-Romero, Mauricio Javier Osorio Galindo, Pedro Bañuelos Sánchez |
Foreword. |
CONIELECOMP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Carlos Nieves, Mauricio Osorio, Claudia Zepeda |
A Schema for Generating Relevant Logic Programming Semantics and its Applications in Argumentation Theory. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Osorio, Victor W. Marek |
Preface. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés |
Semantics for Possibilistic Disjunctive Programs |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Osorio, José Luis Carballido, Claudia Zepeda, Zenaida Cruz |
Characterization of Argumentation Semantics in Terms of the MM r Semantics. |
MICAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés |
Extending the Grounded Semantics by Logic Programming Semantics. |
CCIA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Osorio, José Luis Carballido, Claudia Zepeda |
An Application of Clasp in the Study of Logics. |
LPNMR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudia Zepeda, José Luis Carballido, J. Manuel Amezcua, Oscar De Leon, Javier A. Martinez, Mauricio Osorio |
Modeling production of resources using Answer Set Planning. |
CONIELECOMP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Javier Osorio Galindo, Claudia Zepeda Cortés |
Guest Editorial: Fifth Latin American Workshop on Non-Monotonic Reasoning 2009, (LANMR'09). |
Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial |
2010 |
DBLP BibTeX RDF |
|
| 1 | José Luis Carballido, Mauricio Osorio, José Arrazola |
Equivalence for the G'3-stable models semantics. |
J. Applied Logic |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudia Zepeda, José Luis Carballido, Mario Rossainz, Mauricio Osorio |
Updates Based on ASP. |
MICAI (Special Sessions) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar Estrada, José Arrazola, Mauricio Osorio |
A Possibilistic Intuitionistic Logic. |
MICAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Confalonieri, Juan Carlos Nieves, Mauricio Osorio, Javier Vázquez-Salceda |
Possibilistic Semantics for Logic Programs with Ordered Disjunction. |
FoIKS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Osorio, Juan Carlos Nieves, Ignasi Gómez-Sebastià |
CF2-extensions as Answer-set Models. |
COMMA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | José Luis Carballido, Juan Carlos Nieves, Mauricio Osorio |
Inferring Preferred Extensions by Pstable Semantics. |
Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial |
2009 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Osorio, Claudia Zepeda |
Guest Editorial: Workshops by the Logic and Computation Mexican Group. |
Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial |
2009 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Osorio, Ivan Olmos |
Preface. |
J. Algorithms |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Carlos Nieves, Mauricio Osorio, Claudia Zepeda |
Expressing Extension-Based Semantics Based on Stratified Minimal Models. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
extension-based argumentation semantics and logic programming, Non-monotonic reasoning |
| 1 | Mauricio Osorio, Juan Carlos Nieves |
Possibilistic Well-Founded Semantics. |
MICAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Osorio, Simone Pascucci |
The Logical Consequence Role in LPNMR: A Parameterized Computation Approach. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Osorio, Claudia Zepeda, Hilda Castillo |
A Formal Design Model for Mechatronic Systems. |
CONIELECOMP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Javier Osorio Galindo, José R. Arrazola Ramírez, José Luis Carballido |
Logical Weak Completions of Paraconsistent Logics. |
J. Log. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés |
Preferred extensions as stable models |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio |
Preferred extensions as stable models. |
TPLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio |
Possibilistic-Based Argumentation: An Answer Set Programming Approach. |
ENC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando Zacarías Flores, Mauricio Javier Osorio Galindo, Edgar Fernandez Plascencia |
Updates Under Pstable. |
Engineering Letters |
2007 |
DBLP BibTeX RDF |
|
| 1 | Magdalena Ortiz, Mauricio Osorio |
Strong Negation and Equivalence in the Safe Belief Semantics. |
J. Log. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Osorio, Víctor Cuevas |
Updates in answer set programming: An approach based on basic structural properties. |
TPLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | José Arrazola, Pilar Pozos Parra, Mauricio Osorio, Claudia Zepeda (eds.) |
Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the LA-NMR07 Workshop, Benemérita Universidad Autónoma de Puebla, Puebla, Pue., México, 17th - 19th September 2007 |
LA-NMR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Juan Carlos Nieves, Mauricio Osorio |
Inferring preferred extensions by Pstable semantics. |
LA-NMR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Osorio |
GLukG logic and its application for non-monotonic reasoning. |
LA-NMR |
2007 |
DBLP BibTeX RDF |
|
| 1 | José Luis Carballido, José Arrazola, Mauricio Osorio |
Equivalence for the G3'-stable models semantics. |
LA-NMR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Juan Carlos Nieves, Mauricio Osorio |
Generating maximal models using the stable model semantics. |
LA-NMR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Osorio, Juan Carlos Nieves |
PStable Semantics for Possibilistic Logic Programs. |
MICAI |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Osorio, Claudia Zepeda |
Update Sequences Based on Minimal Generalized Pstable Models. |
MICAI |
2007 |
DBLP DOI BibTeX RDF |
Update sequences, Logic Programming |
| 1 | Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés, Francisco Caballero, Antonio López-Navidad |
Reasoning about actions under uncertainty: A possibilistic approach. |
CCIA |
2007 |
DBLP BibTeX RDF |
|
| 1 | Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés |
Semantics for Possibilistic Disjunctive Programs. |
LPNMR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Osorio, Juan Antonio Navarro Pérez, José R. Arrazola Ramírez, Verónica Borja Macías |
Logics with Common Weak Completions. |
J. Log. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Osorio, Víctor Cuevas |
Updates in Answer Set Programming: An Approach Based on Basic Structural Properties |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio |
Supporting decision making in organ transplanting using argumentation theory. |
LA-NMR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Osorio, Claudia Zepeda |
Preferences using Answer Sets. |
LA-NMR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Osorio, Claudia Zepeda, Pilar Pozos Parra, Guillermo De Ita Luna (eds.) |
Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the LA-NMR06 Workshop, Facultad de Ingeniería de la Universidad Auónoma de San Luis Potí, San Luis Potosí, México, September 18, 2006 |
LA-NMR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Osorio, José R. Arrazola Ramírez, José Luis Carballido, Oscar Estrada |
An Axiomatization of G'3. |
LoLaCOM |
2006 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Osorio, Claudia Zepeda |
Answer Set General Theories and Preferences. |
MICAI |
2006 |
DBLP DOI BibTeX RDF |
Logic Programming, Preferences, Answer Set Programming |
| 1 | Mauricio Osorio, José R. Arrazola Ramírez, José Luis Carballido, Oscar Estrada |
Programas Lógicos Disjunctivos y la Demostrabilidad de Atomos en Cw. |
LoLaCOM |
2006 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Osorio, Alejandra López |
Expressing the Stable Semantics in Terms of the Pstable Semantics. |
LoLaCOM |
2006 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Osorio, Claudia Zepeda |
Minimal Generalized Answer-Sets and their Applications. |
LoLaCOM |
2006 |
DBLP BibTeX RDF |
|
| 1 | Rogelio Dávila, Mauricio Osorio, Claudia Zepeda (eds.) |
Proceedings of the LoLaCOM06 Workshop, Instituto Tecnológico de Apizaco, Apizaco, Tlaxcala, México, 13th - 14th November 2006 |
LoLaCOM |
2006 |
DBLP BibTeX RDF |
|
| 1 | Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio, Ivan Olmos, Jesus A. Gonzalez |
Defining new argumentation-based semantics by minimal models. |
ENC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Olmos, Jesus A. Gonzalez, Mauricio Osorio |
Inexact Graph Matching: A Case of Study. |
FLAIRS Conference |
2006 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Javier Osorio Galindo, Juan Antonio Navarro Pérez, José R. Arrazola Ramírez, Verónica Borja Macías |
Ground Nonmonotonic Modal Logic S5: New Results. |
J. Log. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Rocío Santillán Rodríguez, Carolina Yolanda Castañeda Roldán, Javier Garcés Eisele, Ma. del Pilar Gómez Gil, Mauricio Javier Osorio Galindo |
Algorithms for the Typing of Related DNA Sequences. |
CONIELECOMP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola |
Safe beliefs for propositional theories. |
Ann. Pure Appl. Logic |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerardo Ayala, Magdalena Ortiz, Mauricio Osorio |
Application of ASP for Agent Modelling in CSCL Environments. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Osorio, Claudia Zepeda, Juan Carlos Nieves, Ulises Cortés |
Inferring acceptable arguments with Answer Set Programming. |
ENC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerardo Ayala, Magdalena Ortiz, Mauricio Osorio |
Agent Modelling for CSCL Environments using Answer Sets Programming. |
ENC |
2005 |
DBLP DOI BibTeX RDF |
agents, computational models, intelligent systems, constructionism |
| 1 | Ivan Olmos, Jesus A. Gonzalez, Mauricio Osorio |
Mining Common Patterns on Graphs. |
CIS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudia Zepeda, Mauricio Osorio, Juan Carlos Nieves, Christine Solnon, David Sol |
Applications of Preferences using Answer Set Programming. |
Answer Set Programming |
2005 |
DBLP BibTeX RDF |
|
| 1 | Magdalena Ortiz, Mauricio Osorio |
Nelson's Strong Negation, Safe Beliefs and the Answer Set Semantics. |
Answer Set Programming |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ivan Olmos, Jesus A. Gonzalez, Mauricio Osorio |
Subgraph Isomorphism Detection Using a Code Based Representation. |
FLAIRS Conference |
2005 |
DBLP BibTeX RDF |
|
| 1 | Claudia Zepeda, Mauricio Osorio, David Sol |
Modeling Evacuation Planning Using A-Prolog. |
CONIELECOMP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Garcés Eisele, Carolina Yolanda Castañeda Roldán, Mauricio Javier Osorio Galindo, Ma. del Pilar Gómez Gil |
Usefulness of Solution Algorithms of the Traveling Salesman Problem in the Typing of Biological Sequences in a Clinical Laboratory Setting. |
CONIELECOMP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola |
Applications of Intuitionistic Logic in Answer Set Programming. |
TPLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Osorio, Alessandro Provetti (eds.) |
Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the 1st Intl. LA-NMR04 Workshop, Antiguo Colegio de San Ildefonso, Mexico City, D.F , Mexico, April 26th 2004 |
LA-NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Osorio, Verónica Borja Macías, José Arrazola |
Closing the Gap between the Stable Semantics and Extensions of WFS. |
MICAI |
2004 |
DBLP DOI BibTeX RDF |
Stable semantics, FOUR, Modal logics, WFS |
| 1 | Mauricio Osorio, Juan Antonio Navarro Pérez |
Answer Set Programming and S4. |
IBERAMIA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Osorio, Verónica Borja Macías, José Arrazola |
Three Valued Logic of Lukasiewicz for Modeling Semantics of Logic Programs. |
IBERAMIA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Osorio, Fernando Zacarias |
On Updates of Logic Programs: A Properties-Based Approach. |
FoIKS |
2004 |
DBLP DOI BibTeX RDF |
Nelson logic, Update programs, AGM postulates, Answer set programming, Properties, Strong negation |
| 1 | Juan Carlos Acosta Guadarrama, Mauricio Javier Osorio Galindo |
Towards Modelling an Intelligent Calendar Agent with LUPS. |
Applied Informatics |
2003 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola |
Applications of Intuitionistic Logic in Answer Set Programming |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Magdalena Ortiz, Gerardo Ayala, Mauricio Osorio |
Formalizing the Learner Model for CSCL Environments. |
ENC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Osorio, Enrique Corona |
The A-Pol System. |
Answer Set Programming |
2003 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Osorio, Claudia Zepeda |
Towards the use of Semantics Contents in ASP for planning and diagnistic in GIS. |
Answer Set Programming |
2003 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Osorio, Fernando Zacarias |
New properties on the update operator\oplus. |
Answer Set Programming |
2003 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola |
A logical approach to A-Prolog. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola |
Debugging in A-Prolog: A Logical Approach. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dix, Mauricio Osorio, Claudia Zepeda |
A general theory of confluent rewriting systems for logic programming and its applications. |
Ann. Pure Appl. Logic |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Osorio, Juan Carlos Nieves, Chris Giannella |
Useful Transformations in Answer set programming. |
Answer Set Programming |
2001 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Osorio, Juan Carlos Nieves |
Stratified Partial-Order Logic Programming. |
Canadian Conference on AI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola |
Equivalence in Answer Set Programming. |
LOPSTR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Osorio, Juan Carlos Nieves, Fernando Zacarias, Erika Saucedo |
Knowledge Representation Using High-Level Non-monotonic Reasoning. |
MICAI |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Osorio, Fernando Zacarias |
High-Level Logic Programming. |
FoIKS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Osorio, Bharat Jayaraman, David A. Plaisted |
Theory of Partial-Order Programming. |
Sci. Comput. Program. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | José Arrazola, Jürgen Dix, Mauricio Osorio |
Confluent Rewriting systems in Non-Monotonic Reasoning. |
Computación y Sistemas |
1999 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Osorio, Bharat Jayaraman |
Aggregation and Negation-As-Failure. |
New Generation Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Osorio, Bharat Jayaraman, Juan Carlos Nieves |
Declarative Pruning in a Functional Query Language. |
ICLP |
1999 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Osorio, Bharat Jayaraman |
Integrating the Completion and the Well Founded Semantics. |
IBERAMIA |
1998 |
DBLP DOI BibTeX RDF |
Stable Semantics, Clark's Completion, Normal Programs, Knowledge Representation, Logic Programming, Non-monotonic Reasoning, Well Founded Semantics |
| 1 | Mauricio Osorio |
Semantics of Partial-Order Programs. |
JELIA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dix, Mauricio Osorio |
On Well-Behaved Semantics Suitable for Aggregation. |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Osorio, Bharat Jayaraman |
Aggregation and Well-Founded Semantics. |
NMELP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Bharat Jayaraman, Mauricio Osorio, Kyonghee Moon |
Partial Order Programming (Revisited). |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Osorio, Bharat Jayaraman |
Subset Assertions and Negation As Failure. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")