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
Google Scholar Citations: LINK
Microsoft Academic Search: LINK

Chapter Books

• Juan Carlos Nieves, Julian Padget , Wamberto Vasconcelos, Athanasios Staikopoulos, Owen Cliffe, Frank Dignum, Javier Vázquez-Salceda, Siobhán Clarke, and Chris Reed. Coordination, Organisation and Model Driven Approaches for Dynamic, Flexible, Robust Software and Services Engineering , Service Engineering--European Research Results, Springer , pp 85-115, 2011, DOI: 10.1007/978-3-7091-0415-6_4.

Journal Papers

• Roberto Confalonieri, Juan Carlos Nieves. Nested Preferences in Answer Set Programming, Accepted in Fundamenta Informaticae, ISSN 0169-2968.
• Juan Carlos Nieves, Roberto Confalonieri . A Possibilitic Argumentation Decision Making Framework with Default Reasoning , Accepted in Fundamenta Informaticae, ISSN 0169-2968.
• Juan Carlos Nieves, Dario Garcia, Montse Aulinas, Ulises Cortés An Operational Approach for Implementing Normative Agents in Urban Wastewater Systems. Accepted in Computación y Sistemas, ISSN 1405-5546 .
• Juan Carlos Nieves, Mauricio Osorio,Ulises Cortés, Semantics for Possibilistic Disjunctive Programs , Theory and Practice of Logic Programming (TPLP), doi: 10.1017/S1471068411000408, ISSN: 1471-0684.
• Montse Aulinas, Juan Carlos Nieves, Manel Poch, and Ulises Cortés. Supporting Decision Making in Urban Wastewater Systems Using a Knowledge-Based Approach, Environmental Modelling and Software, ISSN 1364-8152 , vol 26, issue 5, pp 562-573, 2011.
• Juan Carlos Nieves, Mauricio Osorio, Claudia Zepeda. A Schema for Generating Relevant Logic Programming Semantics and its Applications in Argumentation Theory , Fundamenta Informaticae, ISSN 0169-2968, vol 106(2-4), pp 295-319, 2011.
• Mauricio Osorio, Claudia Zepeda, Juan Carlos Nieves, José Luis Carballido, G’3-stable Semantics and Inconsistency, Computación y Sistemas (Special Issue in innovative Applications of Artificial Intelligence), ISSN 1405-5546 , vol 13, no 1, pp 75-86, 2009.
• José Luis Carballido, Juan Carlos Nieves, Mauricio Osorio, Inferring Preferred Extensions by Pstable Semantics, Iberoamerican Journal of Artificial Intelligence (Inteligencia Artificial) , ISSN 1137-3601, Vol 13, No 41, pages 38-53, 2009 (doi:10.4114/ia.v13i41.1029).
• Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés, An Overview of Argumentation Semantics, Computación y Sistemas (in the Special Issue on the 50 years of Computing in Mexico), ISSN 1405-5546 , Volume 12, Issue 1, pp 65-88, 2008.
• Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés, "Preferred extensions as stable models", Theory and Practice of Logic Programming (TPLP), ISSN: 1471-0684, 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, ISSN 1080-5230, August, 2004.

Papers in International Conferences

2011

