Master Thesis (in Spanish): Semántica operacional de un lenguaje lógico funcional.

Ph. D. Thesis: Modeling arguments and uncertain information --- A non-monotonic reasoning approach.

Computer Science Bibliography:  DBLP 

International Journal

• José Luis Carballido, Juan Carlos Nieves, Mauricio Osorio, "Inferring Preferred Extensions by Pstable Semantics", to appear in the Iberoamerican Journal of Artificial Intelligence (Inteligencia Artificial), Edited by AEPIA (Spanish Association of Artificial Intelligence), ISSN 1137-3601.
• Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés, "An Overview of Argumentation Semantics", to appear in the Special Issue on the 50 years of Computing in Mexico Journal "Computación y Sistemas", ISSN 1405-5546.
• Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés, "Preferred extensions as stable models", Theory and Practice of Logic Programming (TPLP), Volume 8, Issue 04, pp 527-543, July 2008 .
• Mauricio Osorio,  Juan Carlos Nieves, Bharat Jarayaman, "Aggregation in Functional Query Languages", Journal of Functional and Logic Programming, August, 2004.

Accepted Papers in International Conferences

2008

• Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés."Possibilistic-based Argumentation: An Answer Set Programming Approach". Accepted in the Mexican International Conference on Computer Science, October 2008.
• Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés. "An architecture for building intelligent agents applied in health care based on answer set programming". In Proc. of the Fifth Workshop on Agents Applied in Health Care at AAMAS'08, pp 51-28, Estoril, Portugal, May 2008.

2007

