Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Master Thesis (in Spanish): Semantica operacional de un lenguaje logico funcional.

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

Computer Science Bibliography: DBLP
Google Scholar Citations: LINK

Ongoing draft long papers

• Johannes Oetsch, Juan Carlos Nieves: A Knowledge Representation Perspective on Activity Theory. CoRR abs/1811.05815 (2018)

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

• Christopher Blöcker, Juan Carlos Nieves, Martin Rosvall: Map Equation Centrality: A Community-Aware Centrality Score Based on the Map Equation. Accepted by Applied Network Science Journal, 2022
• Mariela Morveli-Espinoza, Juan Carlos Nieves, Cesar Augusto Tacla: Handling temporality in human activity reasoning. J. Intell. Fuzzy Syst. 42(5): 4387-4398, 2022.
• Timotheus Kampik, Juan Carlos Nieves, Dov M. Gabbay: Ensuring reference independence and cautious monotony in abstract argumentation. Int. J. Approx. Reason. 140: 173-210, 2022.
• Fulvio Yesid Vivas, Oscar M. Caicedo, Juan Carlos Nieves: A Semantic and Knowledge-Based Approach for Handover Management. Sensors 21(12): 4234, 2021.
• Timotheus Kampik , Juan Carlos Nieves: Abstract Argumentation and the Rational Man. the Journal of Logic and Computation, pp: 654-699, 2021.
• Helena Lindgren, Timotheus Kampik, Esteban Guerrero Rosero, Madeleine Blusi, Juan Carlos Nieves: Argumentation-based Health Information Systems: A Design Methodology. the IEEE Intelligent Systems journal, 2021.
• Mariela Morveli-Espinoza, Juan Carlos Nieves, Ayslan Trevizan, Cesar Tacla: Measuring the strength of threats, rewards, and appeals in persuasive negotiation dialogues. The Knowledge Engineering Review, Volume 35 , 2020.
• Mariela Morveli-Espinoza, Juan Carlos Nieves, Ayslan Trevizan, Cesar Tacla: Dealing with Incompatibilities among Procedural Goals under Uncertainty. Iberoamerican Journal of Artificial Intelligence (Inteligencia Artificial), 22(64):47-62, 2019.
• Juan Carlos Nieves: Approximating agreements in formal argumentation dialogues. AI Communications Journal, 32(4):335-346, 2019.
• Mariela Morveli-Espinoza, Juan Carlos Nieves, Ayslan Trevizan, J. Puyol-Gruart, Cesar Tacla: An Argumentation-based Approach for Identifying and Dealing with Incompatibilities among Procedural Goals. International Journal of Approximate Reasoning, 105:1-26, February 2019.
• Chunli Yan, Helena Lindgren, Juan Carlos Nieves: A dialogue-based approach for dealing with uncertain and conflicting information in practical medical diagnosis, Autonomous Agents and Multi-Agent Systems, 32(6): 861-885, 2018.
• Esteban Guerrero, Juan Carlos Nieves, Marlene Sandlund, Helena Lindgren: Activity qualifiers using an argument-based construction, Knowledge and Information Systems, ISSN: 0219-1377 (Print), on-line, 2017.
• Juan Carlos Nieves and Mauricio Osorio: Extending well-founded semantics with Clark's Completion for disjunctive logic programs, Scientific Programming, ISSN: 1058-9244.
• Mauricio Osorio, Juan Carlos Nieves: Range-based argumentation semantics as 2-valued models, Theory and Practice of Logic Programming (TPLP), ISSN: 1471-0684, 17(1):75-90, 2017. DOI - 10.1017/S1471068416000090.
• Esteban Guerrero, Juan Carlos Nieves, Helena Lindgren: An Activity-Centric Argumentation Framework for Assistive Technology Aimed at Improving Health. Argument and Computation Journal, ISSN: 1946-2166 (Print), 1946-2174, Published online May-2016. DOI:10.3233/AAC-160004.
• Esteban Guerrero, Juan Carlos Nieves, Helena Lindgren: Semantic-based Construction of Arguments: an Answer Set Programming Approach , International Journal of Approximate Reasoning, ISSN 0888-613X, July 2015, DOI - 10.1016/j.ijar.2015.06.009.
• Juan Carlos Nieves, Helena Lindgren: Possibilistic Nested Logic Programs and Strong Equivalence, International Journal of Approximate Reasoning, ISSN 0888-613X, April 2015, DOI - 10.1016/j.ijar.2015.01.004.
• Juan Carlos Nieves, Mauricio Osorio: Ideal Extensions as Logical Programming Models, Journal of Logic and Computation (JLC), ISSN:0955-792X, ON-LINE 2014, DOI - 10.1093/logcom/exu014 .
• Juan Carlos Nieves, Helena Lindgren, Ulises Cortés: Agent-Based Reasoning in Medical Planning and Diagnosis Combining Multiple Strategies, International Journal on Artificial Intelligence Tools, ISSN 0218-2130, 32(01):[31 pages], 2014, DOI - 10.1142/S0218213014400041 .
• Juan Carlos Nieves, Angelina Espinoza, Yoseba K. Penya, Mariano Ortega, Aitor Peña: Intelligence Distribution for Data Processing in Smart Grids: A Semantic Approach, Engineering Applications of Artificial Intelligence, ISSN 0952-1976, 26(8):1841-1853, 2013. DOI - 10.1016/j.engappai.2013.03.016
• Juan Carlos Nieves, Mauricio Osorio,Ulises Cortés: Semantics for Possibilistic Disjunctive Programs , Theory and Practice of Logic Programming (TPLP), ISSN: 1471-0684, 13(1):33-70, 2013. DOI - 10.1017/S1471068411000408
• Angelina Espinoza, Yoseba K. Penya, Juan Carlos Nieves, Mariano Ortega, Aitor Peña, Daniel Rodríguez-Alvarez: Supporting Business Workflows in Smart Grids: An Intelligent Nodes-Based Approach, IEEE Transactions on Industrial Informatics, ISSN 1551-3203, 9(3):1384-1397, 2013. DOI - 10.1109/TII.2013.2256792
• Yoseba K. Penya, Juan Carlos Nieves, Angelina Espinoza, Cruz Enrique Borges, Aitor Peña, Mariano Ortega: Distributed Semantic Architecture for Smart Grids, ENERGIES, ISSN 1996-1073, 5(11):4824-4843, 2012. DOI - 10.3390/en5114824
• Roberto Confalonieri, Juan Carlos Nieves, Mauricio Osorio, Javier Vázquez-Salceda: Dealing with explicit preferences and uncertainty in answer set programming, Annals of Mathematics and Artificial Intelligence, ISSN 1012-2443, 65(2-3):159-198, July 2012. DOI - 10.1007/s10472-012-9311-0
• Dario Garcia-Gasulla, Manel Pochc, Juan Carlos Nieves, Ulises Cortes, Claudia Turon: A logic-based environmental decision support system for the management of horizontal subsurface constructed wetlands, Ecological Engineering , 47:44-55, ISSN: 0925-8574, October 2012. DOI - 10.1016/j.ecoleng.2012.06.010
• Juan Carlos Nieves, Dario Garcia, Montse Aulinas, Ulises Cortes: An Operational Approach for Implementing Normative Agents in Urban Wastewater Systems. Computacion y Sistemas, 16 (1):27-42, ISSN 1405-5546, 2012.
• Roberto Confalonieri, Juan Carlos Nieves: Nested Preferences in Answer Set Programming, Fundamenta Informaticae, ISSN 0169-2968, 113(1):19-39, 2011. DOI - 10.3233/FI-2011-597
• Juan Carlos Nieves, Roberto Confalonieri: A Possibilitic Argumentation Decision Making Framework with Default Reasoning, Fundamenta Informaticae, ISSN 0169-2968, 113(1): 41-61, 2011. DOI - 10.3233/FI-2011-598
• 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. DOI - 10.1016/j.envsoft.2010.11.009
• 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.
• 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).
• Mauricio Osorio, Claudia Zepeda, Juan Carlos Nieves, Jose Luis Carballido: G'3-stable Semantics and Inconsistency, Computacion y Sistemas , ISSN 1405-5546, vol 13, no 1, pp 75-86, 2009.
• 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.
• Juan Carlos Nieves, Mauricio Osorio, Ulises Cortes: An Overview of Argumentation Semantics, Computacion y Sistemas, ISSN 1405-5546, Volume 12, Issue 1, pp 65-88, 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

