default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMauricio Osorio 0001
Mauricio Javier Osorio Galindo
Person information
- affiliation: Fundación Universidad de las Américas, Puebla, México
Other persons with the same name
- Mauricio Osorio 0002
![[0000-0001-5359-4816]](https://dblp.dagstuhl.de/img/orcid-mark.12x12.png "0000-0001-5359-4816")
(aka: Mauricio Andrés Osorio Lema) — Universidad Nacional de Colombia, Escuela de Matemáticas, Bogota, Colombia
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j43]Mauricio Osorio, José Luis Carballido:
A 4-Valued Logic that Extends the Paraconsistent Logic G'3. Computación y Sistemas (CyS) 27(1) (2023)- [j42]Mauricio Osorio, Aldo Figallo Orellano, Diego Huerta:
An Alternative Definition of Stable Models Via Łukasiewicz Logic. Computación y Sistemas (CyS) 27(1) (2023) - 2021
- [j41]Mauricio Osorio, Aldo Figallo Orellano, Miguel Pérez-Gaspar:
A family of genuine and non-algebraisable C-systems. J. Appl. Non Class. Logics 31(1): 56-84 (2021) - 2020
- [j40]Miguel Pérez-Gaspar, Alejandro Hernández-Tello, José R. Arrazola Ramírez, Mauricio Javier Osorio Galindo:
An axiomatic approach to CG′3 logic. Log. J. IGPL 28(6): 1218-1232 (2020) - [c101]Mauricio Javier Osorio Galindo, Claudia Zepeda, José Luis Carballido:
MyUBot: Towards an Artificial Intelligence Agent System Chat-bot for Well-being and Mental Health. AAI4H@ECAI 2020: 13-17 - [c100]Mauricio Javier Osorio Galindo, Luis Angel Montiel Moreno:
Creative Composition Problem: A Knowledge Graph Logical-Based AI Construction and Optimization Solution - Applied in Cecilia: An Architecture of a Digital Companion Artificial Intelligence (AI) Agent System Composer of Dialogue Scripts for Well-Being and Mental Health. GKR 2020: 42-71 - [e12]Mauricio Javier Osorio Galindo, José Raymundo Marcial-Romero, Claudia Zepeda Cortés, Pilar Pozos Parra:
Proceedings of the Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2019. CEUR Workshop Proceedings 2585, CEUR-WS.org 2020 [contents]
2010 – 2019
- 2019
- [j39]Jaime Díaz, José Luis Carballido, Mauricio Osorio:
Béziau's SP3A Logic and Logic Programming. Res. Comput. Sci. 148(3): 309-320 (2019) - [c99]Flavio Everardo, Mauricio Osorio:
Towards an Answer Set Programming Methodology for Constructing Programs Following a Semi-Automatic Approach - Extended and Revised version. LANMR (Selected Papers) 2019: 29-44 - [c98]Mauricio Osorio, Daniela Hernández-Grijalva, Alejandro Hernández-Tello:
Methodology to represent functions in logic BL⊃. LANMR 2019: 49-60 - [c97]Flavio Everardo, Mauricio Osorio:
Towards an answer set programming methodology for constructing programs following a semi-automatic approach. LANMR 2019: 61-72 - [c96]Mauricio Osorio, José Luis Carballido:
An extension of the stable semantics via Lukasiewicz logic. LANMR 2019: 73-83 - [c95]Mauricio Osorio, Claudia Zepeda:
Three new genuine five-valued logics. LANMR 2019: 84-96 - [c94]Mauricio Osorio, José Luis Carballido Carranza:
An Extension of the Stable Semantics via Lukasiewicz Logic. LANMR (Selected Papers) 2019: 141-155 - [c93]Mauricio Osorio, Claudia Zepeda:
Three New Genuine Five-valued Logics Intended to Model Non-trivial Concepts. LANMR (Selected Papers) 2019: 157-170 - 2018
- [j38]Juan Carlos Nieves, Mauricio Osorio:
Extending Well-Founded Semantics with Clark's Completion for Disjunctive Logic Programs. Sci. Program. 2018: 4157030:1-4157030:10 (2018) - [c92]Jaime Díaz, José Luis Carballido, Mauricio Osorio, Claudia Zepeda:
Lukasiewicz' 3-valued logic can not be expressed in terms of SP3A logic. LANMR 2018: 127-137 - [e11]Mauricio Javier Osorio Galindo, José Raymundo Marcial-Romero, Claudia Zepeda Cortés, Pilar Pozos Parra:
Proceedings of the Eleventh Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2018. CEUR Workshop Proceedings 2264, CEUR-WS.org 2018 [contents] - 2017
- [j37]Mauricio Osorio, Juan Díaz, Alejandro Santoyo:
0-1 Integer Programming for Computing Semi-Stable Semantics of Argumentation Frameworks. Computación y Sistemas 21(3) (2017) - [j36]Mauricio Osorio, José Luis Carballido, Claudia Zepeda:
Abducible Semantics and Argumentation. Fundam. Informaticae 155(3): 293-319 (2017) - [j35]Mauricio Osorio, José Abel Castellanos Joo:
Equivalence among RC-type paraconsistent logics. Log. J. IGPL 25(2): 239-252 (2017) - [j34]Jouko Väänänen, Ruy J. G. B. de Queiroz, Mauricio Javier Osorio Galindo, Claudia Zepeda Cortés, José R. Arrazola Ramírez:
23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016). Log. J. IGPL 25(2): 253-272 (2017) - [j33]Alejandro Hernández-Tello, José R. Arrazola Ramírez, Mauricio Javier Osorio Galindo:
The Pursuit of an Implication for the Logics L3A and L3B. Logica Universalis 11(4): 507-524 (2017) - [j32]Mauricio Osorio, Juan Carlos Nieves:
Range-based argumentation semantics as two-valued models. Theory Pract. Log. Program. 17(1): 75-90 (2017) - 2016
- [j31]Mauricio Javier Osorio Galindo, Verónica Borja Macías, José R. Arrazola Ramírez:
Revisiting da Costa logic. J. Appl. Log. 16: 111-127 (2016) - [j30]Juan Carlos Nieves, Mauricio Osorio:
Ideal extensions as logical programming models. J. Log. Comput. 26(5): 1361-1393 (2016) - [c91]Mauricio Osorio, José Luis Carballido, Claudia Zepeda:
Characterizing stage argumentation semantics based on stable abducible semantics. LANMR 2016: 41-49 - [c90]Mauricio Osorio, José Luis Carballido, Claudia Zepeda:
Defining Stage Argumentation Semantics in Terms of an Abducible Semantics. LANMR (Selected Papers) 2016: 59-71 - [e10]Mauricio Javier Osorio Galindo, José Raymundo Marcial-Romero, Claudia Zepeda Cortés, Iván Olmos Pineda:
Proceedings of the Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, LANMR 2016, Puebla, Mexico, August 15, 2016. CEUR Workshop Proceedings 1659, CEUR-WS.org 2016 [contents] - [i5]Mauricio Osorio, Juan Carlos Nieves:
Range-based argumentation semantics as 2-valued models. CoRR abs/1602.08903 (2016) - 2015
- [j29]Mauricio Osorio, José Luis Carballido, Claudia Zepeda, José Abel Castellanos:
Weakening and Extending ℤ. Logica Universalis 9(3): 383-409 (2015) - [c89]Mauricio Osorio, Juan Díaz, Alejandro Santoyo:
Computing stable semantics of AF by 0-1 integer programming. CONIELECOMP 2015: 204-211 - 2014
- [j28]Mauricio Osorio, José Luis Carballido, Claudia Zepeda:
Revisiting ℤ. Notre Dame J. Formal Log. 55(1): 129-155 (2014) - [c88]Mauricio Osorio, José Luis Carballido, Claudia Zepeda:
Revisiting C1. LANMR 2014: 1-8 - [c87]Mauricio Osorio, Juan Díaz, Alejandro Santoyo:
Computing Semi-Stable Semantics of AF by 0-1 Integer Programming. LANMR 2014: 1-10 - [c86]Mauricio Osorio, José Abel Castellanos Joo:
A Single Proof of Classical Behaviour in Da Costa's Cn Systems. LANMR 2014: 1-7 - [c85]Juan Carlos Acosta Guadarrama, Rogelio Dávila-Pérez, Mauricio Osorio, Victor Hugo Zaldivar:
Modeling Natural Language Metaphors with an Answer Set Programming Framework. MICAI (1) 2014: 28-36 - [c84]Mauricio Osorio, Claudia Zepeda, José Luis Carballido:
Preferences for Argumentation Semantics. MICAI (1) 2014: 407-418 - [c83]Mauricio Osorio, Juan Díaz, Alejandro Santoyo:
Computing Preferred Semantics: Comparing Two ASP Approaches vs an Approach Based on 0-1 Integer Programming. MICAI (1) 2014: 419-430 - [c82]Mauricio Osorio, José Abel Castellanos:
A Single Proof of Classical Behaviour in da Costa's Cn Systems. LANMR (Selected Papers) 2014: 3-16 - [c81]Mauricio Osorio, José Luis Carballido, Claudia Zepeda:
On Paraconsistent Extensions of C1. LANMR (Selected Papers) 2014: 47-60 - 2013
- [j27]Mauricio Osorio, Alejandro Santoyo:
Preferred Extensions as Minimal Models of Clark's Completion Semantics. Res. Comput. Sci. 68: 57-68 (2013) - [j26]Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés:
Semantics for Possibilistic Disjunctive Programs. Theory Pract. Log. Program. 13(1): 33-70 (2013) - [c80]Mauricio Osorio, José Luis Carballido, Claudia Zepeda:
N'5 as an Extension of G'3. AMW 2013 - [c79]Mauricio Osorio, Juan Carlos Nieves, Alejandro Santoyo:
Complete Extensions as Clark's Completion Semantics. ENC 2013: 81-88 - [c78]Mauricio Osorio, José Luis Carballido, Claudia Zepeda:
Some Properties of Logic N-GLukG. MICAI (1) 2013: 1-11 - 2012
- [j25]Roberto Confalonieri, Juan Carlos Nieves, Mauricio Osorio, Javier Vázquez-Salceda:
Dealing with explicit preferences and uncertainty in answer set programming. Ann. Math. Artif. Intell. 65(2-3): 159-198 (2012) - [j24]Oscar Hernán Estrada-Estrada, José R. Arrazola Ramírez, Mauricio Javier Osorio Galindo:
Possibilistic intermediate logic. Int. J. Adv. Intell. Paradigms 4(2): 149-167 (2012) - [c77]Roberto Rosas-Romero, Mauricio Javier Osorio Galindo, Pedro Bañuelos Sánchez:
Foreword. CONIELECOMP 2012 - [c76]Mauricio Osorio, Alejandro Santoyo:
Decision Analysis with Logic and Mathematical Programming. LA-NMR 2012: 109-116 - [c75]Juan Carlos Nieves, Mauricio Osorio, Helena Lindgren:
Managing Inconsistent Possibilistic Knowledge Bases by An Argumentation Approach. SAIS 2012: 17-23 - [e9]Pedro Bañuelos Sánchez, Roberto Rosas-Romero, Mauricio Javier Osorio Galindo:
22nd International Conference on Electrical Communications and Computers, CONIELECOMP 2012, Cholula, Puebla, Mexico, February 27-29, 2012. IEEE 2012, ISBN 978-1-4577-1326-2 [contents] - [e8]Mauricio Osorio, Claudia Zepeda, Iván Olmos, José Luis Carballido, R. Carolina Medina Ramírez:
Proceedings of the Eighth Latin American Workshop on Logic / Languages, Algorithms and New Methods of Reasoning 2012, Unidad Iztapalapa, México, D.F., September 10-11, 2012. CEUR Workshop Proceedings 911, CEUR-WS.org 2012 [contents] - 2011
- [j23]Juan Carlos Nieves, Mauricio Osorio, Claudia Zepeda:
A Schema for Generating Relevant Logic Programming Semantics and its Applications in Argumentation Theory. Fundam. Informaticae 106(2-4): 295-319 (2011) - [j22]Mauricio Osorio, Victor W. Marek:
Preface. Fundam. Informaticae 113(1) (2011) - [c74]Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés:
Extending the Grounded Semantics by Logic Programming Semantics. CCIA 2011: 169-178 - [c73]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: 244-249 - [c72]Mauricio Osorio, Juan Carlos Nieves, José Luis Carballido:
The Stable Abducible Argumentation Semantics. LA-NMR 2011: 57-68 - [c71]Mauricio Osorio, José Luis Carballido, Claudia Zepeda:
An Application of Clasp in the Study of Logics. LPNMR 2011: 278-283 - [c70]Mauricio Osorio, José Luis Carballido, Claudia Zepeda, Zenaida Cruz:
Characterization of Argumentation Semantics in Terms of the MM r Semantics. MICAI (1) 2011: 16-27 - [e7]Mauricio Osorio, Claudia Zepeda, Iván Olmos, José Luis Carballido, José Arrazola, Carolina Medina:
Proceedings of the Seventh Latin American Workshop on Non-Monotonic Reasoning, LANMR 2011, Toluca, Estado de México, México, November 7-8, 2011. CEUR Workshop Proceedings 804, CEUR-WS.org 2011 [contents] - [i4]Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés:
Semantics for Possibilistic Disjunctive Programs. CoRR abs/1106.0776 (2011) - 2010
- [j21]Mauricio Javier Osorio Galindo, Claudia Zepeda Cortés:
Guest Editorial: Fifth Latin American Workshop on Non-Monotonic Reasoning 2009, (LANMR'09). Inteligencia Artif. 14(48): 1-2 (2010) - [j20]José Luis Carballido, Mauricio Osorio, José Arrazola:
Equivalence for the G'3-stable models semantics. J. Appl. Log. 8(1): 82-96 (2010) - [c69]Mauricio Osorio, Juan Carlos Nieves, Ignasi Gómez-Sebastià:
CF2-extensions as Answer-set Models. COMMA 2010: 391-402 - [c68]Claudia Zepeda, José Raymundo Marcial-Romero, Mauricio Javier Osorio Galindo, Hilda Castillo, Daniel Quintos, Sergio Arzola:
Digital design vercation based on P-stable semantics. CONIELECOMP 2010: 212-216 - [c67]Mauricio Javier Osorio Galindo, Claudia Zepeda, José Luis Carballido, David López:
Yet another application of fuzzy logic. CONIELECOMP 2010: 217-221 - [c66]Yazmín Magallanes-Velázquez, Iván Olmos, Mauricio Javier Osorio Galindo, Luis Oscar Peredo-Cholula, Christian Sarmiento-Vera:
Motifs recognition in DNA sequences comparing the motif finding automaton algorithm against a traditional approach. CONIELECOMP 2010: 222-226 - [c65]Mauricio Javier Osorio Galindo, José Luis Carballido, Claudia Zepeda:
Expressing p-stable semantics based on stable semantics. CONIELECOMP 2010: 227-231 - [c64]Roberto Confalonieri, Juan Carlos Nieves, Mauricio Osorio, Javier Vázquez-Salceda:
Possibilistic Semantics for Logic Programs with Ordered Disjunction. FoIKS 2010: 133-152 - [c63]Claudia Zepeda, José Luis Carballido, Mario Rossainz López, Mauricio Osorio:
Updates Based on ASP. MICAI (Special Sessions) 2010: 63-66 - [c62]Oscar Estrada, José Arrazola, Mauricio Osorio:
A Possibilistic Intuitionistic Logic. MICAI (1) 2010: 362-373
2000 – 2009
- 2009
- [j19]Mauricio Osorio, Claudia Zepeda:
Guest Editorial: Workshops by the Logic and Computation Mexican Group. Inteligencia Artif. 13(41): 1-3 (2009) - [j18]José Luis Carballido, Juan Carlos Nieves, Mauricio Osorio:
Inferring Preferred Extensions by Pstable Semantics. Inteligencia Artif. 13(41): 38-53 (2009) - [j17]Mauricio Osorio, Claudia Zepeda, Juan Carlos Nieves, José Luis Carballido:
G'3-Stable Semantics and Inconsistency. Computación y Sistemas 13(1) (2009) - [j16]Mauricio Osorio, Iván Olmos:
Preface. J. Algorithms 64(1): 1-2 (2009) - [c61]Mauricio Osorio, Claudia Zepeda, Hilda Castillo:
A Formal Design Model for Mechatronic Systems. CONIELECOMP 2009: 125-129 - [c60]Juan Carlos Nieves, Mauricio Osorio:
Possibilistic Stratified Minimal Model Semantics. ENC 2009: 33-41 - [c59]Mauricio Osorio, Angel Marín George, Juan Carlos Nieves:
Computing the Stratified Minimal Models Semantic. LA-NMR 2009: 157-171 - [c58]Mauricio Osorio, Simone Pascucci:
The Logical Consequence Role in LPNMR: A Parameterized Computation Approach. LPNMR 2009: 464-469 - [c57]Mauricio Osorio, Juan Carlos Nieves:
Possibilistic Well-Founded Semantics. MICAI 2009: 15-26 - [c56]Juan Carlos Nieves, Mauricio Osorio, Claudia Zepeda:
Expressing Extension-Based Semantics Based on Stratified Minimal Models. WoLLIC 2009: 305-319 - [e6]Mauricio Osorio, Claudia Zepeda, Iván Olmos, Carolina Medina, José Arrazola:
Proceedings of the Fifth Latin American Workshop on Non-Monotonic Reasoning 2009 (LANMR'09) , Facultad de Ciencias Básicas, Ingeniería y Tecnología , Universidad Autónoma de Tlaxcala (UAT) , Apizaco, Tlaxcala, México, November 5-6, 2009. CEUR Workshop Proceedings 533, CEUR-WS.org 2009 [contents] - 2008
- [j15]Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés:
An Overview of Argumentation Semantics. Computación y Sistemas 12(1) (2008) - [j14]Mauricio Javier Osorio Galindo, José R. Arrazola Ramírez, José Luis Carballido:
Logical Weak Completions of Paraconsistent Logics. J. Log. Comput. 18(6): 913-940 (2008) - [j13]Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio:
Preferred extensions as stable models. Theory Pract. Log. Program. 8(4): 527-543 (2008) - [c55]Mauricio Osorio, Claudia Zepeda:
Pstable Theories and Preferences. CONIELECOMP 2008: 59-64 - [c54]Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio:
Possibilistic-Based Argumentation: An Answer Set Programming Approach. ENC 2008: 249-260 - [e5]Mauricio Osorio, Iván Olmos:
Proceedings of the fourth Latin American Workshop on Non-Monotonic Reasoning 2008 (LANMR'08) Facultad de Ciencias de la Computación de la Benemérita Universidad Autónoma de Puebla, Puebla, México, October 22-24, 2008. CEUR Workshop Proceedings 408, CEUR-WS.org 2008 [contents] - [i3]Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés:
Preferred extensions as stable models. CoRR abs/0803.3812 (2008) - 2007
- [j12]Fernando Zacarías Flores, Mauricio Javier Osorio Galindo, Edgar Fernandez Plascencia:
Updates Under Pstable. Eng. Lett. 15(2): 311-315 (2007) - [j11]Magdalena Ortiz, Mauricio Osorio:
Strong Negation and Equivalence in the Safe Belief Semantics. J. Log. Comput. 17(3): 499-515 (2007) - [j10]Mauricio Osorio, Víctor Cuevas:
Updates in answer set programming: An approach based on basic structural properties. Theory Pract. Log. Program. 7(4): 451-479 (2007) - [c53]Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés, Francisco Caballero, Antonio López-Navidad:
Reasoning about actions under uncertainty: A possibilistic approach. CCIA 2007: 300-309 - [c52]Iván Olmos, Jesús A. González, Mauricio Osorio:
Reductions between the Subgraph Isomorphism Problem and Hamiltonian and SAT Problems. CONIELECOMP 2007: 20 - [c51]Mauricio Osorio, Claudia Zepeda:
A semantics for updates consisting of a sequence of programs. CONIELECOMP 2007: 21 - [c50]José Luis Carballido, José Arrazola, Mauricio Osorio:
Equivalence for the G3'-stable models semantics. LA-NMR 2007 - [c49]Juan Carlos Nieves, Mauricio Osorio:
Generating maximal models using the stable model semantics. LA-NMR 2007 - [c48]Juan Carlos Nieves, Mauricio Osorio:
Inferring preferred extensions by Pstable semantics. LA-NMR 2007 - [c47]Mauricio Osorio:
GLukG logic and its application for non-monotonic reasoning. LA-NMR 2007 - [c46]Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés:
Semantics for Possibilistic Disjunctive Programs. LPNMR 2007: 315-320 - [c45]Mauricio Osorio, Claudia Zepeda:
Update Sequences Based on Minimal Generalized Pstable Models. MICAI 2007: 283-293 - [c44]Mauricio Osorio, Juan Carlos Nieves:
PStable Semantics for Possibilistic Logic Programs. MICAI 2007: 294-304 - [e4]José Arrazola, Pilar Pozos Parra, Mauricio Osorio, Claudia Zepeda:
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. CEUR Workshop Proceedings 286, CEUR-WS.org 2007 [contents] - 2006
- [j9]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. 16(6): 867-890 (2006) - [c43]Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio, Iván Olmos, Jesus A. Gonzalez:
Defining new argumentation-based semantics by minimal models. ENC 2006: 210-220 - [c42]Iván Olmos, Jesus A. Gonzalez, Mauricio Osorio:
Inexact Graph Matching: A Case of Study. FLAIRS 2006: 586-591 - [c41]Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio:
Supporting decision making in organ transplanting using argumentation theory. LA-NMR 2006 - [c40]Mauricio Osorio, Claudia Zepeda:
Preferences using Answer Sets. LA-NMR 2006 - [c39]Mauricio Osorio, Alejandra López:
Expressing the Stable Semantics in Terms of the Pstable Semantics. LoLaCOM 2006 - [c38]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 - [c37]Mauricio Osorio, José R. Arrazola Ramírez, José Luis Carballido, Oscar Estrada:
An Axiomatization of G'3. LoLaCOM 2006 - [c36]Mauricio Osorio, Claudia Zepeda:
Answer Set General Theories and Preferences. MICAI 2006: 59-69 - [c35]Mauricio Osorio, Claudia Zepeda:
Minimal Generalized Answer-Sets and their Applications. LoLaCOM 2006 - [e3]Mauricio Osorio, Claudia Zepeda, Pilar Pozos Parra, Guillermo De Ita Luna:
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í, Mexico, September 18, 2006. CEUR Workshop Proceedings 217, CEUR-WS.org 2006 [contents] - [e2]Rogelio Dávila, Mauricio Osorio, Claudia Zepeda:
Proceedings of the LoLaCOM06 Workshop, Instituto Tecnológico de Apizaco, Apizaco, Tlaxcala, Mexico, 13th - 14th November 2006. CEUR Workshop Proceedings 220, CEUR-WS.org 2006 [contents] - [i2]Mauricio Osorio, Víctor Cuevas:
Updates in Answer Set Programming: An Approach Based on Basic Structural Properties. CoRR abs/cs/0609167 (2006) - 2005
- [j8]Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola:
Safe beliefs for propositional theories. Ann. Pure Appl. Log. 134(1): 63-82 (2005) - [j7]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. 15(5): 787-813 (2005) - [c34]Magdalena Ortiz, Mauricio Osorio:
Nelson's Strong Negation, Safe Beliefs and the Answer Set Semantics. Answer Set Programming 2005 - [c33]Claudia Zepeda, Mauricio Osorio, Juan Carlos Nieves, Christine Solnon, David Sol:
Applications of Preferences using Answer Set Programming. Answer Set Programming 2005 - [c32]Iván Olmos, Jesus A. Gonzalez, Mauricio Osorio:
Mining Common Patterns on Graphs. CIS (1) 2005: 41-48 - [c31]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: 268-271 - [c30]Claudia Zepeda, Mauricio Osorio, David Sol:
Modeling Evacuation Planning Using A-Prolog. CONIELECOMP 2005: 292-297 - [c29]Mauricio Osorio, Claudia Zepeda, Juan Carlos Nieves, Ulises Cortés:
Inferring acceptable arguments with Answer Set Programming. ENC 2005: 198-205 - [c28]Gerardo Ayala, Magdalena Ortiz, Mauricio Osorio:
Agent Modelling for CSCL Environments using Answer Sets Programming. ENC 2005: 214-221 - [c27]Iván Olmos, Jesus A. Gonzalez, Mauricio Osorio:
Subgraph Isomorphism Detection Using a Code Based Representation. FLAIRS 2005: 474-479 - [c26]Gerardo Ayala, Magdalena Ortiz, Mauricio Osorio:
Application of ASP for Agent Modelling in CSCL Environments. MICAI 2005: 109-118 - 2004
- [j6]Mauricio Osorio, Juan Carlos Nieves, Bharat Jayaraman:
Aggregation in Functional Query Languages. J. Funct. Log. Program. 2004 (2004) - [j5]Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola:
Applications of Intuitionistic Logic in Answer Set Programming. Theory Pract. Log. Program. 4(3): 325-354 (2004) - [c25]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: 264-271 - [c24]Mauricio Osorio, Fernando Zacarías Flores:
On Updates of Logic Programs: A Properties-Based Approach. FoIKS 2004: 231-241 - [c23]Mauricio Osorio, Verónica Borja Macías, José Arrazola:
Three Valued Logic of Lukasiewicz for Modeling Semantics of Logic Programs. IBERAMIA 2004: 343-352 - [c22]Mauricio Osorio, Juan Antonio Navarro Pérez:
Answer Set Programming and S4. IBERAMIA 2004: 353 - [c21]Mauricio Osorio, Verónica Borja Macías, José Arrazola:
Closing the Gap between the Stable Semantics and Extensions of WFS. MICAI 2004: 202-211 - [e1]Mauricio Osorio, Alessandro Provetti:
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. CEUR Workshop Proceedings 92, CEUR-WS.org 2004 [contents] - 2003
- [c20]Juan Carlos Acosta Guadarrama, Mauricio Javier Osorio Galindo:
Towards Modelling an Intelligent Calendar Agent with LUPS. Applied Informatics 2003: 60-65 - [c19]Mauricio Osorio, Enrique Corona:
The A-Pol System. Answer Set Programming 2003 - [c18]Mauricio Osorio, Fernando Zacarías Flores:
New properties on the update operator\oplus. Answer Set Programming 2003 - [c17]Mauricio Osorio, Claudia Zepeda:
Towards the use of Semantics Contents in ASP for planning and diagnistic in GIS. Answer Set Programming 2003 - [c16]Magdalena Ortiz, Gerardo Ayala, Mauricio Osorio:
Formalizing the Learner Model for CSCL Environments. ENC 2003: 151-158 - [i1]Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola:
Applications of Intuitionistic Logic in Answer Set Programming. CoRR cs.LO/0305046 (2003) - 2002
- [c15]Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola:
Debugging in A-Prolog: A Logical Approach. ICLP 2002: 482-483 - [c14]Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola:
A logical approach to A-Prolog. WoLLIC 2002: 284-295 - 2001
- [j4]Jürgen Dix, Mauricio Osorio, Claudia Zepeda:
A general theory of confluent rewriting systems for logic programming and its applications. Ann. Pure Appl. Log. 108(1-3): 153-188 (2001) - [c13]Mauricio Osorio, Juan Carlos Nieves:
Stratified Partial-Order Logic Programming. AI 2001: 225-235 - [c12]Mauricio Osorio, Juan Carlos Nieves, Chris Giannella:
Useful Transformations in Answer set programming. Answer Set Programming 2001 - [c11]Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola:
Equivalence in Answer Set Programming. LOPSTR 2001: 57-75 - 2000
- [c10]Mauricio Osorio, Juan Carlos Nieves, Gabriel Cervantes:
Application of Simplification Theories. ARW 2000 - [c9]Mauricio Osorio, Fernando Zacarías Flores:
High-Level Logic Programming. FoIKS 2000: 226-240 - [c8]Mauricio Osorio, Juan Carlos Nieves, Fernando Zacarías Flores, Erika Saucedo:
Knowledge Representation Using High-Level Non-monotonic Reasoning. MICAI 2000: 13-24
1990 – 1999
- 1999
- [j3]José Arrazola, Jürgen Dix, Mauricio Osorio:
Confluent Rewriting systems in Non-Monotonic Reasoning. Computación y Sistemas 2(2-3): 104-123 (1999) - [j2]Mauricio Osorio, Bharat Jayaraman:
Aggregation and Negation-As-Failure. New Gener. Comput. 17(3): 255-284 (1999) - [j1]Mauricio Osorio, Bharat Jayaraman, David A. Plaisted:
Theory of Partial-Order Programming. Sci. Comput. Program. 34(3): 207-238 (1999) - [c7]Mauricio Osorio, Bharat Jayaraman, Juan Carlos Nieves:
Declarative Pruning in a Functional Query Language. ICLP 1999: 588-604 - 1998
- [c6]Mauricio Osorio, Bharat Jayaraman:
Integrating the Completion and the Well Founded Semantics. IBERAMIA 1998: 230-241 - [c5]Mauricio Osorio:
Semantics of Partial-Order Programs. JELIA 1998: 47-61 - 1997
- [c4]Jürgen Dix, Mauricio Osorio:
On Well-Behaved Semantics Suitable for Aggregation. ILPS 1997: 405 - 1996
- [c3]Mauricio Osorio, Bharat Jayaraman:
Aggregation and Well-Founded Semantics. NMELP 1996: 71-90 - 1995
- [c2]Bharat Jayaraman, Mauricio Osorio, Kyonghee Moon:
Partial Order Programming (Revisited). AMAST 1995: 561-575 - 1993
- [c1]Mauricio Osorio, Bharat Jayaraman:
Subset Assertions and Negation As Failure. ILPS 1993: 637
Coauthor Index
José Luis Carballido
aka: José Luis Carballido Carranza
aka: José Luis Carballido Carranza
Claudia Zepeda Cortés
aka: Claudia Zepeda
aka: Claudia Zepeda
Iván Olmos
aka: Iván Olmos Pineda
aka: Iván Olmos Pineda
José R. Arrazola Ramírez
aka: José Arrazola
aka: José Arrazola
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
