Declarative Pruning in a Functional Query Language. - Mauricio Osorio 001; Bharat Jayaraman; Juan Carlos Nieves (ICLP, 1999)

Application of Simplification Theories. - Mauricio Osorio 001; Juan Carlos Nieves; Gabriel Cervantes (ARW, 2000)

Knowledge Representation Using High-Level Non-monotonic Reasoning. - Mauricio Osorio 001; Juan Carlos Nieves; Fernando Zacarías Flores; Erika Saucedo (MICAI, 2000)

Stratified Partial-Order Logic Programming. - Mauricio Osorio 001; Juan Carlos Nieves (AI, 2001)

Useful Transformations in Answer set programming. - Mauricio Osorio 001; Juan Carlos Nieves; Chris Giannella (Answer Set Programming, 2001)

Aggregation in Functional Query Languages. - Mauricio Osorio 001; Juan Carlos Nieves; Bharat Jayaraman (J. Funct. Log. Program., 2004)

Applications of Preferences using Answer Set Programming. - Claudia Zepeda; Mauricio Osorio 001; Juan Carlos Nieves; Christine Solnon; David Sol (Answer Set Programming, 2005)

Inferring acceptable arguments with Answer Set Programming. - Mauricio Osorio 001; Claudia Zepeda; Juan Carlos Nieves; Ulises Cortés (ENC, 2005)

Defining new argumentation-based semantics by minimal models. - Juan Carlos Nieves; Ulises Cortés; Mauricio Osorio 001; Iván Olmos; Jesus A. Gonzalez (ENC, 2006)

Supporting decision making in organ transplanting using argumentation theory. - Juan Carlos Nieves; Ulises Cortés; Mauricio Osorio 001 (LA-NMR, 2006)

Modality Argumentation Programming. - Juan Carlos Nieves; Ulises Cortés (MDAI, 2006)

Reasoning about actions under uncertainty: A possibilistic approach. - Juan Carlos Nieves; Mauricio Osorio 001; Ulises Cortés; Francisco Caballero; Antonio López-Navidad (CCIA, 2007)

Generating maximal models using the stable model semantics. - Juan Carlos Nieves; Mauricio Osorio 001 (LA-NMR, 2007)

Inferring preferred extensions by Pstable semantics. - Juan Carlos Nieves; Mauricio Osorio 001 (LA-NMR, 2007)

PStable Semantics for Possibilistic Logic Programs. - Mauricio Osorio 001; Juan Carlos Nieves (MICAI, 2007)

Possibilistic-Based Argumentation: An Answer Set Programming Approach. - Juan Carlos Nieves; Ulises Cortés; Mauricio Osorio 001 (ENC, 2008)

An Overview of Argumentation Semantics. - Juan Carlos Nieves; Mauricio Osorio 001; Ulises Cortés (Computación y Sistemas, 2008)

Preferred extensions as stable models. - Juan Carlos Nieves; Ulises Cortés; Mauricio Osorio 001 (Theory Pract. Log. Program., 2008)

Pstable Semantics for Logic Programs with Possibilistic Ordered Disjunction. - Roberto Confalonieri 001; Juan Carlos Nieves; Javier Vázquez-Salceda (AI*IA, 2009)

Reasoning About Actions for the Management of Urban Wastewater Systems: Preliminary report. - Juan Carlos Nieves; Montse Aulinas; Ulises Cortés (CCIA, 2009)

Possibilistic Stratified Minimal Model Semantics. - Juan Carlos Nieves; Mauricio Osorio 001 (ENC, 2009)

ALIVE: A Framework for Flexible and Adaptive Service Coordination. - Joey Sik Chun Lam; Wamberto Weber Vasconcelos; Frank Guerin; David Corsar; Alison Chorley; Timothy J. Norman; Javier Vázquez-Salceda; Sofia Panagiotidi; Roberto Confalonieri 001; I. Gomez; S. Hidalgo; Sergio Álvarez-Napagao; et al. (ESAW, 2009)

