Skip to content

Information for students, faculty and staff regarding COVID-19. (Updated: 15 April 2021)

printicon
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.

Works at

Affiliation
Associate professor at Department of Computing Science
Location
MIT-huset, Umeå universitet, C427 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.

Journal of logic and computation (Print), Oxford University Press 2021, Vol. 31, (2) : 654-699
Kampik, Timotheus; Nieves, Juan Carlos
IEEE Intelligent Systems
Lindgren, Helena; Kampik, Timotheus; Guerrero, Esteban; et al.
The AAAI 2021 Workshop on Plan, Activity, and Intent Recognition (PAIR 2021).
Morveli-Espinoza, Mariela; Nieves, Juan Carlos; Cesar Augusto, Tacla
Workshop Program
Andreas, Brännström; Kampik, Timotheus; Nieves, Juan Carlos
Engineering Multi-Agent Systems, Cham: Springer 2020 : 215-234
Kampik, Timotheus; Nieves, Juan Carlos
Knowledge engineering review (Print), Cambridge University Press 2020, Vol. 35 : 1-27
Mariela, Morveli-Espinoza; Nieves, Juan Carlos; Cesar Augusto, Tacla
ECAI 2020, IOS Press 2020 : 2921-2922
Morveli-Espinoza, Mariela; Nieves, Juan Carlos; Augusto Tacla, Cesar
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
Studies in Health Technology and Informatics, IOS Press 2019, Vol. 264 : 521-525
Blusi, Madeleine; Nieves, Juan Carlos
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
EMAS 2019: Accepted Papers
Kampik, Timotheus; Nieves, Juan Carlos
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
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
International Journal of Approximate Reasoning, Elsevier 2019, Vol. 105 : 1-26
Mariela, Morveli-Espinoza; Nieves, Juan Carlos; Ayslan, Trevizan; et al.
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.
Symbolic and Quantitative Approaches with Uncertainty: ECSQARU 2019, Springer 2019 : 39-49
Morveli-Espinoza, Mariela; Nieves, Juan Carlos; Tacla, Cesar Augusto
AI Communications, IOS Press 2019, Vol. 32 : 335-346
Nieves, Juan Carlos
Logics in Artificial Intelligence: JELIA 2019, Springer 2019 : 794-802
Oetsch, Johannes; Nieves, Juan Carlos
Knowledge and Information Systems, Springer 2018, Vol. 54, (3) : 633-658
Guerrero, Esteban; Nieves, Juan Carlos; Sandlund, Marlene; et al.
AIH 2018: Joint Workshop on AI in Health
Ingeson, Martin; Blusi, Madeleine; Nieves, Juan Carlos
Proceedings of the 20th International Trust Workshop, CEUR-WS 2018 : 38-49
Kampik, Timotheus; Nieves, Juan Carlos; Lindgren, Helena
6th International Workshop on Engineering Multi-Agent Systems (EMAS 2018), Stockholm, Sweden, 14–15 July, 2018
Kampik, Timotheus; Nieves, Juan Carlos; Lindgren, Helena
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
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.
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.
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
Scientific Programming
Nieves, Juan Carlos; Osorio, Mauricio
Autonomous Agents and Multi-Agent Systems, Springer 2018, Vol. 32, (6) : 861-885
Yan, Chunli; Lindgren, Helena; Nieves, Juan Carlos
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.
Fundamenta Informaticae, Vol. 155, (3)
Gaggl, Sarah Alice; Nieves, Juan Carlos; Strass, Hannes; et al.
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.
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
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
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
Theory and Practice of Logic Programming, Cambridge University Press 2017, Vol. 17, (1) : 75-90
Osorio, Mauricio; Nieves, Juan Carlos
Argument & Computation, IOS Press 2016, Vol. 7, (1) : 5-33
Guerrero, Esteban; Nieves, Juan Carlos; Lindgren, Helena
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.
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.
Journal of logic and computation (Print), Oxford University Press 2016, Vol. 26, (5) : 1361-1393
Nieves, Juan Carlos; Osorio, Mauricio
International Journal of Approximate Reasoning, Elsevier 2015, Vol. 64 : 54-74
Guerrero, Esteban; Nieves, Juan Carlos; Lindgren, Helena
International Journal of Approximate Reasoning, Vol. 59 : 1-19
Nieves, Juan Carlos; Lindgren, Helena
Multi-agent systems (EUMAS 2014), Springer 2015 : 388-397
Nieves, Juan Carlos; Lindgren, Helena
Electronical Notes in Theoretical Computer Science, Elsevier 2015, Vol. 315, (9) : 1-2
Nieves, Juan Carlos; Marcial-Romero, José Raymundo
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.
Elsevier 2014
Guerrero, Esteban; Nieves, Juan Carlos; Lindgren, Helena
The 28th annual workshop of the Swedish Artificial Intelligence Society (SAIS)
Nieves, Juan Carlos
PRIMA 2014: Principles and Practice of Multi-Agent Systems, Springer International Publishing 2014 : 141-149
Nieves, Juan Carlos; Guerrero, Esteban; Baskar, Jayalakshmi; et al.
International journal on artificial intelligence tools, World Scientific 2014, Vol. 23, (01, Special issue) : 1440004-
Nieves, Juan Carlos; Lindgren, Helena; Cortés, Ulises
Advances in Practical Applications of Heterogeneous Multi-Agent Systems: The PAAMS Collection : 12th International Conference, PAAMS 2014, Salamanca, Spain, June 4-6, 2014. Proceedings, Springer 2014 : 303-314
Yan, Chunli; Nieves, Juan Carlos; Lindgren, Helena

Research groups

Group member

Research projects

1 September 2020 until 31 August 2022
1 May 2019 until 1 May 2021
1 April 2019 until 1 September 2020
1 January 2019 until 31 December 2022
1 January 2019 until 31 December 2024
1 January 2018 until 31 December 2021
1 July 2015 until 30 June 2018