Kakor

För att kunna chatta behöver du tillåta att Microsoft Dynamics använder kakor.

Umeå universitet
printicon
Huvudmenyn dold.
Personalbild Juan Carlos Nieves Sanchez

Juan Carlos Nieves Sanchez

Docent inom teoretiska grunder för artificiell intelligens (AI). Biträdande programansvarig för Masterprogrammet i AI. 

Kontakt

E-post
juan.carlos.nieves@umu.se
Telefon
090-786 61 25

Verksam vid

Anknytning
Universitetslektor vid Institutionen för datavetenskap
Plats
MIT-huset, Umeå universitet, MIT.C.427 Umeå universitet, 901 87 Umeå

Forskning inom tillämpningar och teoretiska grunder för artificiell intelligens med fokus på formella resonemang. Under de senaste åren har jag varit särskilt intresserad av hur teorier om mänskligt beslutsfattande och mänsklig aktivitet kan översättas till formella beräkningsteorier som kan förbättra den sociala anpassningsförmågan hos intelligenta system.

Mer information om mina aktiviteter.

 

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
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
Andreas, Brännström; 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.
Arguing through the well-founded semantics: an argumentation engine
Elsevier 2014
Guerrero, Esteban; Nieves, Juan Carlos; Lindgren, Helena
Argumentation Inference as Logic Programming Inference: an Extended Abstract
The 28th annual workshop of the Swedish Artificial Intelligence Society (SAIS)
Nieves, Juan Carlos
Deliberative Argumentation for Smart Environments
PRIMA 2014: Principles and Practice of Multi-Agent Systems, Springer International Publishing 2014 : 141-149
Nieves, Juan Carlos; Guerrero, Esteban; Baskar, Jayalakshmi; et al.
Agent-based reasoning in medical planning and diagnosis combining multiple strategies
International journal on artificial intelligence tools, World Scientific 2014, Vol. 23, (01, Special issue) : 1440004-
Nieves, Juan Carlos; Lindgren, Helena; Cortés, Ulises
Visa publikationer i DiVA

Forskargrupper

Forskningsledare
Interactive and Intelligent Systems
Gruppmedlem
Responsible Artificial Intelligence

Forskningsprojekt

1 oktober 2020 till 30 september 2024
Strategic Argumentation för att hantera interaktion mellan intelligenta system och människor
1 september 2020 till 31 augusti 2022
Trust AI - Trustworthy AI
1 maj 2019 till 1 maj 2021
Hållbar AI
1 april 2019 till 1 september 2020
Kollaborativt mixed-reality hjälpmedel för barn och unga med autism
1 januari 2019 till 31 december 2022
AI4EU
1 januari 2019 till 31 december 2024
AI Glass Box - AI glaslåda
10 september 2018 till 9 september 2022
CA17124 - Digital forensics: evidence analysis via intelligent systems and practices
1 januari 2018 till 31 december 2021
Socially Intelligent Systems for Human-Agent Collaboration
1 augusti 2017 till 31 juli 2019
Autonomous systems that recognise, explain, and predict complex human activities
1 juli 2015 till 30 juni 2018
NTC - Nordic Telemedicine Center