• Juan Carlos Nieves, Mauricio Osorio, Studying Ideal Semantics via Logic Programming Semantics, Accepted in the Special Session of the 10th Mexican International Conference on Artificial Intelligence, IEEE Press, MICAI-2011.
• Mauricio Osorio, Juan Carlos Nieves, José Luis Carballido, The Stable Abducible Argumentation Semantics, In the proceedings of the Seventh Latin American Workshop on Non-Monotonic Reasoning, pp 57-68, Toluca, México, November 7-8 2011 .
• Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés, Extending the Grounded Semantics by Logic Programming Semantics, In the 14th International Conference of the Catalan Association of Artificial Intelligence, IOS press, Frontiers in Artificial Intelligence and Applications, Volume 232, pp 169-178, October 26-28, Lleida, Spain, 2011.
• Juan Carlos Nieves, Mariano Ortega de Mues, Angelina Espinoza, Daniel Rodríguez-Álvarez, Harmonization of Semantic Data Models of Electric Data Standards, In the 9th IEEE International Conference on Industrial Informatics - ICT @ SmartGrids (INDIN), Caparica, Lisbon, July 26-29, Portugal, 2011.
• Robert Confalonieri, Henri Prade and Juan Carlos Nieves, Nonmonotonic Reasoning in Logic Programming without Negation as Failure In the 11th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU), LNAI 6717, pp 509-520,Belfast, Nortern Iraland, UK, 29 June - 1 July, 2011.
• Dario Garcia-Gasulla, Manel Poch, Juan Carlos Nieves, Ulises Cortés , HSCW Intelligent Management . In the 8th IWA Symposium on Systems Analysis and Integrated Assessment (Watermatex), San Sebastián, Spain, June 20-22,2011.

2010

