| 2024 | LPNMR | Semantic-Based Arguments Using Logic Programming Rewriting Systems. | Esteban Guerrero, Juan Carlos Nieves |
| 2023 | ECAI | Do Datapoints Argue?: Argumentation for Hierarchical Agreement in Datasets. | Ayush Bahuguna, Sajjad Haydar, Andreas Brnnstrm, Juan Carlos Nieves |
| 2023 | ECAI | Multi-Mind Dynamics in Intentional Agents. | Andreas Brnnstrm, Juan Carlos Nieves |
| 2023 | HAI | "You've Got a Friend in Me": A Formal Understanding of the Critical Friend Agent. | Joel Wester, Andreas Brnnstrm, Juan Carlos Nieves, Niels van Berkel |
| 2022 | ICTAI | Argumentation-Based Adversarial Regression with Multiple Learners. | Monowar Bhuyan, Juan Carlos Nieves |
| 2022 | LPNMR | Emotional Reasoning in an Action Language for Emotion-Aware Planning. | Andreas Brnnstrm, Juan Carlos Nieves |
| 2021 | ICLP | Modelling Human Mental-States in an Action Language following the Theory of Planned Behavior. | Andreas Brnnstrm, Juan Carlos Nieves |
| 2020 | ECAI | Towards an Imprecise Probability Approach for Abstract Argumentation. | Mariela Morveli Espinoza, Juan Carlos Nieves, Cesar Augusto Tacla |
| 2020 | EUMAS | Measuring the Strength of Rhetorical Arguments. | Mariela Morveli Espinoza, Juan Carlos Nieves, Cesar Augusto Tacla |
| 2019 | ECSQARU | An Imprecise Probability Approach for Abstract Argumentation Based on Credal Sets. | Mariela Morveli Espinoza, Juan Carlos Nieves, Cesar Augusto Tacla |
| 2019 | EMAS | JS-son - A Lean, Extensible JavaScript Agent Programming Library. | Timotheus Kampik, Juan Carlos Nieves |
| 2019 | JELIA | Stable-Ordered Models for Propositional Theories with Order Operators. | Johannes Oetsch, Juan Carlos Nieves |
| 2018 | EMAS | Empathic Autonomous Agents. | Timotheus Kampik, Juan Carlos Nieves, Helena Lindgren |
| 2018 | EUMAS | Implementing Argumentation-Enabled Empathic Agents. | Timotheus Kampik, Juan Carlos Nieves, Helena Lindgren |
| 2018 | IJCAI | Smart augmented reality mHealth for medication adherence. | Martin Ingeson, Madeleine Blusi, Juan Carlos Nieves |
| 2018 | IJCAI | Microsoft Hololens - A mHealth Solution for Medication Adherence. | Martin Ingeson, Madeleine Blusi, Juan Carlos Nieves |
| 2017 | EUMAS | Approximating Agreements in Argumentation Dialogues. | Juan Carlos Nieves |
| 2016 | EUMAS | Expansion and Equivalence Relations on Argumentation Frameworks Based on Logic Programs. | Juan Carlos Nieves |
| 2016 | PAAMS | Activity Qualifiers in an Argumentation Framework as Instruments for Agents When Evaluating Human Activity. | Esteban Guerrero, Juan Carlos Nieves, Marlene Sandlund, Helena Lindgren |
| 2015 | ANT | A Probabilistic Non-monotonic Activity Qualifier. | Juan Carlos Nieves, Saeed Partonia, Esteban Guerrero, Helena Lindgren |
| 2014 | EUMAS | Deliberative Argumentation for Service Provision in Smart Environments. | Juan Carlos Nieves, Helena Lindgren |
| 2014 | PAAMS | A Multi-agent System for Nested Inquiry Dialogues. | Chunli Yan, Juan Carlos Nieves, Helena Lindgren |
| 2014 | PRIMA | Deliberative Argumentation for Smart Environments. | Juan Carlos Nieves, Esteban Guerrero, Jayalakshmi Baskar, Helena Lindgren |
| 2013 | CBMS | ALI: An assisted living system for persons with mild cognitive impairment. | Esteban Guerrero, Juan Carlos Nieves, Helena Lindgren |
| 2012 | AIMSA | Modeling Actions Based on a Situative Space Model for Recognizing Human Activities. | Juan Carlos Nieves, Dipak Surie, Helena Lindgren |
| 2012 | ICLP | Possibilistic Nested Logic Programs. | Juan Carlos Nieves, Helena Lindgren |
| 2011 | ECSQARU | Handling Exceptions in Logic Programming without Negation as Failure. | Roberto Confalonieri, Henri Prade, Juan Carlos Nieves |
| 2010 | COMMA | CF2-extensions as Answer-set Models. | Mauricio Osorio, Juan Carlos Nieves, Ignasi Gmez-Sebasti |
| 2010 | ICAART | Coordination and Organisational Mechanisms Applied to the Development of a Dynamic, Context-aware Information Service. | Manel Palau, Luigi Ceccaroni, Ignasi Gmez-Sebasti, Javier Vzquez-Salceda, Juan Carlos Nieves |
| 2010 | ICAART | A Framework for the Development and Maintenance of Adaptive, Dynamic, Context-Aware Information Services. | Manel Palau, Ignasi Gmez-Sebasti, Luigi Ceccaroni, Javier Vzquez-Salceda, Juan Carlos Nieves |
| 2010 | PAAMS | Using Situation Calculus for Normative Agents in Urban Wastewater Systems. | Juan Carlos Nieves, Dario Garcia-Gasulla, Montse Aulinas, Ulises Corts |
| 2009 | PAAMS | Dynamic Orchestration of Distributed Services on Interactive Community Displays: The ALIVE Approach. | Ignasi Gmez-Sebasti, Manel Palau, Juan Carlos Nieves, Javier Vzquez-Salceda, Luigi Ceccaroni |
| 2009 | WoLLIC | Expressing Extension-Based Semantics Based on Stratified Minimal Models. | Juan Carlos Nieves, Mauricio Osorio, Claudia Zepeda |
| 2007 | LPNMR | Semantics for Possibilistic Disjunctive Programs. | Juan Carlos Nieves, Mauricio Osorio, Ulises Corts |
| 2006 | MDAI | Modality Argumentation Programming. | Juan Carlos Nieves, Ulises Corts |
| 2001 | AI | Stratified Partial-Order Logic Programming. | Mauricio Osorio, Juan Carlos Nieves |
| 1999 | ICLP | Declarative Pruning in a Functional Query Language. | Mauricio Osorio, Bharat Jayaraman, Juan Carlos Nieves |