Extension-Based Argumentation Semantics via Logic Programming Semantics with Negation as Failure. - Juan Carlos Nieves; Ignasi Gómez-Sebastià (LA-NMR, 2009)

Computing the Stratified Minimal Models Semantic. - Mauricio Osorio 001; Angel Marín George; Juan Carlos Nieves (LA-NMR, 2009)

A Framework to Model Norm Dynamics in Answer Set Programming. - Sofia Panagiotidi; Juan Carlos Nieves; Javier Vázquez-Salceda (MALLOW, 2009)

Possibilistic Well-Founded Semantics. - Mauricio Osorio 001; Juan Carlos Nieves (MICAI, 2009)

Dynamic Orchestration of Distributed Services on Interactive Community Displays: The ALIVE Approach. - Ignasi Gómez-Sebastià; Manel Palau; Juan Carlos Nieves; Javier Vázquez-Salceda; Luigi Ceccaroni (PAAMS, 2009)

Expressing Extension-Based Semantics Based on Stratified Minimal Models. - Juan Carlos Nieves; Mauricio Osorio 001; Claudia Zepeda (WoLLIC, 2009)

Inferring Preferred Extensions by Pstable Semantics. - José Luis Carballido; Juan Carlos Nieves; Mauricio Osorio 001 (Inteligencia Artif., 2009)

G'3-Stable Semantics and Inconsistency. - Mauricio Osorio 001; Claudia Zepeda; Juan Carlos Nieves; José Luis Carballido (Computación y Sistemas, 2009)

WizArg: Visual Argumentation Framework Solving Wizard. - Ignasi Gómez-Sebastià; Juan Carlos Nieves (CCIA, 2010)

CF2-extensions as Answer-set Models. - Mauricio Osorio 001; Juan Carlos Nieves; Ignasi Gómez-Sebastià (COMMA, 2010)

Possibilistic Semantics for Logic Programs with Ordered Disjunction. - Roberto Confalonieri 001; Juan Carlos Nieves; Mauricio Osorio 001; Javier Vázquez-Salceda (FoIKS, 2010)

Coordination and Organisational Mechanisms Applied to the Development of a Dynamic, Context-aware Information Service. - Manel Palau; Luigi Ceccaroni; Ignasi Gómez-Sebastià; Javier Vázquez-Salceda; Juan Carlos Nieves (ICAART (2), 2010)

A Framework for the Development and Maintenance of Adaptive, Dynamic, Context-Aware Information Services. - Manel Palau; Ignasi Gómez-Sebastià; Luigi Ceccaroni; Javier Vázquez-Salceda; Juan Carlos Nieves (ICAART (Revised Selected Papers), 2010)

Using Situation Calculus for Normative Agents in Urban Wastewater Systems. - Juan Carlos Nieves; Dario Garcia-Gasulla; Montse Aulinas; Ulises Cortés (PAAMS, 2010)

Extending the Grounded Semantics by Logic Programming Semantics. - Juan Carlos Nieves; Mauricio Osorio 001; Ulises Cortés (CCIA, 2011)

Handling Exceptions in Logic Programming without Negation as Failure. - Roberto Confalonieri 001; Henri Prade; Juan Carlos Nieves (ECSQARU, 2011)

The Stable Abducible Argumentation Semantics. - Mauricio Osorio 001; Juan Carlos Nieves; José Luis Carballido (LA-NMR, 2011)

Supporting decision making in urban wastewater systems using a knowledge-based approach. - Montse Aulinas; Juan Carlos Nieves; Ulises Cortés; Manel Poch (Environ. Model. Softw., 2011)

Nested Preferences in Answer Set Programming. - Roberto Confalonieri 001; Juan Carlos Nieves (Fundam. Informaticae, 2011)

A Possibilistic Argumentation Decision Making Framework with Default Reasoning. - Juan Carlos Nieves; Roberto Confalonieri 001 (Fundam. Informaticae, 2011)

A Schema for Generating Relevant Logic Programming Semantics and its Applications in Argumentation Theory. - Juan Carlos Nieves; Mauricio Osorio 001; Claudia Zepeda (Fundam. Informaticae, 2011)

