Juan Carlos Nieves

Orcid: 0000-0003-4072-8795

According to our database1, Juan Carlos Nieves authored at least 118 papers between 1999 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
How to teach responsible AI in Higher Education: challenges and opportunities.
Ethics Inf. Technol., March, 2024

2023
Probabilistic causal bipolar abstract argumentation: an approach based on credal networks.
Ann. Math. Artif. Intell., August, 2023

An Argumentation-Based Approach for Goal Reasoning and Explanations Generation.
J. Log. Comput., July, 2023

A Gradual Semantics with Imprecise Probabilities for Support Argumentation Frameworks.
Proceedings of the 21st International Workshop on Non-Monotonic Reasoning co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023) and co-located with the 36th International Workshop on Description Logics (DL 2023), 2023

An Argumentation-Based Approach for Generating Explanations in Activity Reasoning.
Proceedings of the Advances in Computational Intelligence, 2023

"You've Got a Friend in Me": A Formal Understanding of the Critical Friend Agent.
Proceedings of the International Conference on Human-Agent Interaction, 2023

ACROCPoLis: A Descriptive Framework for Making Sense of Fairness.
Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, 2023

Multi-Mind Dynamics in Intentional Agents.
Proceedings of the Artificial Intelligence. ECAI 2023 International Workshops - XAI³, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30, 2023

Do Datapoints Argue?: Argumentation for Hierarchical Agreement in Datasets.
Proceedings of the Artificial Intelligence. ECAI 2023 International Workshops - XAI³, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30, 2023

A Formal Framework for Deceptive Topic Planning in Information-Seeking Dialogues.
Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2022
Handling temporality in human activity reasoning.
J. Intell. Fuzzy Syst., 2022

Ensuring reference independence and cautious monotony in abstract argumentation.
Int. J. Approx. Reason., 2022

Map Equation Centrality: A Community-Aware Centrality Score Based on the Map Equation.
CoRR, 2022

Map equation centrality: community-aware centrality based on the map equation.
Appl. Netw. Sci., 2022

Emotional Reasoning in an Action Language for Emotion-Aware Planning.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

Argumentation-Based Adversarial Regression with Multiple Learners.
Proceedings of the 34th IEEE International Conference on Tools with Artificial Intelligence, 2022

Good AI for Good: How AI Strategies of the Nordic Countries Address the Sustainable Development Goals.
Proceedings of the 2nd Workshop on Adverse Impacts and Collateral Effects of Artificial Intelligence Technologies, 2022

2021
A Semantic and Knowledge-Based Approach for Handover Management.
Sensors, 2021

Abstract argumentation and the rational man.
J. Log. Comput., 2021

Argumentation-Based Health Information Systems: A Design Methodology.
IEEE Intell. Syst., 2021

Modelling Human Mental-States in an Action Language following the Theory of Planned Behavior.
Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021

Interrogating the Black Box: Transparency through Information-Seeking Dialogues.
Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

Toward Consistent Agreement Approximation in Abstract Argumentation and Beyond.
Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

2020
Measuring the strength of threats, rewards, and appeals in persuasive negotiation dialogues.
Knowl. Eng. Rev., 2020

Measuring the Strength of Rhetorical Arguments.
Proceedings of the Multi-Agent Systems and Agreement Technologies, 2020

Towards an Imprecise Probability Approach for Abstract Argumentation.
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

2019
An argumentation-based approach for identifying and dealing with incompatibilities among procedural goals.
Int. J. Approx. Reason., 2019

Approximating agreements in formal argumentation dialogues.
AI Commun., 2019

Dealing with Incompatibilities among Procedural Goals under Uncertainty.
Inteligencia Artif., 2019

Feasibility and Acceptability of Smart Augmented Reality Assisting Patients with Medication Pillbox Self-Management.
Proceedings of the MEDINFO 2019: Health and Wellbeing e-Networks for All, 2019

Stable-Ordered Models for Propositional Theories with Order Operators.
Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

JS-son - A Lean, Extensible JavaScript Agent Programming Library.
Proceedings of the Engineering Multi-Agent Systems - 7th International Workshop, 2019

An Imprecise Probability Approach for Abstract Argumentation Based on Credal Sets.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2019

Explaining Sympathetic Actions of Rational Agents.
Proceedings of the Explainable, Transparent Autonomous Agents and Multi-Agent Systems, 2019

2018
Extending Well-Founded Semantics with Clark's Completion for Disjunctive Logic Programs.
Sci. Program., 2018

Activity qualifiers using an argument-based construction.
Knowl. Inf. Syst., 2018

A Knowledge Representation Perspective on Activity Theory.
CoRR, 2018

A dialogue-based approach for dealing with uncertain and conflicting information in medical diagnosis.
Auton. Agents Multi Agent Syst., 2018

Microsoft Hololens - A mHealth Solution for Medication Adherence.
Proceedings of the Artificial Intelligence in Health - First International Workshop, 2018

Smart augmented reality mHealth for medication adherence.
Proceedings of the First Joint Workshop on AI in Health organized as part of the Federated AI Meeting (FAIM 2018), 2018