• Roberto Confalonieri and Juan Carlos Nieves, Nested Logic Programs with Ordered Disjunction. In the Sixth Latin American Workshop on New Methods of Reasoning, November 4-5, 2010, Puebla, México.
• Dario Garcia-Gasulla and Juan Carlos Nieves, Bringing Action Language C+ to Normative Contexts: Preliminary Report. In the Sixth Latin American Workshop on New Methods of Reasoning, November 4-5, 2010, Puebla, México.
• Ignasi Gómez-Sebastià and Juan Carlos Nieves, WizArg: Visual Argumentation Framework Solving Wizard, In 13th International Congress of the Catalan Association of Artificial Intelligence, 20-22 October, 2010, Tarragona, Spain.
• Mauricio Osorio, Juan Carlos Nieves, Ignasi Gómez-Sebastià, CF2-extensions as Answer-set Models, in the Third International Conference on Computational Models of Argument COMMA'2010, 8th-10th Septiember 2010, Desenzano de Garda. Italy.
• Dario Garcia, Juan Carlos Nieves, Ulises Cortés, Reasoning about Actions for the Management of Urban Wastewater Systems using a Causal Logic, in Session 21 of the International Congress on Environmental Modelling and Software, July 5 - 8 2010, Ottawa, Canada.
• Juan Carlos Nieves, Dario Garcia, Montse Aulinas, Ulises Cortés, Using Situation Calculus for Normative Agents in Urban Wastewater Systems, In proceedings of the 8th International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS'10), Advances in Intelligence and Soft Computing Vol 70 Springer, pp 247-257, April 26-28, 2010 -- Salamanca, Spain.
• Roberto Confalonieri, Juan Carlos Nieves, Mauricio Osorio, and Javier Vázquez-Salceda, Possibilistic Semantics for Logic Programs with Ordered Disjunction , In Proceedings of the conference on Foundations of Information and Knowledge Systems (FoIKS’2010), LNCS 5956 Springer, pp 133-152, February 15 - 19, 2010 -- Sofia, Bulgaria.
• Manel Palau, Ignasi Gómez-Sebastià, Javier Vázquez-Salceda, Juan Carlos Nieves, Luigi Ceccaroni, Coordination And Organisational Mechanisms Applied To The Development Of A Dynamic, Context-Aware Information Service. In the proceedings of the International Conference on Agents and Artificial Intelligence, Volume 2 - Agents (ICAART'2010), pp 88-95, Valencia, Spain, January 22-24, 2010.

2009

• Juan Carlos Nieves and Ignasi Gomez-Sebastià, Extension-Based Argumentation Semantics via Logic Programming Semantics with Negation as Failure. In proceedings of the Latin-American Workshop on Non-Monotonic Reasoning, CEUR Workshop Proceedings vol 533, ISSN 1613-0073, pages 31-45, Apizaco, Mexico, November 5-6, 2009
• Mauricio Osorio, Angel Marin-George and Juan Carlos Nieves, Computing the Stratified Minimal Models Semantic. In proceedings of the Latin-American Workshop on Non-Monotonic Reasoning, CEUR Workshop Proceedings vol 533, ISSN 1613-0073, pages 157-171, Apizaco, Mexico, November 5-6, 2009
• Mauricio Osorio, Juan Carlos Nieves. Possibilistic Well-Founded Semantics, In proceedings of the 8th Mexican Iternational Conference on Artificial Intelligence, Lecture Note in Artificial Intelligence vol 5845, pp 15-26, Springer, November 9-13, Guanajuato, Mexico, 2009.
• Roberto Confalonieri, Juan Carlos Nieves, and Javier Vázquez-Salceda. A Preference Meta-Model for Logic Programs with Possibilistic Ordered Disjunction, In proceedings of the 2nd International Workshop on Software Engineering for Answer Set Programming (SEA'09), Potsdam, Germany, 14 Septiembre 2009.
• Roberto Confalonieri, Juan Carlos Nieves, and Javier Vázquez-Salceda. Pstable Semantics for Logic Programs with Possibilistic Ordered Disjunction , In proceedings of the International Conference of the Italian Association for Artificial Intelligence AI*IA 09, Lecture Note in Artificial Intelligence, Vol 2883, pp 52-61, Springer, Reggio Emilia, Italy, December 2009.
• Juan Carlos Nieves, Mauricio Osorio, Possibilistic Stratified Minimal Model Semantics, In Proceedings of the Mexican International Conference on Computer Science, IEEE Computer Society press, September 21-25, Mexico City, Mexico, 2009.
• Juan Carlos Nieves, Montse Aulinas and Ulises Cortés, Reasoning About Actions for the Management of Urban Wastewater Systems: Preliminary report, In Proceedings of the Twelfth International Congress of the Catalan Association of Artificial Intelligence (CCIA 2009), Frontiers in Artificial Intelligence and Applications, Vol 202, IOS Press, Octuber 21-32, Cardona Spain, 2009.
• Sofia Panagiotidi, Juan Carlos Nieves, and Javier Vázquez-Salceda. A framework to model norm dynamics in Answer Set Programming, Proceedings of the workshop Formal Approaches to Multi-Agent Systems (FAMAS'09) , CEUR Workshop Proceedings vol 494, ISSN 1613-0073, Torino, Italy, September 7-10, 2009.
• Juan Carlos Nieves, Mauricio Osorio, and Claudia Zepeda. Expressing Extension-Based Semantics based on Stratified Minimal Models. In H. Ono, M. Kanazawa, and R. de Queiroz, editors, Proceedings of WoLLIC 2009, volume 5514 of Lecture Notes in Computer Science (FoLLI-LNAI subseries), Springer Verlag, pages 305-319 Tokyo, Japan, 2009.
• Montse Aulinas, Juan Carlos Nieves, Manel Poch, and Ulises Cortés. Supporting Decision Making in River Basin Systems Using a Declarative Reasoning Approach. In M. Finkel and P. Grathwohl, editors, Proceedings of the AquaTerra Conference (Scientic Fundamentals for River Basic Management), ISSN 0935-4948, page 75, March, Germany, 2009.
• Ignasi Gomez-Sebastià, Manel Palau, Juan Carlos Nieves, Javier Vazquez-Salceda and Luigi Ceccaroni, Dynamic Orchestration of Distributed Services on Interactive Community Displays: the ALIVE approach , in Proceedings of PAAMS'09, Advances in Intelligent And Soft Computing Vol 55, Springer, pages 250-259, Salamanca Spain, 2009

2008

• Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés. Possibilistic-based Argumentation: An Answer Set Programming Approach . in Proceedings of the 9th Mexican Int. Conf. Computer Science, IEEE Computer Society 2008, pages 249-260, Mexicali, México, Octuber 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