Modeling Actions Based on a Situative Space Model for Recognizing Human Activities. - Juan Carlos Nieves; Dipak Surie; Helena Lindgren (AIMSA, 2012)

Possibilistic Nested Logic Programs. - Juan Carlos Nieves; Helena Lindgren (ICLP (Technical Communications), 2012)

Managing Inconsistent Possibilistic Knowledge Bases by An Argumentation Approach. - Juan Carlos Nieves; Mauricio Osorio 001; Helena Lindgren (SAIS, 2012)

Dealing with explicit preferences and uncertainty in answer set programming. - Roberto Confalonieri 001; Juan Carlos Nieves; Mauricio Osorio 001; Javier Vázquez-Salceda (Ann. Math. Artif. Intell., 2012)

An Operational Approach for Implementing Normative Agents in Urban Wastewater Systems. - Juan Carlos Nieves; Dario Garcia-Gasulla; Montse Aulinas; Ulises Cortés (Computación y Sistemas, 2012)

ALI: An assisted living system for persons with mild cognitive impairment. - Esteban Guerrero; Juan Carlos Nieves; Helena Lindgren (CBMS, 2013)

Complete Extensions as Clark's Completion Semantics. - Mauricio Osorio 001; Juan Carlos Nieves; Alejandro Santoyo (ENC, 2013)

Reasoning about Human Activities: an Argumentative Approach. - Juan Carlos Nieves; Esteban Guerrero; Helena Lindgren (SCAI, 2013)

Intelligence distribution for data processing in smart grids: A semantic approach. - Juan Carlos Nieves; Angelina Espinoza; Yoseba K. Penya; Mariano Ortega de Mues; Aitor Peña (Eng. Appl. Artif. Intell., 2013)

Merging Deductive and Abductive Knowledge Bases: An Argumentation Context Approach. - Juan Carlos Nieves; Helena Lindgren (Polibits, 2013)

Supporting Business Workflows in Smart Grids: An Intelligent Nodes-Based Approach. - Angelina Espinoza; Yoseba K. Penya; Juan Carlos Nieves; Mariano Ortega; Aitor Peña; Daniel Rodríguez (IEEE Trans. Ind. Informatics, 2013)

Semantics for Possibilistic Disjunctive Programs. - Juan Carlos Nieves; Mauricio Osorio 001; Ulises Cortés (Theory Pract. Log. Program., 2013)

Deliberative Argumentation for Service Provision in Smart Environments. - Juan Carlos Nieves; Helena Lindgren (EUMAS, 2014)

A Multi-agent System for Nested Inquiry Dialogues. - Chunli Yan; Juan Carlos Nieves; Helena Lindgren (PAAMS, 2014)

Deliberative Argumentation for Smart Environments. - Juan Carlos Nieves; Esteban Guerrero; Jayalakshmi Baskar; Helena Lindgren (PRIMA, 2014)

Preface. - Juan Carlos Nieves; José Raymundo Marcial-Romero (LANMR (Selected Papers), 2014)

Agent-Based Reasoning in Medical Planning and Diagnosis Combining Multiple Strategies. - Juan Carlos Nieves; Helena Lindgren; Ulises Cortés (Int. J. Artif. Intell. Tools, 2014)

A Probabilistic Non-monotonic Activity Qualifier. - Juan Carlos Nieves; Saeed Partonia; Esteban Guerrero; Helena Lindgren (ANT/SEIT, 2015)

Semantic-based construction of arguments: An answer set programming approach. - Esteban Guerrero; Juan Carlos Nieves; Helena Lindgren (Int. J. Approx. Reason., 2015)

Possibilistic nested logic programs and strong equivalence. - Juan Carlos Nieves; Helena Lindgren (Int. J. Approx. Reason., 2015)

Computer-Supported Assessment for Tailoring Assistive Technology. - Helena Lindgren; Jayalakshmi Baskar; Esteban Guerrero; Juan Carlos Nieves; Ingeborg Nilsson; Chunli Yan (Digital Health, 2016)