Implementing Argumentation-Enabled Empathic Agents.
Proceedings of the Multi-Agent Systems - 16th European Conference, 2018

Empathic Autonomous Agents.
Proceedings of the Engineering Multi-Agent Systems - 6th International Workshop, 2018

Coercion and Deception in Persuasive Technologies.
Proceedings of the 20th International Trust Workshop co-located with AAMAS/IJCAI/ECAI/ICML 2018, 2018

2017
Range-based argumentation semantics as two-valued models.
Theory Pract. Log. Program., 2017

Preface.
Fundam. Informaticae, 2017

Editorial.
Computación y Sistemas, 2017

Approximating Agreements in Argumentation Dialogues.
Proceedings of the Multi-Agent Systems and Agreement Technologies, 2017

A Multipurpose Goal Model for Personalised Digital Coaching.
Proceedings of the Agents and Multi-Agent Systems for Health Care, 2017

2016
Ideal extensions as logical programming models.
J. Log. Comput., 2016

Range-based argumentation semantics as 2-valued models.
CoRR, 2016

Proceedings of the First International Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning (Arg-LPNMR 2016).
CoRR, 2016

An activity-centric argumentation framework for assistive technology aimed at improving health.
Argument Comput., 2016

Activity Qualifiers in an Argumentation Framework as Instruments for Agents When Evaluating Human Activity.
Proceedings of the Advances in Practical Applications of Scalable Multi-agent Systems. The PAAMS Collection, 2016

Expansion and Equivalence Relations on Argumentation Frameworks Based on Logic Programs.
Proceedings of the Multi-Agent Systems and Agreement Technologies, 2016

Computer-Supported Assessment for Tailoring Assistive Technology.
Proceedings of the 6th International Conference on Digital Health Conference, 2016

2015
Possibilistic nested logic programs and strong equivalence.
Int. J. Approx. Reason., 2015

Semantic-based construction of arguments: An answer set programming approach.
Int. J. Approx. Reason., 2015

A Probabilistic Non-monotonic Activity Qualifier.
Proceedings of the 6th International Conference on Ambient Systems, 2015

2014
Agent-Based Reasoning in Medical Planning and Diagnosis Combining Multiple Strategies.
Int. J. Artif. Intell. Tools, 2014

Preface.
Proceedings of the Selected Papers of the Ninth Latin American Workshop on Logic/Languages, 2014

Deliberative Argumentation for Smart Environments.
Proceedings of the PRIMA 2014: Principles and Practice of Multi-Agent Systems, 2014

A Multi-agent System for Nested Inquiry Dialogues.
Proceedings of the Advances in Practical Applications of Heterogeneous Multi-Agent Systems. The PAAMS Collection, 2014

Deliberative Argumentation for Service Provision in Smart Environments.
Proceedings of the Multi-Agent Systems - 12th European Conference, 2014

2013
Semantics for Possibilistic Disjunctive Programs.
Theory Pract. Log. Program., 2013

Supporting Business Workflows in Smart Grids: An Intelligent Nodes-Based Approach.
IEEE Trans. Ind. Informatics, 2013

Merging Deductive and Abductive Knowledge Bases: An Argumentation Context Approach.
Polibits, 2013

Intelligence distribution for data processing in smart grids: A semantic approach.
Eng. Appl. Artif. Intell., 2013

Reasoning about Human Activities: an Argumentative Approach.
Proceedings of the Twelfth Scandinavian Conference on Artificial Intelligence, 2013

Complete Extensions as Clark's Completion Semantics.
Proceedings of the Mexican International Conference on Computer Science, 2013

ALI: An assisted living system for persons with mild cognitive impairment.
Proceedings of the 26th IEEE International Symposium on Computer-Based Medical Systems, 2013

2012
An Operational Approach for Implementing Normative Agents in Urban Wastewater Systems.
Computación y Sistemas, 2012

Dealing with explicit preferences and uncertainty in answer set programming.
Ann. Math. Artif. Intell., 2012

Managing Inconsistent Possibilistic Knowledge Bases by An Argumentation Approach.
Proceedings of the 27th Annual Workshop of the Swedish Artificial Intelligence Society, 2012

Possibilistic Nested Logic Programs.
Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

Modeling Actions Based on a Situative Space Model for Recognizing Human Activities.
Proceedings of the Artificial Intelligence: Methodology, Systems, and Applications, 2012

2011
A Schema for Generating Relevant Logic Programming Semantics and its Applications in Argumentation Theory.
Fundam. Informaticae, 2011

A Possibilistic Argumentation Decision Making Framework with Default Reasoning.
Fundam. Informaticae, 2011

Nested Preferences in Answer Set Programming.
Fundam. Informaticae, 2011

Supporting decision making in urban wastewater systems using a knowledge-based approach.
Environ. Model. Softw., 2011

The Stable Abducible Argumentation Semantics.
Proceedings of the Seventh Latin American Workshop on Non-Monotonic Reasoning, 2011

