Juan Carlos Nieves Sánchez

Contact information

  I am an associate professor (Docent) and a senior researcher (in Theoretical Foundations of Artificial Intelligence) at the Department of Computing Science, Umeå University (UMU) (Sweden). I am a member of the Interactive and Intelligent Systems group. My research is mainly focused on Formal Reasoning Methods for intelligent systems. Before I joined UMU, I was a member of the Knowledge Engineering and Machine Learning Group, Universitat Politècnica de Catalunya - BarcelonaTech (UPC).




Research Interests:

Knowledge Representation and Reasoning.

Declarative programming with emphasis on Answer Set Programming.

Argumentation Theory.

Knowledge-Based Systems.


April, 2018: Docent in Computer Science

                Faculty of Science and Technology, Umeå University, Umeå, Sweden

Nov, 2008: Ph. D. in Artificial Intelligence - (The Mathematics Genealogy Project )

                Universitat Politècnica de Catalunya - BarcelonaTech (UPC),  Barcelona, Spain

June, 2006: Diploma of Advanced Studies on Artificial Intelligence

                Universitat Politècnica de Catalunya - BarcelonaTech (UPC),  Barcelona, Spain



Other teaching

PhD supervision

  • Roberto Confalonieri: The Role of Preferences in Logic Programming: Nonmonotonic Reasoning, User Preferences, Decision under Uncertainty. In the Artificial Intelligence Ph.D. program of Universitat Politècnica de Catalunya, Spain, December 2011, (Co-adviser Javier Vázquez-Salceda )
  • Esteban Guerrero Rosero: Representing and Reasoning about Complex Human Activities - an Activity-Centric Argumentation-Based Approach. In the Computer Science Ph.D. program of Umeå University, Sweden, June 2016, (Co-adviser Helena Lindgren )
  • Chunli Yan: Developing digital support for learning and diagnostic reasoning in clinical practice . In the Computer Science Ph.D. program of Umeå University, Sweden, September 2018, (Co-adviser Helena Lindgren )

Ongoing Research Projects

Project: COST Action: CA17124 - Digital forensics: evidence analysis via intelligent systems and practices (2018-2022).
Project type: H2020 COST - European Cooperation in Science and Technology

Project: The Kempe Foundations - Autonomous systems that recognise, explain, and predict complex human activities (2017-2019).
Project type: The Kempe Foundations, Research foundation.

Past Research Projects

Project: Nordic Telemedicine Center - The aim of the project is to establish a multi professional competence center in telemedicine to gather knowledge and increase mutual learning among health-care staff, researchers and companies (2015-2018).
Project type: Botnia-Atlantica, European Regional Development Fund.

Project: ACKTUS - Activity-Centred Modelling of Knowledge and Interaction Tailored to Users.
Project type: Swedish Research Project.

Project: SMARTGRID- ENERGOS - Technologies for automated and intelligent management of power distribution networks of the future (2010-2012).
Project type: CENIT project.

Project: PARKINECTIS - Electromobility Living Lab - Accelerating knowledge acquisition about electric vehicle.
Project type: Industrial Research Project (ACC1Ó program of the government of Catalunya-Spain)

Project: Management of Urban Wastewater Systems.
Project type: Local Project supported by KEMLG (UPC) and LIQUIA (University of Girona).

Project: ALIVE - Coordination, Organisation and Model Driven Approaches for Dynamic, Flexible, Robust Software and Services Engineering (2008-2010).
Project type: European Project.

Project: ASPIC - Argumentation Service Platform with Integrated Components (2004-2007).
Project type: European Project.


Reviewer of the following journals