2022

• Andreas Brännström, Juan Carlos Nieves: Emotional Reasoning in an Action Language for Emotion-Aware Planning. Accepted by the 16th International Conference on Logic Programming and Nonmonotonic Reasoning LPNMR-2022, 2022
• Andreas Theodorou, Juan Carlos Nieves and Virginia Dignum: Good AI for Good: How AI Strategies of the Nordic Countries Address the Sustainable Development Goals. Accepted by the 2nd Workshop on Adverse Impacts and Collateral Effects of Artificial Intelligence Technologies - AIofAI, 2022.
• Joel Wester, Andreas Brännström, Juan Carlos Nieves. Towards A Formalization of the Critical Friend and Socio-Moral Decision-Making in Autonomous Systems. Accepted by the Communication in Human-AI Interaction Workshop CHAI@IJCAI/ECAI, 2022.
• Andreas Brännström, Juan Carlos Nieves. A Framework for Developing Interactive Intelligent Systems in Unity. In the proceedings of the 10th International Workshop on Engineering Multi-Agent Systems EMAS@AAMAS, 2022.

---

2021

• Andreas Brännström, Juan Carlos Nieves: Modelling Human Mental-States in an Action Language following the Theory of Planned Behavior. In proceedings of the 14th Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP@ICLP, 2021
• Andrea Aler Tubella, Andreas Theodorou and Juan Carlos Nieves:Interrogating the Black Box: Transparency through Information-Seeking Dialogues. In proceedings of the 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2021), 2021.
• Timotheus Kampik and Juan Carlos Nieves: Consistent Agreement Approximation in Abstract Argumentation and Beyond. In proceedings of the 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2021), 2021.
• Mariela Morveli Espinoza, Juan Carlos Nieves and Cesar A. Tacla: Dealing with Conflicts between Human Activities: An Argumentation-based Approach. In the proceedings of the AAAI 2021 Workshop on Plan, Activity, and Intent Recognition (PAIR 2021), 2021.
• Mauricio Osorio , Luis A. Montiel Moreno, David Rojas-Velázquez, Juan Carlos Nieves: E-Friend: A Logical-Based AI Agent System Chat-Bot for Emotional Well-Being and Mental Health. In: Sarkadi, S., Wright, B., Masters, P., McBurney, P. (eds) Deceptive AI. DeceptECAI DeceptAI 2020 2021. Communications in Computer and Information Science, vol 1296. Springer, 2021.