Handling Exceptions in Logic Programming without Negation as Failure.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2011

Extending the Grounded Semantics by Logic Programming Semantics.
Proceedings of the Artificial Intelligence Research and Development, 2011

2010
Using Situation Calculus for Normative Agents in Urban Wastewater Systems.
Proceedings of the Advances in Practical Applications of Agents and Multiagent Systems, 2010

A Framework for the Development and Maintenance of Adaptive, Dynamic, Context-Aware Information Services.
Proceedings of the Agents and Artificial Intelligence - Second International Conference, 2010

Coordination and Organisational Mechanisms Applied to the Development of a Dynamic, Context-aware Information Service.
Proceedings of the ICAART 2010 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 2, 2010

Possibilistic Semantics for Logic Programs with Ordered Disjunction.
Proceedings of the Foundations of Information and Knowledge Systems, 2010

CF2-extensions as Answer-set Models.
Proceedings of the Computational Models of Argument: Proceedings of COMMA 2010, 2010

WizArg: Visual Argumentation Framework Solving Wizard.
Proceedings of the Artificial Intelligence Research and Development, 2010

2009
G'3-Stable Semantics and Inconsistency.
Computación y Sistemas, 2009

Inferring Preferred Extensions by Pstable Semantics.
Inteligencia Artif., 2009

Expressing Extension-Based Semantics Based on Stratified Minimal Models.
Proceedings of the Logic, 2009

Dynamic Orchestration of Distributed Services on Interactive Community Displays: The ALIVE Approach.
Proceedings of the 7th International Conference on Practical Applications of Agents and Multi-Agent Systems, 2009

Possibilistic Well-Founded Semantics.
Proceedings of the MICAI 2009: Advances in Artificial Intelligence, 2009

A Framework to Model Norm Dynamics in Answer Set Programming.
Proceedings of the Second Multi-Agent Logics, 2009

Computing the Stratified Minimal Models Semantic.
Proceedings of the Fifth Latin American Workshop on Non-Monotonic Reasoning 2009 (LANMR'09) , 2009

Extension-Based Argumentation Semantics via Logic Programming Semantics with Negation as Failure.
Proceedings of the Fifth Latin American Workshop on Non-Monotonic Reasoning 2009 (LANMR'09) , 2009


Possibilistic Stratified Minimal Model Semantics.
Proceedings of the 2009 Mexican International Conference on Computer Science, 2009

Reasoning About Actions for the Management of Urban Wastewater Systems: Preliminary report.
Proceedings of the Artificial Intelligence Research and Development, 2009

Pstable Semantics for Logic Programs with Possibilistic Ordered Disjunction.
Proceedings of the AI*IA 2009: Emergent Perspectives in Artificial Intelligence, 2009

2008
Preferred extensions as stable models.
Theory Pract. Log. Program., 2008

An Overview of Argumentation Semantics.
Computación y Sistemas, 2008

Possibilistic-Based Argumentation: An Answer Set Programming Approach.
Proceedings of the Ninth Mexican International Conference on Computer Science, 2008

2007
PStable Semantics for Possibilistic Logic Programs.
Proceedings of the MICAI 2007: Advances in Artificial Intelligence, 2007

Inferring preferred extensions by Pstable semantics.
Proceedings of the Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the LA-NMR07 Workshop, Benemérita Universidad Autónoma de Puebla, Puebla, Pue., México, 17th, 2007

Generating maximal models using the stable model semantics.
Proceedings of the Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the LA-NMR07 Workshop, Benemérita Universidad Autónoma de Puebla, Puebla, Pue., México, 17th, 2007

Reasoning about actions under uncertainty: A possibilistic approach.
Proceedings of the Artificial Intelligence Research and Development, 2007

2006
Modality Argumentation Programming.
Proceedings of the Modeling Decisions for Artificial Intelligence, 2006

Supporting decision making in organ transplanting using argumentation theory.
Proceedings of the Latin-American Workshop on Non-Monotonic Reasoning, 2006

Defining new argumentation-based semantics by minimal models.
Proceedings of the Seventh Mexican International Conference on Computer Science, 2006

2005
Inferring acceptable arguments with Answer Set Programming.
Proceedings of the Sixth Mexican International Conference on Computer Science (ENC 2005), 2005

Applications of Preferences using Answer Set Programming.
Proceedings of the Answer Set Programming, 2005

2004
Aggregation in Functional Query Languages.
J. Funct. Log. Program., 2004

2001
Useful Transformations in Answer set programming.
Proceedings of the Answer Set Programming, 2001

Stratified Partial-Order Logic Programming.
Proceedings of the Advances in Artificial Intelligence, 2001

2000
Knowledge Representation Using High-Level Non-monotonic Reasoning.
Proceedings of the MICAI 2000: Advances in Artificial Intelligence, 2000

Application of Simplification Theories.
Proceedings of the Seventh Workshop on Automated Reasoning, 2000

1999
Declarative Pruning in a Functional Query Language.
Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999


  Loading...