Hoppa direkt till innehållet

Kakor

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

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
Telefon

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.

 

Journal of logic and computation (Print), Oxford University Press 2021, Vol. 31, (2) : 654-699
Kampik, Timotheus; Nieves, Juan Carlos
IEEE Intelligent Systems, Los Alamitos, CA, USA: IEEE Computer Society 2021, Vol. 36, (2) : 72-80
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
Sensors, MDPI 2021, Vol. 21, (12)
Vivas, Fulvio Yesid; Caicedo, Oscar Mauricio; Nieves, Juan Carlos
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

Forskargrupper

Gruppmedlem

Forskningsprojekt

1 september 2020 till 31 augusti 2022
1 maj 2019 till 1 maj 2021
1 januari 2019 till 31 december 2022
1 januari 2019 till 31 december 2024
1 januari 2018 till 31 december 2021
1 juli 2015 till 30 juni 2018