---

2020

• Zahoorul Islam, Andreas Theodorou, Juan Carlos Nieves, Virginia Dignum: Ethical Guidelines for Trustworthy AI Systems. In the proceedings of the 32nd annual workshop of the Swedish Artificial Intelligence Society (SAIS) .
• Andreas Brännström, Timotheus Kampik, Juan Carlos Nievesa: Towards Human-Aware Epistemic Planning For Promoting Behavior-Change. In the proceedings of the Epistemic Planning Workshop @ ICAPS 2020.
• Mariela Morveli-Espinoza, Juan Carlos Nieves, Cesar Augusto Tacla: Towards an Imprecise Probability Approach for Abstract Argumentation, In the proceedings of the 24th European Conference on Artificial Intelligence (ECAI-2020), 2020.
• Mauricio Osorio, Luis Angel Montiel Moreno, David Rojas-Velázquez, Juan Carlos Nieves: E-friend: A logical-based AI Agent System Chat-bot for Emotional Well-being and Mental Health, In the proceedings of the 1st International Workshop on Deceptive AI @ECAI2020, 2020.
• Mariela Morveli-Espinoza, Juan Carlos Nieves, Cesar Augusto Tacla: Measuring the Strength of Rhetorical Arguments , In the proceedings of the 17th European Conference on Multi-Agent Systems (EUMAS-2020), 2020.

---

2019

• Mariela Morveli-Espinoza, Juan Carlos Nieves, Cesar Augusto Tacla: An Imprecise Probability Approach for Abstract Argumentation based on Credal Sets. In the proceedings of the European Conference on Symbolic Qualitative Reasoning and Uncertainty (ECSQARU-2019), 2019.
• Johannes Oetsch and Juan Carlos Nieves: Stable-Ordered Models for Propositional Theories with Order Operators. In proceegings of the 16th Edition of the European Conference on Logics in Artificial Intelligence (JELIA-2019), 2019.
• Madeleine Blusi, Juan Carlos Nieves: Feasibility and Acceptability of Smart Augmented Reality Assisting Patients with Medication Pill Box Self Management. the 17th World Congress of Medical and Health Informatics (MedInfo-2019), 2019.
• Timotheus Kampik, Juan Carlos Nieves: JS-son - a Minimal JavaScript BDI Agent Library , EMAS@AAMAS-19, 2019.
• Timotheus Kampik, Juan Carlos Nieves, Helena Lindgren: Explaining Sympathetic Actions of Rational Agents , EXTRAAMAS@AAMAS-19, 2019.