Expansion and Equivalence Relations on Argumentation Frameworks Based on Logic Programs. - Juan Carlos Nieves (EUMAS/AT, 2016)

Activity Qualifiers in an Argumentation Framework as Instruments for Agents When Evaluating Human Activity. - Esteban Guerrero; Juan Carlos Nieves; Marlene Sandlund; Helena Lindgren (PAAMS, 2016)

An activity-centric argumentation framework for assistive technology aimed at improving health. - Esteban Guerrero; Juan Carlos Nieves; Helena Lindgren (Argument Comput., 2016)

Proceedings of the First International Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning (Arg-LPNMR 2016). - Sarah Alice Gaggl; Juan Carlos Nieves; Hannes Strass (CoRR, 2016)

Range-based argumentation semantics as 2-valued models. - Mauricio Osorio 001; Juan Carlos Nieves (CoRR, 2016)

Ideal extensions as logical programming models. - Juan Carlos Nieves; Mauricio Osorio 001 (J. Log. Comput., 2016)

A Multipurpose Goal Model for Personalised Digital Coaching. - Jayalakshmi Baskar; Rebecka Janols; Esteban Guerrero; Juan Carlos Nieves; Helena Lindgren (A2HC@AAMAS/A-HEALTH@PAAMS, 2017)

Approximating Agreements in Argumentation Dialogues. - Juan Carlos Nieves (EUMAS/AT, 2017)

Editorial. - Juan Carlos Nieves; Edward Hermann Haeusler; Bruno Lopes Vieira (Computación y Sistemas, 2017)

Preface. - Sarah Alice Gaggl; Juan Carlos Nieves; Hannes Strass; Paolo Torroni (Fundam. Informaticae, 2017)

Range-based argumentation semantics as two-valued models. - Mauricio Osorio 001; Juan Carlos Nieves (Theory Pract. Log. Program., 2017)

Coercion and Deception in Persuasive Technologies. - Timotheus Kampik; Juan Carlos Nieves; Helena Lindgren (TRUST@AAMAS, 2018)

Empathic Autonomous Agents. - Timotheus Kampik; Juan Carlos Nieves; Helena Lindgren (EMAS@AAMAS, 2018)

Implementing Argumentation-Enabled Empathic Agents. - Timotheus Kampik; Juan Carlos Nieves; Helena Lindgren (EUMAS, 2018)

Smart augmented reality mHealth for medication adherence. - Martin Ingeson; Madeleine Blusi; Juan Carlos Nieves (AIH@IJCAI, 2018)

Microsoft Hololens - A mHealth Solution for Medication Adherence. - Martin Ingeson; Madeleine Blusi; Juan Carlos Nieves (AIH@IJCAI (Revised Selected Papers), 2018)

A dialogue-based approach for dealing with uncertain and conflicting information in medical diagnosis. - Chunli Yan; Helena Lindgren; Juan Carlos Nieves (Auton. Agents Multi Agent Syst., 2018)

A Knowledge Representation Perspective on Activity Theory. - Johannes Oetsch; Juan Carlos Nieves (CoRR, 2018)

Activity qualifiers using an argument-based construction. - Esteban Guerrero; Juan Carlos Nieves; Marlene Sandlund; Helena Lindgren (Knowl. Inf. Syst., 2018)

Extending Well-Founded Semantics with Clark's Completion for Disjunctive Logic Programs. - Juan Carlos Nieves; Mauricio Osorio 001 (Sci. Program., 2018)

Explaining Sympathetic Actions of Rational Agents. - Timotheus Kampik; Juan Carlos Nieves; Helena Lindgren (EXTRAAMAS@AAMAS, 2019)

An Imprecise Probability Approach for Abstract Argumentation Based on Credal Sets. - Mariela Morveli Espinoza; Juan Carlos Nieves; Cesar Augusto Tacla (ECSQARU, 2019)

