Mauricio Osorio

147 papers B 6C 4Misc 3Journal 48Unranked 78

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Digital Companions for Well-being: Challenges and Opportunities. J. Intell. Fuzzy Syst. Juan Carlos Nieves, Mauricio Osorio, David Rojas-Velazquez, Yazmín Magallanes, Andreas Brännström
2023	J	`jnl`	A 4-Valued Logic that Extends the Paraconsistent Logic G'3. Computación y Sistemas (CyS) Mauricio Osorio, José Luis Carballido
2023	J	`jnl`	An Alternative Definition of Stable Models Via Łukasiewicz Logic. Computación y Sistemas (CyS) Mauricio Osorio, Aldo Figallo Orellano, Diego Huerta
2021	J	`jnl`	A family of genuine and non-algebraisable C-systems. J. Appl. Non Class. Logics Mauricio Osorio, Aldo Figallo Orellano, Miguel Pérez-Gaspar
2019	—	`conf`	An Extension of the Stable Semantics via Lukasiewicz Logic. LANMR (Selected Papers) Mauricio Osorio, José Luis Carballido Carranza
2019	—	`conf`	An extension of the stable semantics via Lukasiewicz logic. LANMR Mauricio Osorio, José Luis Carballido
2019	J	`jnl`	Béziau's SP3A Logic and Logic Programming. Res. Comput. Sci. Jaime Díaz, José Luis Carballido, Mauricio Osorio
2019	—	`conf`	Methodology to represent functions in logic LANMR Mauricio Osorio, Daniela Hernández-Grijalva, Alejandro Hernández-Tello
2019	—	`conf`	Three New Genuine Five-valued Logics Intended to Model Non-trivial Concepts. LANMR (Selected Papers) Mauricio Osorio, Claudia Zepeda
2019	—	`conf`	Three new genuine five-valued logics. LANMR Mauricio Osorio, Claudia Zepeda
2019	—	`conf`	Towards an Answer Set Programming Methodology for Constructing Programs Following a Semi-Automatic Approach - Extended and Revised version. LANMR (Selected Papers) Flavio Everardo, Mauricio Osorio
2019	—	`conf`	Towards an answer set programming methodology for constructing programs following a semi-automatic approach. LANMR Flavio Everardo, Mauricio Osorio
2018	J	`jnl`	Extending Well-Founded Semantics with Clark's Completion for Disjunctive Logic Programs. Sci. Program. Juan Carlos Nieves, Mauricio Osorio
2018	—	`conf`	Lukasiewicz' 3-valued logic can not be expressed in terms of SP3A logic. LANMR Jaime Díaz, José Luis Carballido, Mauricio Osorio, Claudia Zepeda
2017	J	`jnl`	0-1 Integer Programming for Computing Semi-Stable Semantics of Argumentation Frameworks. Computación y Sistemas Mauricio Osorio, Juan Díaz, Alejandro Santoyo
2017	J	`jnl`	Abducible Semantics and Argumentation. Fundam. Informaticae Mauricio Osorio, José Luis Carballido, Claudia Zepeda
2017	J	`jnl`	Equivalence among RC-type paraconsistent logics. Log. J. IGPL Mauricio Osorio, José Abel Castellanos Joo
2017	J	`jnl`	Range-based argumentation semantics as two-valued models. Theory Pract. Log. Program. Mauricio Osorio, Juan Carlos Nieves
2016	—	`conf`	Characterizing stage argumentation semantics based on stable abducible semantics. LANMR Mauricio Osorio, José Luis Carballido, Claudia Zepeda
2016	—	`conf`	Defining Stage Argumentation Semantics in Terms of an Abducible Semantics. LANMR (Selected Papers) Mauricio Osorio, José Luis Carballido, Claudia Zepeda
2016	J	`jnl`	Ideal extensions as logical programming models. J. Log. Comput. Juan Carlos Nieves, Mauricio Osorio
2016	J	`jnl`	Range-based argumentation semantics as 2-valued models. CoRR Mauricio Osorio, Juan Carlos Nieves
2015	—	`conf`	Computing stable semantics of AF by 0-1 integer programming. CONIELECOMP Mauricio Osorio, Juan Díaz, Alejandro Santoyo
2015	J	`jnl`	Weakening and Extending ℤ. Logica Universalis Mauricio Osorio, José Luis Carballido, Claudia Zepeda, José Abel Castellanos
2014	—	`conf`	A Single Proof of Classical Behaviour in Da Costa's Cn Systems. LANMR Mauricio Osorio, José Abel Castellanos Joo
2014	—	`conf`	A Single Proof of Classical Behaviour in da Costa's C LANMR (Selected Papers) Mauricio Osorio, José Abel Castellanos
2014	—	`conf`	Computing Preferred Semantics: Comparing Two ASP Approaches vs an Approach Based on 0-1 Integer Programming. MICAI (1) Mauricio Osorio, Juan Díaz, Alejandro Santoyo
2014	—	`conf`	Computing Semi-Stable Semantics of AF by 0-1 Integer Programming. LANMR Mauricio Osorio, Juan Díaz, Alejandro Santoyo
2014	—	`conf`	Modeling Natural Language Metaphors with an Answer Set Programming Framework. MICAI (1) Juan Carlos Acosta Guadarrama, Rogelio Dávila-Pérez, Mauricio Osorio, Victor Hugo Zaldivar
2014	—	`conf`	On Paraconsistent Extensions of C LANMR (Selected Papers) Mauricio Osorio, José Luis Carballido, Claudia Zepeda
2014	—	`conf`	Preferences for Argumentation Semantics. MICAI (1) Mauricio Osorio, Claudia Zepeda, José Luis Carballido
2014	—	`conf`	Revisiting C1. LANMR Mauricio Osorio, José Luis Carballido, Claudia Zepeda
2014	J	`jnl`	Revisiting ℤ. Notre Dame J. Formal Log. Mauricio Osorio, José Luis Carballido, Claudia Zepeda
2013	—	`conf`	Complete Extensions as Clark's Completion Semantics. ENC Mauricio Osorio, Juan Carlos Nieves, Alejandro Santoyo
2013	—	`conf`	N' AMW Mauricio Osorio, José Luis Carballido, Claudia Zepeda
2013	J	`jnl`	Preferred Extensions as Minimal Models of Clark's Completion Semantics. Res. Comput. Sci. Mauricio Osorio, Alejandro Santoyo
2013	J	`jnl`	Semantics for Possibilistic Disjunctive Programs. Theory Pract. Log. Program. Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés
2013	—	`conf`	Some Properties of Logic N-GLukG. MICAI (1) Mauricio Osorio, José Luis Carballido, Claudia Zepeda
2012	J	`jnl`	Dealing with explicit preferences and uncertainty in answer set programming. Ann. Math. Artif. Intell. Roberto Confalonieri, Juan Carlos Nieves, Mauricio Osorio, Javier Vázquez-Salceda
2012	—	`conf`	Decision Analysis with Logic and Mathematical Programming. LA-NMR Mauricio Osorio, Alejandro Santoyo
2012	—	`conf`	Managing Inconsistent Possibilistic Knowledge Bases by An Argumentation Approach. SAIS Juan Carlos Nieves, Mauricio Osorio, Helena Lindgren
2012	—	`ed.`	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 LA-NMR Mauricio Osorio, Claudia Zepeda, Iván Olmos, José Luis Carballido, R. Carolina Medina Ramírez
2011	J	`jnl`	A Schema for Generating Relevant Logic Programming Semantics and its Applications in Argumentation Theory. Fundam. Informaticae Juan Carlos Nieves, Mauricio Osorio, Claudia Zepeda
2011	B	`conf`	An Application of Clasp in the Study of Logics. LPNMR Mauricio Osorio, José Luis Carballido, Claudia Zepeda
2011	J	`jnl`	Another Implementation of the P-Stable Semantics, a Parallel Approach. Res. Comput. Sci. Claudia Zepeda, David López, Gabriel López, Mauricio Osorio
2011	J	`jnl`	Artificial Intelligence Planning with P-Stable Semantics. Res. Comput. Sci. Claudia Zepeda, Mario Rossainz López, Mauricio Osorio, Sergio Arzola
2011	—	`conf`	Characterization of Argumentation Semantics in Terms of the MM r Semantics. MICAI (1) Mauricio Osorio, José Luis Carballido, Claudia Zepeda, Zenaida Cruz
2011	J	`jnl`	Extended Ordered Disjunction Programs to Model Preferences. Res. Comput. Sci. Claudia Zepeda, José Luis Carballido, Mauricio Osorio
2011	—	`conf`	Extending the Grounded Semantics by Logic Programming Semantics. CCIA Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés
2011	—	`conf`	Modeling production of resources using Answer Set Planning. CONIELECOMP Claudia Zepeda, José Luis Carballido, J. Manuel Amezcua, Oscar De Leon, Javier A. Martinez, Mauricio Osorio
2011	J	`jnl`	N'5 as an Extension of G'3. Res. Comput. Sci. José Luis Carballido, Mauricio Osorio
2011	J	`jnl`	Preface. Fundam. Informaticae Mauricio Osorio, Victor W. Marek
2011	—	`ed.`	Proceedings of the Seventh Latin American Workshop on Non-Monotonic Reasoning, LANMR 2011, Toluca, Estado de México, México, November 7-8, 2011 LA-NMR Mauricio Osorio, Claudia Zepeda, Iván Olmos, José Luis Carballido, José Arrazola, Carolina Medina
2011	J	`jnl`	Semantics for Possibilistic Disjunctive Programs CoRR Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés
2011	—	`conf`	The Stable Abducible Argumentation Semantics. LA-NMR Mauricio Osorio, Juan Carlos Nieves, José Luis Carballido
2010	—	`conf`	A Possibilistic Intuitionistic Logic. MICAI (1) Oscar Estrada, José Arrazola, Mauricio Osorio
2010	C	`conf`	CF2-extensions as Answer-set Models. COMMA Mauricio Osorio, Juan Carlos Nieves, Ignasi Gómez-Sebastià
2010	J	`jnl`	Equivalence for the G' J. Appl. Log. José Luis Carballido, Mauricio Osorio, José Arrazola
2010	—	`conf`	Possibilistic Semantics for Logic Programs with Ordered Disjunction. FoIKS Roberto Confalonieri, Juan Carlos Nieves, Mauricio Osorio, Javier Vázquez-Salceda
2010	—	`conf`	Updates Based on ASP. MICAI (Special Sessions) Claudia Zepeda, José Luis Carballido, Mario Rossainz López, Mauricio Osorio
2009	—	`conf`	A Formal Design Model for Mechatronic Systems. CONIELECOMP Mauricio Osorio, Claudia Zepeda, Hilda Castillo
2009	—	`conf`	Computing the Stratified Minimal Models Semantic. LA-NMR Mauricio Osorio, Angel Marín George, Juan Carlos Nieves
2009	C	`conf`	Expressing Extension-Based Semantics Based on Stratified Minimal Models. WoLLIC Juan Carlos Nieves, Mauricio Osorio, Claudia Zepeda
2009	J	`jnl`	G'3-Stable Semantics and Inconsistency. Computación y Sistemas Mauricio Osorio, Claudia Zepeda, Juan Carlos Nieves, José Luis Carballido
2009	J	`jnl`	Guest Editorial: Workshops by the Logic and Computation Mexican Group. Inteligencia Artif. Mauricio Osorio, Claudia Zepeda
2009	J	`jnl`	Inferring Preferred Extensions by Pstable Semantics. Inteligencia Artif. José Luis Carballido, Juan Carlos Nieves, Mauricio Osorio
2009	—	`conf`	Possibilistic Stratified Minimal Model Semantics. ENC Juan Carlos Nieves, Mauricio Osorio
2009	—	`conf`	Possibilistic Well-Founded Semantics. MICAI Mauricio Osorio, Juan Carlos Nieves
2009	J	`jnl`	Preface. J. Algorithms Mauricio Osorio, Iván Olmos
2009	—	`ed.`	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. LA-NMR Mauricio Osorio, Claudia Zepeda, Iván Olmos, Carolina Medina, José Arrazola
2009	B	`conf`	The Logical Consequence Role in LPNMR: A Parameterized Computation Approach. LPNMR Mauricio Osorio, Simone Pascucci
2008	J	`jnl`	An Overview of Argumentation Semantics. Computación y Sistemas Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés
2008	—	`conf`	Possibilistic-Based Argumentation: An Answer Set Programming Approach. ENC Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio
2008	J	`jnl`	Preferred extensions as stable models CoRR Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés
2008	J	`jnl`	Preferred extensions as stable models. Theory Pract. Log. Program. Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio
2008	—	`ed.`	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 LA-NMR Mauricio Osorio, Iván Olmos
2008	—	`conf`	Pstable Theories and Preferences. CONIELECOMP Mauricio Osorio, Claudia Zepeda
2007	—	`conf`	A semantics for updates consisting of a sequence of programs. CONIELECOMP Mauricio Osorio, Claudia Zepeda
2007	J	`jnl`	Basic Transformations that Preserve G'3-Stable Equivalente. Res. Comput. Sci. José Arrazola, José Luis Carballido, Mauricio Osorio
2007	—	`conf`	Equivalence for the G3'-stable models semantics. LA-NMR José Luis Carballido, José Arrazola, Mauricio Osorio
2007	—	`conf`	GLukG logic and its application for non-monotonic reasoning. LA-NMR Mauricio Osorio
2007	—	`conf`	Generating maximal models using the stable model semantics. LA-NMR Juan Carlos Nieves, Mauricio Osorio
2007	—	`conf`	Inferring preferred extensions by Pstable semantics. LA-NMR Juan Carlos Nieves, Mauricio Osorio
2007	—	`ed.`	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 José Arrazola, Pilar Pozos Parra, Mauricio Osorio, Claudia Zepeda
2007	—	`conf`	PStable Semantics for Possibilistic Logic Programs. MICAI Mauricio Osorio, Juan Carlos Nieves
2007	—	`conf`	Reasoning about actions under uncertainty: A possibilistic approach. CCIA Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés, Francisco Caballero, Antonio López-Navidad
2007	—	`conf`	Reductions between the Subgraph Isomorphism Problem and Hamiltonian and SAT Problems. CONIELECOMP Iván Olmos, Jesús A. González, Mauricio Osorio
2007	B	`conf`	Semantics for Possibilistic Disjunctive Programs. LPNMR Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés
2007	J	`jnl`	Strong Negation and Equivalence in the Safe Belief Semantics. J. Log. Comput. Magdalena Ortiz, Mauricio Osorio
2007	—	`conf`	Update Sequences Based on Minimal Generalized Pstable Models. MICAI Mauricio Osorio, Claudia Zepeda
2007	J	`jnl`	Updates in answer set programming: An approach based on basic structural properties. Theory Pract. Log. Program. Mauricio Osorio, Víctor Cuevas
2006	—	`conf`	An Axiomatization of G'3. LoLaCOM Mauricio Osorio, José R. Arrazola Ramírez, José Luis Carballido, Oscar Estrada
2006	—	`conf`	Answer Set General Theories and Preferences. MICAI Mauricio Osorio, Claudia Zepeda
2006	—	`conf`	Defining new argumentation-based semantics by minimal models. ENC Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio, Iván Olmos, Jesus A. Gonzalez
2006	—	`conf`	Expressing the Stable Semantics in Terms of the Pstable Semantics. LoLaCOM Mauricio Osorio, Alejandra López
2006	Misc	`conf`	Inexact Graph Matching: A Case of Study. FLAIRS Iván Olmos, Jesus A. Gonzalez, Mauricio Osorio
2006	—	`ed.`	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 LA-NMR Mauricio Osorio, Claudia Zepeda, Pilar Pozos Parra, Guillermo De Ita Luna
2006	J	`jnl`	Logics with Common Weak Completions. J. Log. Comput. Mauricio Osorio, Juan Antonio Navarro Pérez, José R. Arrazola Ramírez, Verónica Borja Macías
2006	—	`conf`	Minimal Generalized Answer-Sets and their Applications. LoLaCOM Mauricio Osorio, Claudia Zepeda
2006	J	`jnl`	Preference Logic Programs Using Answer Sets. Res. Comput. Sci. Claudia Zepeda, Mauricio Osorio
2006	—	`conf`	Preferences using Answer Sets. LA-NMR Mauricio Osorio, Claudia Zepeda
2006	—	`ed.`	Proceedings of the LoLaCOM06 Workshop, Instituto Tecnológico de Apizaco, Apizaco, Tlaxcala, Mexico, 13th - 14th November 2006 LoLaCOM Rogelio Dávila, Mauricio Osorio, Claudia Zepeda
2006	—	`conf`	Programas Lógicos Disjunctivos y la Demostrabilidad de Atomos en Cw. LoLaCOM Mauricio Osorio, José R. Arrazola Ramírez, José Luis Carballido, Oscar Estrada
2006	—	`conf`	Supporting decision making in organ transplanting using argumentation theory. LA-NMR Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio
2006	J	`jnl`	Updates in Answer Set Programming: An Approach Based on Basic Structural Properties CoRR Mauricio Osorio, Víctor Cuevas
2005	—	`conf`	Agent Modelling for CSCL Environments using Answer Sets Programming. ENC Gerardo Ayala, Magdalena Ortiz, Mauricio Osorio
2005	—	`conf`	Application of ASP for Agent Modelling in CSCL Environments. MICAI Gerardo Ayala, Magdalena Ortiz, Mauricio Osorio
2005	—	`conf`	Applications of Preferences using Answer Set Programming. Answer Set Programming Claudia Zepeda, Mauricio Osorio, Juan Carlos Nieves, Christine Solnon, David Sol
2005	J	`jnl`	Extending and applying PP language: An answer set planning problem language. Res. Comput. Sci. Christine Solnon, Claudia Zepeda, David Sol, Mauricio Osorio
2005	—	`conf`	Inferring acceptable arguments with Answer Set Programming. ENC Mauricio Osorio, Claudia Zepeda, Juan Carlos Nieves, Ulises Cortés
2005	—	`conf`	Mining Common Patterns on Graphs. CIS (1) Iván Olmos, Jesus A. Gonzalez, Mauricio Osorio
2005	—	`conf`	Modeling Evacuation Planning Using A-Prolog. CONIELECOMP Claudia Zepeda, Mauricio Osorio, David Sol
2005	—	`conf`	Nelson's Strong Negation, Safe Beliefs and the Answer Set Semantics. Answer Set Programming Magdalena Ortiz, Mauricio Osorio
2005	J	`jnl`	Safe beliefs for propositional theories. Ann. Pure Appl. Log. Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola
2005	Misc	`conf`	Subgraph Isomorphism Detection Using a Code Based Representation. FLAIRS Iván Olmos, Jesus A. Gonzalez, Mauricio Osorio
2004	J	`jnl`	A decision support system for disaster situations. Res. Comput. Sci. Claudia Zepeda, David Sol, Santos Gerardo Lázzeri Menéndez, Mauricio Osorio
2004	J	`jnl`	Aggregation in Functional Query Languages. J. Funct. Log. Program. Mauricio Osorio, Juan Carlos Nieves, Bharat Jayaraman
2004	—	`conf`	Answer Set Programming and S4. IBERAMIA Mauricio Osorio, Juan Antonio Navarro Pérez
2004	J	`jnl`	Applications of Intuitionistic Logic in Answer Set Programming. Theory Pract. Log. Program. Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola
2004	—	`conf`	Closing the Gap between the Stable Semantics and Extensions of WFS. MICAI Mauricio Osorio, Verónica Borja Macías, José Arrazola
2004	—	`ed.`	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 Mauricio Osorio, Alessandro Provetti
2004	—	`conf`	On Updates of Logic Programs: A Properties-Based Approach. FoIKS Mauricio Osorio, Fernando Zacarías Flores
2004	—	`conf`	Three Valued Logic of Lukasiewicz for Modeling Semantics of Logic Programs. IBERAMIA Mauricio Osorio, Verónica Borja Macías, José Arrazola
2003	J	`jnl`	Applications of Intuitionistic Logic in Answer Set Programming CoRR Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola
2003	—	`conf`	Formalizing the Learner Model for CSCL Environments. ENC Magdalena Ortiz, Gerardo Ayala, Mauricio Osorio
2003	—	`conf`	New properties on the update operator\oplus. Answer Set Programming Mauricio Osorio, Fernando Zacarías Flores
2003	—	`conf`	The A-Pol System. Answer Set Programming Mauricio Osorio, Enrique Corona
2003	—	`conf`	Towards the use of Semantics Contents in ASP for planning and diagnistic in GIS. Answer Set Programming Mauricio Osorio, Claudia Zepeda
2002	C	`conf`	A logical approach to A-Prolog. WoLLIC Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola
2002	B	`conf`	Debugging in A-Prolog: A Logical Approach. ICLP Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola
2001	J	`jnl`	A general theory of confluent rewriting systems for logic programming and its applications. Ann. Pure Appl. Log. Jürgen Dix, Mauricio Osorio, Claudia Zepeda
2001	C	`conf`	Equivalence in Answer Set Programming. LOPSTR Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola
2001	Misc	`conf`	Stratified Partial-Order Logic Programming. AI Mauricio Osorio, Juan Carlos Nieves
2001	—	`conf`	Useful Transformations in Answer set programming. Answer Set Programming Mauricio Osorio, Juan Carlos Nieves, Chris Giannella
2000	—	`conf`	Application of Simplification Theories. ARW Mauricio Osorio, Juan Carlos Nieves, Gabriel Cervantes
2000	—	`conf`	High-Level Logic Programming. FoIKS Mauricio Osorio, Fernando Zacarías Flores
2000	—	`conf`	Knowledge Representation Using High-Level Non-monotonic Reasoning. MICAI Mauricio Osorio, Juan Carlos Nieves, Fernando Zacarías Flores, Erika Saucedo
1999	J	`jnl`	Aggregation and Negation-As-Failure. New Gener. Comput. Mauricio Osorio, Bharat Jayaraman
1999	J	`jnl`	Confluent Rewriting systems in Non-Monotonic Reasoning. Computación y Sistemas José Arrazola, Jürgen Dix, Mauricio Osorio
1999	B	`conf`	Declarative Pruning in a Functional Query Language. ICLP Mauricio Osorio, Bharat Jayaraman, Juan Carlos Nieves
1999	J	`jnl`	Theory of Partial-Order Programming. Sci. Comput. Program. Mauricio Osorio, Bharat Jayaraman, David A. Plaisted
1998	—	`conf`	Integrating the Completion and the Well Founded Semantics. IBERAMIA Mauricio Osorio, Bharat Jayaraman
1998	B	`conf`	Semantics of Partial-Order Programs. JELIA Mauricio Osorio
1997	—	`conf`	On Well-Behaved Semantics Suitable for Aggregation. ILPS Jürgen Dix, Mauricio Osorio
1996	—	`conf`	Aggregation and Well-Founded Semantics. NMELP Mauricio Osorio, Bharat Jayaraman
1995	—	`conf`	Partial Order Programming AMAST Bharat Jayaraman, Mauricio Osorio, Kyonghee Moon
1993	—	`conf`	Subset Assertions and Negation As Failure. ILPS Mauricio Osorio, Bharat Jayaraman