---

2018

• Timotheus Kampik, Juan Carlos Nieves and Helena Lindgren: Implementing Argumentation-enabled Empathic Agents. The proceedginds the 16th European Conference on Multi-Agent Systems, 6-7 December 2018, Bergen, Norway, 2018.
• Martin Ingeson, Madeleine Blusi and Juan Carlos Nieves: Smart Augmented Reality mHealth for Medication Adherence. The proceedings of Joint International Workshop on AI in Health (AIH) 2018.
• Timotheus Kampik, Juan Carlos Nieves and Helena Lindgren: Coercion and deception in persuasive technologies. The proceedings of 20th International TRUST Workshop 2018, 2018
• Timotheus Kampik, Juan Carlos Nieves and Helena Lindgren: Towards empathic autonomous agents. The proceedings of the 6th International Workshop on Engineering Multi-Agent Systems (EMAS 2018).
• Mariela Morveli Espinoza, Juan Carlos Nieves, Ayslan Possebom and Cesar A. Tacla: Resolving Incompatibilities among Procedural Goals under Uncertainty. The proceedings of the 6th International Workshop on Engineering Multi-Agent Systems (EMAS 2018), 2018.
• Mariela Morveli-Espinoza, Juan Carlos Nieves, Ayslan Trevizan, J. Puyol-Gruart, Cesar Tacla: Resolving, Incompatibilities between Procedural Goals: An Argumentation-based Approach. Pre-AAMAS2018 Workshop on Formal Methods and Logical Aspects of Multi-Agent Systems (FMLAMAS 2018), 2018.

---

2017

• Juan Carlos Nieves: Approximating agreements in argumentation dialogues, in the proceedings of the 5th International Conference on Agreement Technologies, Evry, 14-15 December 2017, LNCS 10767, 501-515, 2018.
• Jayalakshmi Baskar, Rebecka Janols, Esteban Guerrero, Juan Carlos Nieves, Helena Lindgren,: A Multipurpose Goal Model for Personalised Digital Coaching , in A2HC@AAMAS/A-HEALTH@PAAMS 2017, Springer, LNCS Vol. 10685, 2017.
• Helena Lindgren, Jayalakshmi Baskar, Esteban Guerrero, Rebecka Janols, Juan Carlos Nieves: Towards a Multipurpose Goal Model for Personalised Digital Coaching, in the proceedings of X Workshop on Agents Applied in Health Care, A2HC@AAMAS 2017, 2017.
• Juan Carlos Nieves: Strategic argumentation and structured arguments based on logic programs (abstract), in the proceedings of 17th Latin American Symposium on Mathematical Logic (SLALM 2017), 2017.

---

2016

• Juan Carlos Nieves: Expansion and equivalence relations on argumentation frameworks based on logic programs, in the 14th European Conference on Multi-Agent Systems (EUMAS 2016) in Valencia, Spain.
• Juan Carlos Nieves, Daniel Andrade, Esteban Guerrero: MAIoT - an IoT architecture with reasoning and dialogue capability, in the Proceedings of the AFI 360 Conference Track on Future Internet and Internet of Things Applications (FIoTA-06), 2016.
• Esteban Guerrero, Juan Carlos Nieves, Marlene Sandlund, Helena Lindgren: Activity qualifiers in an argumentation framework as instruments for agents when evaluating human activity. in the Proceedings of the 14th International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS-16), 2016.
• Helena Lindgren, Jayalakshmi Baskar, Esteban Guerrero, Juan Carlos Nieves, Ingeborg Nilsson, Chunli Yan: Computer-Supported Assessment for Tailoring Assistive Technology Digital Health 2016: 1-10, 2016.

---

2015

• Juan Carlos Nieves, Saeed Partonia, Esteban Guerrero, and Helena Lindgren: A Probabilistic Non-Monotonic Activity Qualifier, at the 6th International Conference on Ambient Systems, Networks and Technologies (ANT-2015), Procedia Computer Science - ELSEVIER, Vol 52:420-427, London, UK, 2015.
• Mauricio Osorio and Juan Carlos Nieves: Semi-Stable and Stage Extensions as 2-valued Models, at the first international Workshop on Argumentation and Logic Programming (ArgLP 2015 @ ICLP2015), Cork, Irland 2015. A revised version of this paper will be published by TPLP.
• Esteban Guerrero, Juan Carlos Nieves, Helena Lindgren: STRATA, a Platform for Evaluating Physical Capacity Based on Triangulation of Multiple Observation Sources, at the Workshop on Intelligent Environments Supporting Health and Wellbeing, Halmstad, Sweden 2015.