•  Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés, "Modality-based argumentation using possibilistic stable models",  In 7th Workshop on Computational Models of Natural Argument (CMNA VII), IJCAI-WS, pp 35-41, Hyderabad, India, 2007.
• Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés, "Semantics for Possibilistic Disjunctive Programs (Poster)", In Ninth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-07), LNAI 4483, pp 315-320, Arizona, USA, 2007.
• Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés, "Inferring preferred extensions by minimal models", In Argumentation and Non-Monotonic Reasoning (LPNMR-07 Workshop), pp 114-124, Arizona, USA, 2007 (the improved and extended version of this paper was publised in TPLP).
• Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés, Francisco Caballero, Antonio Lópes-Navidad, "Reasoning about actions under uncertainty: A possibilistic approach", Desè Congrés Internacional de l'Associació Catalana d'Intel·ligència Artificial (CCIA), pp 300-309, Andorra, 2007 (a small ASP-program w.r.t. the medical scenario presented in this paper).
• Juan Carlos Nieves, Mauricio Osorio,"Generating maximal models using the stable model semantics", Third Latin American Workshop on Non-Monotonic Reasoning 2007  (LANMR'07), pp ?-?, Puebla, México 2007.
• Juan Carlos Nieves, Mauricio Osorio, "Inferring preferred extensions by pstable semantics", Third Latin American Workshop on Non-Monotonic Reasoning 2007  (LANMR'07), pp ?-? , Puebla, México 2007 (the improved and extended version of this paper will appear in the Iberoamerican Journal of Artificial Intelligence (Inteligencia Artificial)).
• Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés, "Semantics for possibilistic disjunctive programs",  Answer Set Programming: Advances in Theory and Implementation (ICLP-07 Workshop), pp 271-284, Porto, Portugal, 2007.
• Mauricio Osorio, Juan Carlos Nieves,  "PStable semantics for possibilistic logic programs",  6th Mexican International Conference on Artificial Intelligence (MICAI-07), LNAI 4827, pp 294-304, Aguascalietes, México, 2007.

2006

•  Juan Carlos Nieves, Ulises Cortés, "Modality Argumentation Programming".  Modeling Decisions for Artificial Intelligence (MDAI 2006), Third International Conference, LNIA 3885, pp 395-306, 2006.
• Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés, Ivan Olmos, Jesús A. Gonzalez, "Defining new argumentation-based semantics by minimal models" , In Proc. 7th Mexican Int. Conf. Computer Science, IEEE Computer Science Press, pp 210-220, 2006.
• Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés, "Supporting decision making in organ transplanting using argumentation theory", In LANMR'06: 2nd Latin American Non-Monotonic Reasoning Workshop, pp ? - ?, 2006.

2005

• Ulises Cortés, Pancho Tolchinsky, Juan Carlos Nieves, Antonio López and Francisco Caballero, "Arguing the discard of organds in CARREL", In Proc. of  CATAI, 2005.
• Pancho Tolchinsky, Ulises Cortés,  Juan Carlos Nieves, Antonio López and Francisco Caballero, "Using arguing agents to increase the human organ pool for transplantation",  In Proc. of the Third Workshop on Agents Applied in Health Care (IJCAI 2005), 2005.
  
• Claudia Zepeda, Mauricio Osorio, Juan Carlos Nieves, Christine Solnon, David Sol, "Applications of preferences using Answer Set Programming", In Proc, of the third workshop on Answer Set Programming : Advances in theory and  implementation,  Bath, UK,  2005.
  
• Juan Carlos Nieves, Mauricio Osorio, Claudia Zepeda, Ulises Cortés, "Inferring acceptable arguments with Answer Set Programming", In Proc. 6th Mexican Int. Conf. Computer Science, IEEE Computer Science Press, pp198-205, 2005.

2002

• Juan Carlos Nieves, Bharat Jayaraman, "Relaxation in Partial Order Programming", Workshop on Logic and Computation: MICAI'2002, pp ? -?, Merida, Mexico.

2001

• Mauricio Osorio, Juan Carlos Nieves, Chris Giannella, "Useful transformations in answer-set programming", In Proc. of AAAI2001, Spring Symposuim Series, Stanford, USA, 2001
• Mauricio Osorio, Juan Carlos Nieves, "Stratified Partial-Order Logic Programming", In  Proc. of The Fourteenth Canadian Conference on Artificial Intelligence (AI'2001), LNCS 2056, pp 225 - 235, Spring Verlag,  Ottawa, Canada, 2001.
• Mauricio Osorio, Juan Carlos Nieves, "W_{s,c} - Stable semantics for propositional theories", International Conference CIC'2001, pp 319-328,Mexico, 2001.

2000

• Mauricio Osorio, Juan  Carlos Nieves, F. Zacarias and E. Saucedo. "Knowledge Representation  using High-Level Non-Monotonic Reasoning". In Proc. MICAI 2000, LNAI 1793 , pp 13 -24, Springer Verlag,  2000.
• Mauricio Osorio, Juan Carlos Nieves and Gabriel Cervantes. "Application of Simplification Theories", In Proc. Seventh Workshop on Automated Reasoning,  London, UK, 2000.
• Juan Carlos Nieves and Gabriel Cervantes. "Is the class of well-behaved  semantics so small?", In Proc. of the student section of ESSLLI-2000, Birmingham,  pp 189 - 198, UK, 2000.
• Juan Carlos Nieves, Mauricio Osorio, F. Zacarias and Elazar Oropeza. "Partial-order relational programming",  In Proc. of the First International Workshop on Rule-Based Programming, Montreal, Canada, 2000.
• Juan Carlos Nieves, Mauricio Osorio, "Answer-Set Programming: From supported to stable models". In Proc. International Conference CIC'2000, pp 304-314, Mexico, 2000.

1999

• Mauricio Osorio, Bharat Jayaraman, Juan Carlos Nieves. "Declarative Pruning in a Functional Query Language", Proc. ICLP99, pp 588--602,  MIT Press , USA, 1999, (the extended version of this paper was publised in the Journal of Functional and Logic Programming).
• Mauricio Osorio, Juan Carlos Nieves. "Extended partial-order logic programming". In Proc. of the Workshop on Declarative Programming with Sets, pp 19--26, Paris,1999.
• Mauricio Osorio, Juan Carlos Nieves. "Orden parcial en la programacion  logica". In Proc. Enc99, Mexico, 1999.
• Juan Carlos Nieves,  Mauricio Osorio. "Partial-Order Functional-Logic  Programming". In  Proc. International Conference CIC'99, pp 394-404, Mexico, 1999.

Research Reports  : LSI/UPC-Reports