Information till studenter och medarbetare med anledning av covid-19 (Uppdaterad: 31 mars 2020)

På den här webbplatsen använder vi kakor (cookies) för att den ska fungera på ett bra sätt för dig. 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
Plats
MIT-huset, Umeå universitet, C427 Umeå universitet, 901 87 Umeå
Telefon
090-786 61 25

Verksam vid

Anknytning
Forskare vid Institutionen för datavetenskap
Anknytning
Universitetslektor vid Institutionen för datavetenskap
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