---

2014

• Juan Carlos Nieves, Helena Lindgren, Deliberative Argumentation for Service Provision in Smart Environments, 12th European Conference on Multi-Agent Systems (EUMAS 2014), LNCS, 2014.
• Juan Carlos Nieves, Esteban Guerrero, Jayalakshmi Baskar and Helena Lindgren, Deliberative Argumentation for Smart Environments, in 17th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2014), LNCS, vol: 8861, pp: 141-149 , 2014.
• Juan Carlos Nieves, Argumentation Inference as Logic Programming Inference: An Extended Abstract, Proceedings of the 28th annual workshop of the Swedish Artificial Intelligence Society (SAIS), Linköping University Electronic Press, 2014.
• Chunli Yan, Juan Carlos Nieves, Helena Lindgren, A multi-agent system implementing nested inquiry dialogues, 12th International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS), Springer, LNCS, Vol: 8473, pp: 303-314, 2014.

---

2013

• Juan Carlos Nieves and Helena Lindgren, Merging Deductive and Abductive Knowledge Bases: An Argumentation Context Approach, Polibits Journal, a special issue of the 12th Mexican International Conference on Artificial Intelligence (MICAI 2013), 48:39-46, 2013.
• Juan Carlos Nieves, Esteban Guerrero and Helena Lindgren, Reasoning about Human Activities: an Argumentative Approach , in the 12th Scandinavian AI conference (SCAI 2103), IOS Press, PP: 195-204, 2013.
• Mauricio Osorio, Juan Carlos Nieves and Alejandro Santoyo, Complete Extensions as Clark’s Completion Semantics, Mexican International Conference on Computer Science, IEEE Press, pp: 81-88, 2013.
• Esteban Guerrero, Helena Lindgren, Juan Carlos Nieves, ALI, an Ambient Assisted Living System for Supporting Behavior Change , VIII Workshop on Agents Applied in Health Care (A2HC), 2013.
• Esteban Guerrero, Juan Carlos Nieves, Helena Lindgren, ALI, an Assisted Living System Based on a Human-Centric Argument-Based Decision Making Framework , 13th workshop on Computational Models of Natural Argument (CMNA), 2013.
• Esteban Guerrero, Juan Carlos Nieves, Helena Lindgren, ALI: an Assisted Living System for Persons with Mild Cognitive Impairment , 26th IEEE International Symposium on Computer-Based Medical Systems (CBMS 2013), IEEE Press, pp 226-527, 2013. IEEE PressVersion.

---

2012

• Juan Carlos Nieves, Dipak Surie , Helena Lindgren , Modeling Actions Based on a Situative Space Model for Recognizing Human Activities,, in the Proceedings of The 15th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA 2012), LNAI 7557, pp. 266–275, 2012
• Juan Carlos Nieves, Helena Lindgren, Possibilistic Nested Logic Programs , Technical Communications of the 28th International Conference on Logic Programming (ICLP'12), Leibniz International Proceedings in Informatics (LIPIcs), pp 267-276, 2012.
• Juan Carlos Nieves, Helena Lindgren, Ulises Cortés, A Qualitative Medical Diagnosis Approach based on Observer and Validating Agents, VII Workshop on Agents Applied in Health Care (A2HC), pp 51-60, 2012. ( An extended version of this paper will be published by the International Journal on Artificial Intelligence Tools).
• Juan Carlos Nieves, Mauricio Osorio, Helena Lindgren, Managing Inconsistent Possibilistic Knowledge Bases by An Argumentation Approach, in the Proceedings of the 27th annual workshop of the Swedish Artificial Intelligence Society (SAIS), pp 17-23, 2012.

---

2011

• Juan Carlos Nieves, Mauricio Osorio, Studying Ideal Semantics via Logic Programming Semantics, 10th Mexican International Conference on Artificial Intelligence (MICAI 2011), IEEE Computer Society Press, pp 3-8, 2011. (An extended version of this paper will be published by the Journal of Logic and Computation (JLC),).
• 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), IEEE Computer Society Press, pp 733-738, 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.