JS-son - A Lean, Extensible JavaScript Agent Programming Library. - Timotheus Kampik; Juan Carlos Nieves (EMAS@AAMAS, 2019)

Stable-Ordered Models for Propositional Theories with Order Operators. - Johannes Oetsch; Juan Carlos Nieves (JELIA, 2019)

Feasibility and Acceptability of Smart Augmented Reality Assisting Patients with Medication Pillbox Self-Management. - Madeleine Blusi; Juan Carlos Nieves (MedInfo, 2019)

Dealing with Incompatibilities among Procedural Goals under Uncertainty. - Mariela Morveli Espinoza; Juan Carlos Nieves; Ayslan Trevizan Possebom; Cesar Augusto Tacla (Inteligencia Artif., 2019)

Approximating agreements in formal argumentation dialogues. - Juan Carlos Nieves (AI Commun., 2019)

An argumentation-based approach for identifying and dealing with incompatibilities among procedural goals. - Mariela Morveli Espinoza; Juan Carlos Nieves; Ayslan Trevizan Possebom; Josep Puyol-Gruart; Cesar Augusto Tacla (Int. J. Approx. Reason., 2019)

Towards an Imprecise Probability Approach for Abstract Argumentation. - Mariela Morveli Espinoza; Juan Carlos Nieves; Cesar Augusto Tacla (ECAI, 2020)

Measuring the Strength of Rhetorical Arguments. - Mariela Morveli Espinoza; Juan Carlos Nieves; Cesar Augusto Tacla (EUMAS/AT, 2020)

Measuring the strength of threats, rewards, and appeals in persuasive negotiation dialogues. - Mariela Morveli Espinoza; Juan Carlos Nieves; Cesar Augusto Tacla (Knowl. Eng. Rev., 2020)

Toward Consistent Agreement Approximation in Abstract Argumentation and Beyond. - Timotheus Kampik; Juan Carlos Nieves (AAMAS, 2021)

Interrogating the Black Box: Transparency through Information-Seeking Dialogues. - Andrea Aler Tubella; Andreas Theodorou; Juan Carlos Nieves (AAMAS, 2021)

Modelling Human Mental-States in an Action Language following the Theory of Planned Behavior. - Andreas Brännström; Juan Carlos Nieves (ICLP Workshops, 2021)

Argumentation-Based Health Information Systems: A Design Methodology. - Helena Lindgren; Timotheus Kampik; Esteban Guerrero; Madeleine Blusi; Juan Carlos Nieves (IEEE Intell. Syst., 2021)

Abstract argumentation and the rational man. - Timotheus Kampik; Juan Carlos Nieves (J. Log. Comput., 2021)

A Semantic and Knowledge-Based Approach for Handover Management. - Fulvio Yesid Vivas; Oscar M. Caicedo; Juan Carlos Nieves (Sensors, 2021)

Good AI for Good: How AI Strategies of the Nordic Countries Address the Sustainable Development Goals. - Andreas Theodorou; Juan Carlos Nieves; Virginia Dignum (AiOfAi@IJCAI, 2022)

Argumentation-Based Adversarial Regression with Multiple Learners. - Monowar H. Bhuyan; Juan Carlos Nieves (ICTAI, 2022)

Emotional Reasoning in an Action Language for Emotion-Aware Planning. - Andreas Brännström; Juan Carlos Nieves (LPNMR, 2022)

Map equation centrality: community-aware centrality based on the map equation. - Christopher Blöcker; Juan Carlos Nieves; Martin Rosvall (Appl. Netw. Sci., 2022)

Map Equation Centrality: A Community-Aware Centrality Score Based on the Map Equation. - Christopher Blöcker; Juan Carlos Nieves; Martin Rosvall (CoRR, 2022)

Ensuring reference independence and cautious monotony in abstract argumentation. - Timotheus Kampik; Juan Carlos Nieves; Dov M. Gabbay (Int. J. Approx. Reason., 2022)

Handling temporality in human activity reasoning. - Mariela Morveli Espinoza; Juan Carlos Nieves; Cesar Augusto Tacla (J. Intell. Fuzzy Syst., 2022)

