Juan Carlos Nieves Sanchez

Forskare vid Institutionen för datavetenskap

juan.carlos.nieves@umu.se

090-786 61 25

Plan 4, MIT-huset, C427 Umeå universitet, 901 87 Umeå

Universitetslektor vid Institutionen för datavetenskap

juan.carlos.nieves@umu.se

090-786 61 25

Plan 4, MIT-huset, C427 Umeå universitet, 901 87 Umeå

Senaste publikationer

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.

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

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

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

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

Extending Well-Founded Semantics with Clark's Completion for Disjunctive Logic Programs

Scientific Programming

Nieves, Juan Carlos; Osorio, Mauricio

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

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

Smart augmented reality mHealth for medication adherence

CEUR-SW.org

Ingeson, Martin; Blusi, Madeleine; Nieves, Juan Carlos

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

2017

A Multipurpose Goal Model for Personalised Digital Coaching

A2HC@AAMAS/A-HEALTH@PAAMS 2017

Baskar, Jayalakshmi; Janols, Rebecka; Guerrero, Esteban; et al.

2017

Editorial: Thematic issue: Advances in Logic-based Methods for Intelligent Systems

Journal of Computacion y Sistemas, Vol. 21, (3) : 399-400

Nieves, Juan Carlos; Haeusler, Edward Hermann; Lopes, Bruno

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

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

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

2017

Towards a Multipurpose Goal Model for Personalised Digital Coaching

X Workshop on Agents Applied in Health Care, A2HC 2017

Lindgren, Helena; Baskar, Jayalakshmi; Guerrero, Esteban; et al.

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

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

Arg-LPNMR 2016 proceedings: First International Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning

Dresden: International center for computational logic 2016

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

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.

2015

Deliberative argumentation for service provision in smart environments

Multi-agent systems (EUMAS 2014), Springer 2015 : 388-397

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

Preface

Electronical Notes in Theoretical Computer Science, Elsevier 2015, Vol. 315, (9) : 1-2

Nieves, Juan Carlos; Marcial-Romero, José Raymundo

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

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

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

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.

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

Complete Extensions as Clark's Completion Semantics

2013 MEXICAN INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE (ENC 2013), IEEE 2013 : 81-88

Osorio, Mauricio; Nieves, Juan Carlos; Santoyo, Alejandro

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

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

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

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.

2012

A logic-based environmental decision support system for the management of horizontal subsurface constructed wetlands

Ecological Engineering: The Journal of Ecotechnology, Vol. 47 : 44-55

Garcia-Gasulla, Dario; Poch, Mane; Nieves, Juan Carlos; et al.

2012

A Qualitative Medical Diagnosis Approach based on Observer and Validating Agents

Proceedings of Agents Applied to Health Care (A2HC) 2012 : 151-160

Nieves, Juan Carlos; Lindgren, Helena; Cortés, Ulises

2012

Dealing with explicit preferences and uncertainty in answer set programming

Annals of Mathematics and Artificial Intelligence, Dordrecht: 2012, Vol. 65, (2-3) : 159-198

Confalonieri, Roberto; Nieves, Juan Carlos; Osorio, Mauricio; et al.

2012

Distributed Semantic Architecture for Smart Grids

Energies, Vol. 5, (11) : 4824-4843

Penya, Yoseba K.; Nieves, Juan Carlos; Espinoza, Angelina; et al.

2012

Managing Inconsistent Possibilistic Knowledge Bases by An Argumentation Approach

The 27th annual workshop of the Swedish Artificial Intelligence Society (SAIS), 14–15 May 2012 : 17-24

Nieves, Juan Carlos; Osorio, Mauricio; Lindgren, Helena

2012

Modeling Actions Based on a Situative Space Model for Recognizing Human Activities

Artificial Intelligence: Methodology, Systems, and Applications, Springer 2012 : 266-275

Nieves, Juan Carlos; Surie, Dipak; Lindgren, Helena

2012

Possibilistic Nested Logic Programs

Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) : 267-276

Nieves, Juan Carlos; Lindgren, Helena

Visa publikationer i DiVA Fäll ihop
Forskningsprojekt

10 september 2018 till 9 september 2022

CA17124 - Digital forensics: evidence analysis via intelligent systems and practices

Forskningsämne: Datavetenskap

1 augusti 2017 till 31 juli 2019

Autonomous systems that recognise, explain, and predict complex human activities

Forskningsämne: Datavetenskap

1 juli 2015 till 30 juni 2018

NTC - Nordic Telemedicine Center

Forskningsämne: Datavetenskap

1 juli 2011

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

Fäll ihop

Juan Carlos Nieves Sanchez

Senaste publikationer

Forskningsprojekt