Information till medarbetare med anledning av covid-19 (Uppdaterad: 26 juni 2020)

Vi använder kakor (cookies) för att förbättra funktionaliteten och besökarupplevelsen på webbplatsen. Du kan blockera kakor genom att göra inställningar i din webbläsare. Genom att surfa vidare godkänner du att vi använder kakor. Läs mer om kakor
English
Umeå universitet
printicon
Personalbild Juan Carlos Nieves Sanchez

Juan Carlos Nieves Sanchez

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, C427 Umeå universitet, 901 87 Umeå
2019
Feasibility and Acceptability of Smart Augmented Reality Assisting Patients with Medication Pillbox Self-Management
Studies in Health Technology and Informatics : 521-525
Blusi, Madeleine; Nieves, Juan Carlos
2019
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
2019
JS-son - A Minimal JavaScript BDI Agent Library
EMAS 2019: Accepted Papers
Kampik, Timotheus; Nieves, Juan Carlos
2019
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
2019
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
2019
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.
2019
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.
2019
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
2019
Approximating agreements in formal argumentation dialogues
AI Communications, IOS Press 2019, Vol. 32 : 335-346
Nieves, Juan Carlos
2019
Stable-Ordered Models for Propositional Theories with Order Operators
Logics in Artificial Intelligence: JELIA 2019, Springer 2019 : 794-802
Oetsch, Johannes; Nieves, Juan Carlos
2018
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.
2018
Smart augmented reality mHealth for medication adherence
AIH 2018: Joint Workshop on AI in Health
Ingeson, Martin; Blusi, Madeleine; Nieves, Juan Carlos
2018
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
2018
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
2018
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
2018
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.
2018
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.
2018
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
2018
Extending Well-Founded Semantics with Clark's Completion for Disjunctive Logic Programs
Scientific Programming
Nieves, Juan Carlos; Osorio, Mauricio
2018
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
2017
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.
2017
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.
2017
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.
2017
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
2017
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
2017
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
2017
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
2016
Arg-LPNMR 2016 proceedings: First International Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning
Dresden: International center for computational logic 2016
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
2016
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.
2016
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.
2016
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
2015
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
2015
Possibilistic nested logic programs and strong equivalence
International Journal of Approximate Reasoning, Vol. 59 : 1-19
Nieves, Juan Carlos; Lindgren, Helena
2015
Deliberative argumentation for service provision in smart environments
Multi-agent systems (EUMAS 2014), Springer 2015 : 388-397
Nieves, Juan Carlos; Lindgren, Helena
2015
Preface
Electronical Notes in Theoretical Computer Science, Elsevier 2015, Vol. 315, (9) : 1-2
Nieves, Juan Carlos; Marcial-Romero, José Raymundo
2015
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.
2014
Arguing through the well-founded semantics: an argumentation engine
Elsevier 2014
Guerrero, Esteban; Nieves, Juan Carlos; Lindgren, Helena
2014
Argumentation Inference as Logic Programming Inference: an Extended Abstract
The 28th annual workshop of the Swedish Artificial Intelligence Society (SAIS)
Nieves, Juan Carlos
2014
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.
2014
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
2014
A Multi-agent System for Nested Inquiry Dialogues
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
2013
Supporting Business Workflows in Smart Grids: An Intelligent Nodes-Based Approach
IEEE Transactions on Industrial Informatics, USA: IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC 2013, Vol. 9, (3) : 1384-1397
Espinoza, Angelina; Penya, Yoseba; Nieves, Juan Carlos; et al.
2013
ALI, an Assisted Living System Based on a Human-Centric Argument-Based Decision Making Framework
13th Workshop on Computational Models of Natural Arguments (CMNA 2013) : 46-51
Guerrero, Esteban; Lindgren, Helena; Nieves, Juan Carlos
2013
ALI, an ambient assisted living system for supporting behavior change
VIII Workshop on Agents Applied in Health Care (A2HC 2013) : 81-92
Guerrero, Esteban; Lindgren, Helena; Nieves, Juan Carlos
2013
ALI: an assisted living system for persons with mild cognitive impairment
2013 IEEE 26th International symposium on computer-based medical systems (CBMS) : 526-527
Guerrero, Esteban; Nieves, Juan Carlos; Lindgren, Helena
2013
ALI: an Assisted Living System for Persons with Mild Cognitive Impairment
26th IEEE International Symposium on Computer-Based Medical Systems (CBMS 2013), IEEE Computer Society 2013 : 526-527
Guerrero, Esteban; Nieves, Juan Carlos; Lindgren, Helena
2013
Intelligence distribution for data processing in smart grids: a semantic approach
Engineering applications of artificial intelligence, Vol. 26, (8) : 1841-1853
Nieves, Juan Carlos; Espinoza, Angelina; Penya, Yoseba K.; et al.
2013
Reasoning about human activities: an argumentative approach
12th Scandinavian Conference on Artificial Intelligence (SCAI 2013), IOS Press: 2013 : 195-204
Nieves, Juan Carlos; Guerrero, Esteban; Lindgren, Helena
2013
Merging Deductive and Abductive Knowledge Bases: An Argumentation Context Approach
POLIBITS Research Journal on Computer Science and Computer Engineering With Applications, Vol. 48 : 39-46
Nieves, Juan Carlos; Lindgren, Helena
Visa publikationer i DiVA