A Formal Framework for Deceptive Topic Planning in Information-Seeking Dialogues. - Andreas Brännström; Virginia Dignum; Juan Carlos Nieves (AAMAS, 2023)

Do Datapoints Argue?: Argumentation for Hierarchical Agreement in Datasets. - Ayush Bahuguna; Sajjad Haydar; Andreas Brännström; Juan Carlos Nieves (ECAI Workshops (2), 2023)

Multi-Mind Dynamics in Intentional Agents. - Andreas Brännström; Juan Carlos Nieves (ECAI Workshops (2), 2023)

ACROCPoLis: A Descriptive Framework for Making Sense of Fairness. - Andrea Aler Tubella; Dimitri Coelho Mollo; Adam Dahlgren Lindström; Hannah Devinney; Virginia Dignum; Petter Ericson; Anna Jonsson 001; Timotheus Kampik; Tom Lenaerts; Julian Alfredo Mendez; Juan Carlos Nieves (FAccT, 2023)

"You've Got a Friend in Me": A Formal Understanding of the Critical Friend Agent. - Joel Wester; Andreas Brännström; Juan Carlos Nieves; Niels van Berkel (HAI, 2023)

An Argumentation-Based Approach for Generating Explanations in Activity Reasoning. - Mariela Morveli Espinoza; Juan Carlos Nieves; Cesar Augusto Tacla (MICAI (1), 2023)

A Gradual Semantics with Imprecise Probabilities for Support Argumentation Frameworks. - Mariela Morveli Espinoza; Juan Carlos Nieves; Cesar A. Tacla (NMR, 2023)

An Argumentation-Based Approach for Goal Reasoning and Explanations Generation. - Mariela Morveli Espinoza; Juan Carlos Nieves; Cesar Augusto Tacla; Henrique M. R. Jasinski (J. Log. Comput., 2023)

Probabilistic causal bipolar abstract argumentation: an approach based on credal networks. - Mariela Morveli Espinoza; Juan Carlos Nieves; Cesar Augusto Tacla (Ann. Math. Artif. Intell., 2023)

Human-Aware Planning for Situational Awareness in Indoor Police Interventions. - Joost Vossers; Andreas Brännström; Erik A. M. Borglund; Jonas Hansson; Juan Carlos Nieves (HHAI, 2024)

Generating Contrastive Explanations from Gradual Semantics Rankings. - Mariela Morveli Espinoza; Juan Carlos Nieves (IBERAMIA, 2024)

Semantic-Based Arguments Using Logic Programming Rewriting Systems. - Esteban Guerrero; Juan Carlos Nieves (LPNMR, 2024)

POTDAI: A Tool to Evaluate the Perceived Operational Trust Degree in Artificial Intelligence Systems. - David Martín-Moncunill; Eduardo García Laredo; Juan Carlos Nieves (IEEE Access, 2024)

A formal understanding of computational empathy in interactive agents. - Andreas Brännström; Joel Wester; Juan Carlos Nieves (Cogn. Syst. Res., 2024)

How to teach responsible AI in Higher Education: challenges and opportunities. - Andrea Aler Tubella; Marçal Mora Cantallops; Juan Carlos Nieves (Ethics Inf. Technol., 2024)

Formal Verification of Manipulation Dialogues. - Andreas Brännström; Chiaki Sakama; Juan Carlos Nieves (AAMAS, 2025)

Contesting Black-Box AI Decisions. - Virginia Dignum; Loizos Michael; Juan Carlos Nieves; Marija Slavkovik 001; Julliett Suarez; Andreas Theodorou (AAMAS, 2025)

Goal-hiding information-seeking dialogues: A formal framework. - Andreas Brännström; Virginia Dignum; Juan Carlos Nieves (Int. J. Approx. Reason., 2025)

Disagree and commit: degrees of argumentation-based agreements. - Timotheus Kampik; Juan Carlos Nieves (Auton. Agents Multi Agent Syst., 2025)