Concepedia

Juan Carlos Nieves

JC

27

Publications

612

Citations

15

H-Index

2003

Active since

Affiliations

Umeå University(Current)

Universitat Politècnica de Catalunya

Universidad de las Américas Puebla

Universidad de Deusto

Juan Carlos Nieves is an author at Umeå University specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsSemanticsArgumentationArgument MiningFormal VerificationIntelligent SystemsSystems Engineering

Publications per year

2003–2023

27

Publications

27

How to teach responsible AI in Higher Education: challenges and opportunities

Andrea Aler Tubella, Marçal Mora‐Cantallops, Juan Carlos Nieves · Ethics and Information Technology · 2023 · 85 citations · Full text

Artificial Intelligence, Engineering, Education +23

Preferred extensions as stable models

Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio · Theory and Practice of Logic Programming · 2008 · 57 citations

Applied Logic, Computational Logic, Engineering +15

Inferring Preferred Extensions by Pstable Semantics

José Luis Carballido, Juan Carlos Nieves, Mauricio Osorio · INTELIGENCIA ARTIFICIAL · 2009 · 39 citations · Full text

Supporting decision making in urban wastewater systems using a knowledge-based approach☆

Montse Aulinas, Juan Carlos Nieves, Ulises Cortés et al. · Environmental Modelling & Software · 2011 · 38 citations

Engineering, Decision-making, Environmental Engineering +11

Engineering Multi-Agent Systems

Viviana Mascardi, Danny Weyns, Alessandro Ricci et al. · ACM SIGSOFT Software Engineering Notes · 2019 · 37 citations · Full text

Artificial Intelligence, Engineering, Engineering Multi-agent Systems +18

Rows per page

1–5 of 27