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

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.

Visa publikationer i DiVA

Forskargrupper

Forskningsledare

Interactive and Intelligent Systems

Gruppmedlem

Responsible Artificial Intelligence

Forskningsprojekt

1 oktober 2020 till 30 september 2025

Strategic Argumentation för att hantera interaktion mellan intelligenta system och människor

27 mars 2020

Coronavirus - simulering och app

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

1 juli 2011

As-A-Pal: Agent-Supported Assessment for Adaptive and Personalised Ambient Assisted Living

Publicerad: 15 sep, 2020

AI i högre utbildning får EU-finansiering

Publicerad: 13 dec, 2018

Umeåforskare i europeiskt projekt om digital kriminalteknik