Umeå University
printicon
Main menu hidden.
Staff photo Juan Carlos Nieves Sanchez

Juan Carlos Nieves Sanchez

Associate professor (Docent) in Artificial Intelligence (AI). Deputy Programme Director of the MSc programme in AI. Member of the council for Doctoral Education in Computer Science.

Contact

E-mail
juan.carlos.nieves@umu.se
Phone
+46 90 786 61 25

Works at

Affiliation
Associate professor at Department of Computing Science
Location
MIT-huset, Umeå universitet, MIT.C.427 Umeå universitet, 901 87 Umeå

Research in Applications and Theoretical Foundations of Artificial Intelligence with focus on formal reasoning. During the last years, I am particularly interested in how theories on human decision-making and human activity can be translated into formal computational theories that may enhance the social adaptability of intelligent systems.

More information about my activities.

Ensuring reference independence and cautious monotony in abstract argumentation
International Journal of Approximate Reasoning, Elsevier 2022, Vol. 140 : 173-210
Kampik, Timotheus; Nieves, Juan Carlos; Gabbay, Dov
Interrogating the black box: Transparency through information-seeking dialogues
Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS) 2021 : 106-114
Aler Tubella, Andrea; Theodorou, Andreas; Nieves, Juan Carlos
Modelling Human Mental-States in an Action Language following the Theory of Planned Behavior
Proceedings of the International Conference on Logic Programming 2021 Workshops, Porto, Portugal, September 20-21, 2021
Brännström, Andreas; Nieves, Juan Carlos
Abstract argumentation and the rational man
Journal of logic and computation (Print), Oxford University Press 2021, Vol. 31, (2) : 654-699
Kampik, Timotheus; Nieves, Juan Carlos
Toward consistent agreement approximation in abstract argumentation and beyond
Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS) 2021 : 1551-1553
Kampik, Timotheus; Nieves, Juan Carlos
Argumentation-based Health Information Systems: A Design Methodology
IEEE Intelligent Systems, Los Alamitos, CA, USA: IEEE Computer Society 2021, Vol. 36, (2) : 72-80
Lindgren, Helena; Kampik, Timotheus; Guerrero, Esteban; et al.
Dealing with Conflicts between Human Activities: An Argumentation-based Approach
The AAAI 2021 Workshop on Plan, Activity, and Intent Recognition (PAIR 2021).
Morveli-Espinoza, Mariela; Nieves, Juan Carlos; Cesar Augusto, Tacla
A semantic and knowledge-based approach for handover management
Sensors, MDPI 2021, Vol. 21, (12)
Vivas, Fulvio Yesid; Caicedo, Oscar Mauricio; Nieves, Juan Carlos
Towards Human-Aware Epistemic Planning For Promoting Behavior-Change
Workshop Program
Brännström, Andreas; Kampik, Timotheus; Nieves, Juan Carlos
JS-son: A Lean, Extensible JavaScript Agent Programming Library
Engineering Multi-Agent Systems, Cham: Springer 2020 : 215-234
Kampik, Timotheus; Nieves, Juan Carlos
Measuring the strength of threats, rewards, and appeals in persuasive negotiation dialogues
Knowledge engineering review (Print), Cambridge University Press 2020, Vol. 35 : 1-27
Mariela, Morveli-Espinoza; Nieves, Juan Carlos; Cesar Augusto, Tacla
Towards an Imprecise Probability Approach forAbstract Argumentation
ECAI 2020, IOS Press 2020 : 2921-2922
Morveli-Espinoza, Mariela; Nieves, Juan Carlos; Augusto Tacla, Cesar
Measuring the Strength of Rhetorical Arguments
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer 2020 : 415-430
Morveli-Espinoza, Mariela; Nieves, Juan Carlos; Tacla, Cesar Augusto
Feasibility and Acceptability of Smart Augmented Reality Assisting Patients with Medication Pillbox Self-Management
Studies in Health Technology and Informatics, IOS Press 2019, Vol. 264 : 521-525
Blusi, Madeleine; Nieves, Juan Carlos
Microsoft Hololens: A mHealth Solution for Medication Adherence
Artificial Intelligence in Health: First International Workshop, AIH 2018, Stockholm, Sweden, 13-14 July, 2018, Revised Selected Papers, Springer 2019 : 99-115
Ingeson, Martin; Blusi, Madeleine; Nieves, Juan Carlos
JS-son - A Minimal JavaScript BDI Agent Library
EMAS 2019: Accepted Papers
Kampik, Timotheus; Nieves, Juan Carlos
Empathic autonomous agents
Engineering multi-agent systems: 6th international workshop, EMAS 2018, Stockholm, Sweden, July 14-15, 2018, revised selected papers, Cham: Springer 2019 : 181-201
Kampik, Timotheus; Nieves, Juan Carlos; Lindgren, Helena
Explaining Sympathetic Actions of Rational Agents
Explainable, Transparent Autonomous Agents and Multi-Agent Systems: First International Workshop, EXTRAAMAS 2019, Montreal, QC, Canada, May 13–14, 2019, Revised Selected Papers, Cham: Springer 2019 : 59-76
Kampik, Timotheus; Nieves, Juan Carlos; Lindgren, Helena
An Argumentation-based Approach for Identifying and Dealing with Incompatibilities among Procedural Goals
International Journal of Approximate Reasoning, Elsevier 2019, Vol. 105 : 1-26
Mariela, Morveli-Espinoza; Nieves, Juan Carlos; Ayslan, Trevizan; et al.
Dealing with Incompatibilities among Procedural Goals under Uncertainty
Inteligencia Artificial. Ibero-American Journal of Artificial Intelligence, IBERAMIA 2019, Vol. 22, (64) : 47-62
Morveli Espinoza, Mariela; Nieves, Juan Carlos; Possebom, Ayslan; et al.
An Imprecise Probability Approach for Abstract Argumentation Based on Credal Sets
Symbolic and Quantitative Approaches with Uncertainty: ECSQARU 2019, Springer 2019 : 39-49
Morveli-Espinoza, Mariela; Nieves, Juan Carlos; Tacla, Cesar Augusto
Approximating agreements in formal argumentation dialogues
AI Communications, IOS Press 2019, Vol. 32 : 335-346
Nieves, Juan Carlos
Stable-Ordered Models for Propositional Theories with Order Operators
Logics in Artificial Intelligence: JELIA 2019, Springer 2019 : 794-802
Oetsch, Johannes; Nieves, Juan Carlos
Activity qualifiers using an argument-based construction
Knowledge and Information Systems, Springer 2018, Vol. 54, (3) : 633-658
Guerrero, Esteban; Nieves, Juan Carlos; Sandlund, Marlene; et al.
Smart augmented reality mHealth for medication adherence
AIH 2018: Joint Workshop on AI in Health
Ingeson, Martin; Blusi, Madeleine; Nieves, Juan Carlos
Coercion and deception in persuasive technologies
Proceedings of the 20th International Trust Workshop, CEUR-WS 2018 : 38-49
Kampik, Timotheus; Nieves, Juan Carlos; Lindgren, Helena
Towards empathic autonomous agents
6th International Workshop on Engineering Multi-Agent Systems (EMAS 2018), Stockholm, Sweden, 14–15 July, 2018
Kampik, Timotheus; Nieves, Juan Carlos; Lindgren, Helena
Implementing Argumentation-enabled Empathic Agents
Multi-Agent Systems: 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers, Springer Berlin/Heidelberg 2018 : 140-155
Kampik, Timotheus; Nieves, Juan Carlos; Lindgren, Helena
Resolving Incompatibilities between Procedural Goals: An Argumentation-based Approach
Pre-AAMAS2018 Workshop on Formal Methods and Logical Aspects of Multi-Agent Systems (FMLAMAS 2018), 10 July 2018, Stockholm, Sweden
Morveli Espinoza, Mariela; Nieves, Juan Carlos; Possebom, Ayslan T.; et al.
Resolving Incompatibilities among Procedural Goals under Uncertainty
6th International Workshop on Engineering Multi-Agent Systems (EMAS 2018), 14–15 July 2018, Stockholm, Sweden
Morveli-Espinoza, Mariela; Nieves, Juan Carlos; Possebom, Ayslan; et al.
Approximating agreements in argumentation dialogues
Multi-agent systems and agreement technologies: 15th European conference, EUMAS 2017, and 5th international conference, AT 2017, Evry, France, December 14-15, 2017, revised selected papers, Springer 2018 : 501-515
Nieves, Juan Carlos
Extending Well-Founded Semantics with Clark's Completion for Disjunctive Logic Programs
Scientific Programming
Nieves, Juan Carlos; Osorio, Mauricio
A Dialogue-Based Approach for Dealing with Uncertain and Conflicting Information in Medical Diagnosis
Autonomous Agents and Multi-Agent Systems, Springer 2018, Vol. 32, (6) : 861-885
Yan, Chunli; Lindgren, Helena; Nieves, Juan Carlos
A Multipurpose Goal Model for Personalised Digital Coaching
Agents and Multi-Agent Systems for Health Care: 10th International Workshop, A2HC 2017, São Paulo, Brazil, May 8, 2017, and International Workshop, A-HEALTH 2017, Porto, Portugal, June 21, 2017, Revised and Extended Selected Papers, Springer 2017 : 94-116
Baskar, Jayalakshmi; Janols, Rebecka; Guerrero, Esteban; et al.
Preface: Argumentation and Logic Programming (Revised Selected Papers of ArgLP 2015)
Fundamenta Informaticae, Vol. 155, (3)
Gaggl, Sarah Alice; Nieves, Juan Carlos; Strass, Hannes; et al.
Towards a Multipurpose Goal Model for Personalised Digital Coaching
Agents and Multi-Agent Systems for Health Care: 10th International Workshop, A2HC 2017, São Paulo, Brazil, May 8, 2017, and International Workshop, A-HEALTH 2017, Porto, Portugal, June 21, 2017, Revised and Extended Selected Papers, Springer 2017 : 94-116
Lindgren, Helena; Baskar, Jayalakshmi; Guerrero, Esteban; et al.
Expansion and equivalence relations on argumentation frameworks based on logic programs
Multi-agent systems and agreement technologies: 14th European conference, EUMAS 2016, and 4th international conference, AT 2016, Valencia, Spain, December 15-16, 2016, revised selected papers, Cham: Springer 2017 : 375-389
Nieves, Juan Carlos
MAIoT: An IoT Architecture with Reasoning and Dialogue Capability
Applications for Future Internet: International Summit, AFI 2016, Puebla, Mexico, May 25-28, 2016, Revised Selected Papers, Cham: Springer 2017 : 109-113
Nieves, Juan Carlos; Andrade, Daniel; Guerrero, Esteban
Editorial:: Thematic issue: Advances in Logic-based Methods for Intelligent Systems
Journal of Computacion y Sistemas, IPN - Computing Research Center (Centro de Investigación en Computación del IPN) 2017, Vol. 21, (3) : 399-400
Nieves, Juan Carlos; Haeusler, Edward Hermann; Lopes, Bruno
Range-based argumentation semantics as two-valued models
Theory and Practice of Logic Programming, Cambridge University Press 2017, Vol. 17, (1) : 75-90
Osorio, Mauricio; Nieves, Juan Carlos
Arg-LPNMR 2016 proceedings: First International Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning
Dresden: International center for computational logic 2016
An activity-centric argumentation framework for assistive technology aimed at improving health
Argument & Computation, IOS Press 2016, Vol. 7, (1) : 5-33
Guerrero, Esteban; Nieves, Juan Carlos; Lindgren, Helena
Activity qualifiers in an argumentation framework as instruments for agents when evaluating human activity
Advances in Practical Applications of Scalable Multi-agent Systems. The PAAMS Collection: 14th International Conference, PAAMS 2016, Sevilla, Spain, June 1-3, 2016, Proceedings, Springer 2016 : 133-144
Guerrero, Esteban; Nieves, Juan Carlos; Sandlund, Marlene; et al.
Computer-Supported Assessment for Tailoring Assistive Technology
DH'16: PROCEEDINGS OF THE 2016 DIGITAL HEALTH CONFERENCE, New York: Association for Computing Machinery (ACM) 2016 : 1-10
Lindgren, Helena; Baskar, Jayalakshmi; Guerrero, Esteban; et al.
Ideal Extensions as Logical Programming Models
Journal of logic and computation (Print), Oxford University Press 2016, Vol. 26, (5) : 1361-1393
Nieves, Juan Carlos; Osorio, Mauricio
Semantic-based construction of arguments: an answer set programming approach
International Journal of Approximate Reasoning, Elsevier 2015, Vol. 64 : 54-74
Guerrero, Esteban; Nieves, Juan Carlos; Lindgren, Helena
Possibilistic nested logic programs and strong equivalence
International Journal of Approximate Reasoning, Vol. 59 : 1-19
Nieves, Juan Carlos; Lindgren, Helena
Deliberative argumentation for service provision in smart environments
Multi-agent systems (EUMAS 2014), Springer 2015 : 388-397
Nieves, Juan Carlos; Lindgren, Helena
Preface
Electronical Notes in Theoretical Computer Science, Elsevier 2015, Vol. 315, (9) : 1-2
Nieves, Juan Carlos; Marcial-Romero, José Raymundo
A Probabilistic Non-Monotonic Activity Qualifier
The 6th International Conference on Ambient Systems, Networks and Technologies (ANT-2015), the 5th International Conference on Sustainable Energy Information Technology (SEIT-2015), Elsevier 2015 : 420-427
Nieves, Juan Carlos; Partonia, Saeed; Guerrero, Esteban; et al.
View publications in DiVA

Research groups

Research leader
Interactive and Intelligent Systems
Group member
Responsible Artificial Intelligence

Research projects

1 October 2020 until 30 September 2024
Strategic Argumentation to deal with interactions between intelligent systems and humans
1 September 2020 until 31 August 2022
Trust AI - Trustworthy AI
1 May 2019 until 1 May 2021
Sustainable AI
1 April 2019 until 1 September 2020
Collaborative mixed-reality aid for children with autism
1 January 2019 until 31 December 2022
AI4EU
1 January 2019 until 31 December 2024
AI Glass Box
10 September 2018 until 9 September 2022
CA17124 - Digital forensics: evidence analysis via intelligent systems and practices
1 January 2018 until 31 December 2021
Socially Intelligent Systems for Human-Agent Collaboration
1 August 2017 until 31 July 2019
Autonomous systems that recognise, explain, and predict complex human activities
1 July 2015 until 30 June 2018
NTC - Nordic Telemedicine Center