Juan Carlos Nieves

148 papers A 6B 10C 7Misc 6Journal 63Unranked 55

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Digital Companions for Well-being: Challenges and Opportunities. J. Intell. Fuzzy Syst. Juan Carlos Nieves, Mauricio Osorio, David Rojas-Velazquez, Yazmín Magallanes, Andreas Brännström
2026	J	`jnl`	Human Emotion Verification by Action Languages via Answer Set Programming. CoRR Andreas Brännström, Juan Carlos Nieves
2026	—	`conf`	Towards Neuro-symbolic Classification of Abrasive Wear in Scanning Electron Microscopy. FoIKS Andreas Brännström, Esteban Guerrero, Maria Wojtowicz, Jonna Hasselaar, Staffan Jacobson, Urban Wiklund, Juan Carlos Nieves
2026	J	`jnl`	Towards control in agents for human behavior change: an autism case. J. Intell. Fuzzy Syst. Andreas Brännström, Juan Carlos Nieves
2025	A	`conf`	Contesting Black-Box AI Decisions. AAMAS Virginia Dignum, Loizos Michael, Juan Carlos Nieves, Marija Slavkovik, Julliett Suarez, Andreas Theodorou
2025	J	`jnl`	Disagree and Commit: Degrees of Argumentation-based Agreements. CoRR Timotheus Kampik, Juan Carlos Nieves
2025	J	`jnl`	Disagree and commit: degrees of argumentation-based agreements. Auton. Agents Multi Agent Syst. Timotheus Kampik, Juan Carlos Nieves
2025	A	`conf`	Formal Verification of Manipulation Dialogues. AAMAS Andreas Brännström, Chiaki Sakama, Juan Carlos Nieves
2025	J	`jnl`	Goal-hiding information-seeking dialogues: A formal framework. Int. J. Approx. Reason. Andreas Brännström, Virginia Dignum, Juan Carlos Nieves
2025	—	`conf`	Towards a Mixed Reality Companion to Support Nurses in Medication Management. XR (7) Madeleine Blusi, Helena Norberg, Michele Persiani, Juan Carlos Nieves
2024	J	`jnl`	A formal understanding of computational empathy in interactive agents. Cogn. Syst. Res. Andreas Brännström, Joel Wester, Juan Carlos Nieves
2024	—	`conf`	Generating Contrastive Explanations from Gradual Semantics Rankings. IBERAMIA Mariela Morveli Espinoza, Juan Carlos Nieves
2024	J	`jnl`	How to teach responsible AI in Higher Education: challenges and opportunities. Ethics Inf. Technol. Andrea Aler Tubella, Marçal Mora Cantallops, Juan Carlos Nieves
2024	—	`conf`	Human-Aware Planning for Situational Awareness in Indoor Police Interventions. HHAI Joost Vossers, Andreas Brännström, Erik A. M. Borglund, Jonas Hansson, Juan Carlos Nieves
2024	J	`jnl`	POTDAI: A Tool to Evaluate the Perceived Operational Trust Degree in Artificial Intelligence Systems. IEEE Access David Martín-Moncunill, Eduardo García Laredo, Juan Carlos Nieves
2024	B	`conf`	Semantic-Based Arguments Using Logic Programming Rewriting Systems. LPNMR Esteban Guerrero, Juan Carlos Nieves
2023	B	`conf`	"You've Got a Friend in Me": A Formal Understanding of the Critical Friend Agent. HAI Joel Wester, Andreas Brännström, Juan Carlos Nieves, Niels van Berkel
2023	A	`conf`	A Formal Framework for Deceptive Topic Planning in Information-Seeking Dialogues. AAMAS Andreas Brännström, Virginia Dignum, Juan Carlos Nieves
2023	—	`conf`	A Gradual Semantics with Imprecise Probabilities for Support Argumentation Frameworks. NMR Mariela Morveli Espinoza, Juan Carlos Nieves, Cesar A. Tacla
2023	—	`conf`	ACROCPoLis: A Descriptive Framework for Making Sense of Fairness. FAccT Andrea Aler Tubella, Dimitri Coelho Mollo, Adam Dahlgren Lindström, Hannah Devinney, Virginia Dignum, Petter Ericson, Anna Jonsson, Timotheus Kampik, Tom Lenaerts, Julian Alfredo Mendez, Juan Carlos Nieves
2023	J	`jnl`	ACROCPoLis: A Descriptive Framework for Making Sense of Fairness. CoRR Andrea Aler Tubella, Dimitri Coelho Mollo, Adam Dahlgren Lindström, Hannah Devinney, Virginia Dignum, Petter Ericson, Anna Jonsson, Timotheus Kampik, Tom Lenaerts, Julian Alfredo Mendez, Juan Carlos Nieves
2023	—	`conf`	An Argumentation-Based Approach for Generating Explanations in Activity Reasoning. MICAI (1) Mariela Morveli Espinoza, Juan Carlos Nieves, Cesar Augusto Tacla
2023	J	`jnl`	An Argumentation-Based Approach for Goal Reasoning and Explanations Generation. J. Log. Comput. Mariela Morveli Espinoza, Juan Carlos Nieves, Cesar Augusto Tacla, Henrique M. R. Jasinski
2023	—	`conf`	Do Datapoints Argue?: Argumentation for Hierarchical Agreement in Datasets. ECAI Workshops (2) Ayush Bahuguna, Sajjad Haydar, Andreas Brännström, Juan Carlos Nieves
2023	—	`conf`	Multi-Mind Dynamics in Intentional Agents. ECAI Workshops (2) Andreas Brännström, Juan Carlos Nieves
2023	J	`jnl`	Probabilistic causal bipolar abstract argumentation: an approach based on credal networks. Ann. Math. Artif. Intell. Mariela Morveli Espinoza, Juan Carlos Nieves, Cesar Augusto Tacla
2022	B	`conf`	Argumentation-Based Adversarial Regression with Multiple Learners. ICTAI Monowar Bhuyan, Juan Carlos Nieves
2022	C	`ed.`	Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XIV - International Workshop, COINE 2021, London, UK, May 3, 2021, Revised Selected Papers COINE Andreas Theodorou, Juan Carlos Nieves, Marina De Vos
2022	B	`conf`	Emotional Reasoning in an Action Language for Emotion-Aware Planning. LPNMR Andreas Brännström, Juan Carlos Nieves
2022	J	`jnl`	Ensuring reference independence and cautious monotony in abstract argumentation. Int. J. Approx. Reason. Timotheus Kampik, Juan Carlos Nieves, Dov M. Gabbay
2022	—	`conf`	Good AI for Good: How AI Strategies of the Nordic Countries Address the Sustainable Development Goals. AiOfAi@IJCAI Andreas Theodorou, Juan Carlos Nieves, Virginia Dignum
2022	J	`jnl`	Good AI for Good: How AI Strategies of the Nordic Countries Address the Sustainable Development Goals. CoRR Andreas Theodorou, Juan Carlos Nieves, Virginia Dignum
2022	J	`jnl`	Handling temporality in human activity reasoning. J. Intell. Fuzzy Syst. Mariela Morveli Espinoza, Juan Carlos Nieves, Cesar Augusto Tacla
2022	J	`jnl`	Map Equation Centrality: A Community-Aware Centrality Score Based on the Map Equation. CoRR Christopher Blöcker, Juan Carlos Nieves, Martin Rosvall
2022	J	`jnl`	Map equation centrality: community-aware centrality based on the map equation. Appl. Netw. Sci. Christopher Blöcker, Juan Carlos Nieves, Martin Rosvall
2021	J	`jnl`	A Semantic and Knowledge-Based Approach for Handover Management. Sensors Fulvio Yesid Vivas, Oscar M. Caicedo, Juan Carlos Nieves
2021	J	`jnl`	Abstract argumentation and the rational man. J. Log. Comput. Timotheus Kampik, Juan Carlos Nieves
2021	J	`jnl`	Argumentation-Based Health Information Systems: A Design Methodology. IEEE Intell. Syst. Helena Lindgren, Timotheus Kampik, Esteban Guerrero, Madeleine Blusi, Juan Carlos Nieves
2021	A	`conf`	Interrogating the Black Box: Transparency through Information-Seeking Dialogues. AAMAS Andrea Aler Tubella, Andreas Theodorou, Juan Carlos Nieves
2021	J	`jnl`	Interrogating the Black Box: Transparency through Information-Seeking Dialogues. CoRR Andrea Aler Tubella, Andreas Theodorou, Juan Carlos Nieves
2021	—	`conf`	Modelling Human Mental-States in an Action Language following the Theory of Planned Behavior. ICLP Workshops Andreas Brännström, Juan Carlos Nieves
2021	A	`conf`	Toward Consistent Agreement Approximation in Abstract Argumentation and Beyond. AAMAS Timotheus Kampik, Juan Carlos Nieves
2020	J	`jnl`	An Argumentation-based Approach for Identifying and Dealing with Incompatibilities among Procedural Goals. CoRR Mariela Morveli Espinoza, Juan Carlos Nieves, Ayslan Trevizan Possebom, Josep Puyol-Gruart, Cesar Augusto Tacla
2020	J	`jnl`	An Imprecise Probability Approach for Abstract Argumentation based on Credal Sets. CoRR Mariela Morveli Espinoza, Juan Carlos Nieves, Cesar Augusto Tacla
2020	J	`jnl`	Dealing with Incompatibilities among Procedural Goals under Uncertainty. CoRR Mariela Morveli Espinoza, Juan Carlos Nieves, Ayslan Trevizan Possebom, Cesar Augusto Tacla
2020	J	`jnl`	JS-son - A Lean, Extensible JavaScript Agent Programming Library. CoRR Timotheus Kampik, Juan Carlos Nieves
2020	—	`conf`	Measuring the Strength of Rhetorical Arguments. EUMAS/AT Mariela Morveli Espinoza, Juan Carlos Nieves, Cesar Augusto Tacla
2020	J	`jnl`	Measuring the strength of threats, rewards, and appeals in persuasive negotiation dialogues. Knowl. Eng. Rev. Mariela Morveli Espinoza, Juan Carlos Nieves, Cesar Augusto Tacla
2020	A	`conf`	Towards an Imprecise Probability Approach for Abstract Argumentation. ECAI Mariela Morveli Espinoza, Juan Carlos Nieves, Cesar Augusto Tacla
2019	J	`jnl`	Abstract Argumentation and the Rational Man. CoRR Timotheus Kampik, Juan Carlos Nieves
2019	C	`conf`	An Imprecise Probability Approach for Abstract Argumentation Based on Credal Sets. ECSQARU Mariela Morveli Espinoza, Juan Carlos Nieves, Cesar Augusto Tacla
2019	J	`jnl`	An argumentation-based approach for identifying and dealing with incompatibilities among procedural goals. Int. J. Approx. Reason. Mariela Morveli Espinoza, Juan Carlos Nieves, Ayslan Trevizan Possebom, Josep Puyol-Gruart, Cesar Augusto Tacla
2019	J	`jnl`	Approximating agreements in formal argumentation dialogues. AI Commun. Juan Carlos Nieves
2019	J	`jnl`	Dealing with Incompatibilities among Procedural Goals under Uncertainty. Inteligencia Artif. Mariela Morveli Espinoza, Juan Carlos Nieves, Ayslan Trevizan Possebom, Cesar Augusto Tacla
2019	J	`jnl`	Empathic Autonomous Agents. CoRR Timotheus Kampik, Juan Carlos Nieves, Helena Lindgren
2019	—	`conf`	Explaining Sympathetic Actions of Rational Agents. EXTRAAMAS@AAMAS Timotheus Kampik, Juan Carlos Nieves, Helena Lindgren
2019	—	`conf`	Feasibility and Acceptability of Smart Augmented Reality Assisting Patients with Medication Pillbox Self-Management. MedInfo Madeleine Blusi, Juan Carlos Nieves
2019	—	`conf`	JS-son - A Lean, Extensible JavaScript Agent Programming Library. EMAS@AAMAS Timotheus Kampik, Juan Carlos Nieves
2019	B	`conf`	Stable-Ordered Models for Propositional Theories with Order Operators. JELIA Johannes Oetsch, Juan Carlos Nieves
2018	J	`jnl`	A Knowledge Representation Perspective on Activity Theory. CoRR Johannes Oetsch, Juan Carlos Nieves
2018	J	`jnl`	A dialogue-based approach for dealing with uncertain and conflicting information in medical diagnosis. Auton. Agents Multi Agent Syst. Chunli Yan, Helena Lindgren, Juan Carlos Nieves
2018	J	`jnl`	Activity qualifiers using an argument-based construction. Knowl. Inf. Syst. Esteban Guerrero, Juan Carlos Nieves, Marlene Sandlund, Helena Lindgren
2018	—	`conf`	Coercion and Deception in Persuasive Technologies. TRUST@AAMAS Timotheus Kampik, Juan Carlos Nieves, Helena Lindgren
2018	—	`conf`	Empathic Autonomous Agents. EMAS@AAMAS Timotheus Kampik, Juan Carlos Nieves, Helena Lindgren
2018	J	`jnl`	Extending Well-Founded Semantics with Clark's Completion for Disjunctive Logic Programs. Sci. Program. Juan Carlos Nieves, Mauricio Osorio
2018	C	`conf`	Implementing Argumentation-Enabled Empathic Agents. EUMAS Timotheus Kampik, Juan Carlos Nieves, Helena Lindgren
2018	J	`jnl`	Implementing Argumentation-enabled Empathic Agents. CoRR Timotheus Kampik, Juan Carlos Nieves, Helena Lindgren
2018	—	`conf`	Microsoft Hololens - A mHealth Solution for Medication Adherence. AIH@IJCAI (Revised Selected Papers) Martin Ingeson, Madeleine Blusi, Juan Carlos Nieves
2018	—	`conf`	Smart augmented reality mHealth for medication adherence. AIH@IJCAI Martin Ingeson, Madeleine Blusi, Juan Carlos Nieves
2017	—	`conf`	A Multipurpose Goal Model for Personalised Digital Coaching. A2HC@AAMAS/A-HEALTH@PAAMS Jayalakshmi Baskar, Rebecka Janols, Esteban Guerrero, Juan Carlos Nieves, Helena Lindgren
2017	—	`conf`	Approximating Agreements in Argumentation Dialogues. EUMAS/AT Juan Carlos Nieves
2017	J	`jnl`	Editorial. Computación y Sistemas Juan Carlos Nieves, Edward Hermann Haeusler, Bruno Lopes Vieira
2017	J	`jnl`	Preface. Fundam. Informaticae Sarah Alice Gaggl, Juan Carlos Nieves, Hannes Strass, Paolo Torroni
2017	J	`jnl`	Range-based argumentation semantics as two-valued models. Theory Pract. Log. Program. Mauricio Osorio, Juan Carlos Nieves
2016	Misc	`conf`	Activity Qualifiers in an Argumentation Framework as Instruments for Agents When Evaluating Human Activity. PAAMS Esteban Guerrero, Juan Carlos Nieves, Marlene Sandlund, Helena Lindgren
2016	J	`jnl`	An activity-centric argumentation framework for assistive technology aimed at improving health. Argument Comput. Esteban Guerrero, Juan Carlos Nieves, Helena Lindgren
2016	—	`conf`	Computer-Supported Assessment for Tailoring Assistive Technology. Digital Health Helena Lindgren, Jayalakshmi Baskar, Esteban Guerrero, Juan Carlos Nieves, Ingeborg Nilsson, Chunli Yan
2016	—	`conf`	Expansion and Equivalence Relations on Argumentation Frameworks Based on Logic Programs. EUMAS/AT Juan Carlos Nieves
2016	J	`jnl`	Ideal extensions as logical programming models. J. Log. Comput. Juan Carlos Nieves, Mauricio Osorio
2016	J	`jnl`	Proceedings of the First International Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning (Arg-LPNMR 2016). CoRR Sarah Alice Gaggl, Juan Carlos Nieves, Hannes Strass
2016	J	`jnl`	Range-based argumentation semantics as 2-valued models. CoRR Mauricio Osorio, Juan Carlos Nieves
2015	—	`conf`	A Probabilistic Non-monotonic Activity Qualifier. ANT/SEIT Juan Carlos Nieves, Saeed Partonia, Esteban Guerrero, Helena Lindgren
2015	J	`jnl`	Possibilistic nested logic programs and strong equivalence. Int. J. Approx. Reason. Juan Carlos Nieves, Helena Lindgren
2015	—	`ed.`	Selected Papers of the Ninth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, LANMR 2014, Valle de Bravo, Mexico, November 5-7, 2014 LANMR (Selected Papers) Juan Carlos Nieves, José Raymundo Marcial-Romero
2015	J	`jnl`	Semantic-based construction of arguments: An answer set programming approach. Int. J. Approx. Reason. Esteban Guerrero, Juan Carlos Nieves, Helena Lindgren
2014	Misc	`conf`	A Multi-agent System for Nested Inquiry Dialogues. PAAMS Chunli Yan, Juan Carlos Nieves, Helena Lindgren
2014	J	`jnl`	Agent-Based Reasoning in Medical Planning and Diagnosis Combining Multiple Strategies. Int. J. Artif. Intell. Tools Juan Carlos Nieves, Helena Lindgren, Ulises Cortés
2014	C	`conf`	Deliberative Argumentation for Service Provision in Smart Environments. EUMAS Juan Carlos Nieves, Helena Lindgren
2014	B	`conf`	Deliberative Argumentation for Smart Environments. PRIMA Juan Carlos Nieves, Esteban Guerrero, Jayalakshmi Baskar, Helena Lindgren
2014	—	`conf`	Preface. LANMR (Selected Papers) Juan Carlos Nieves, José Raymundo Marcial-Romero
2013	B	`conf`	ALI: An assisted living system for persons with mild cognitive impairment. CBMS Esteban Guerrero, Juan Carlos Nieves, Helena Lindgren
2013	—	`conf`	Complete Extensions as Clark's Completion Semantics. ENC Mauricio Osorio, Juan Carlos Nieves, Alejandro Santoyo
2013	J	`jnl`	Intelligence distribution for data processing in smart grids: A semantic approach. Eng. Appl. Artif. Intell. Juan Carlos Nieves, Angelina Espinoza, Yoseba K. Penya, Mariano Ortega de Mues, Aitor Peña
2013	J	`jnl`	Merging Deductive and Abductive Knowledge Bases: An Argumentation Context Approach. Polibits Juan Carlos Nieves, Helena Lindgren
2013	—	`conf`	Reasoning about Human Activities: an Argumentative Approach. SCAI Juan Carlos Nieves, Esteban Guerrero, Helena Lindgren
2013	J	`jnl`	Semantics for Possibilistic Disjunctive Programs. Theory Pract. Log. Program. Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés
2013	J	`jnl`	Supporting Business Workflows in Smart Grids: An Intelligent Nodes-Based Approach. IEEE Trans. Ind. Informatics Angelina Espinoza, Yoseba K. Penya, Juan Carlos Nieves, Mariano Ortega, Aitor Peña, Daniel Rodríguez
2012	J	`jnl`	An Operational Approach for Implementing Normative Agents in Urban Wastewater Systems. Computación y Sistemas Juan Carlos Nieves, Dario Garcia-Gasulla, Montse Aulinas, Ulises Cortés
2012	J	`jnl`	Dealing with explicit preferences and uncertainty in answer set programming. Ann. Math. Artif. Intell. Roberto Confalonieri, Juan Carlos Nieves, Mauricio Osorio, Javier Vázquez-Salceda
2012	—	`conf`	Managing Inconsistent Possibilistic Knowledge Bases by An Argumentation Approach. SAIS Juan Carlos Nieves, Mauricio Osorio, Helena Lindgren
2012	Misc	`conf`	Modeling Actions Based on a Situative Space Model for Recognizing Human Activities. AIMSA Juan Carlos Nieves, Dipak Surie, Helena Lindgren
2012	—	`conf`	Possibilistic Nested Logic Programs. ICLP (Technical Communications) Juan Carlos Nieves, Helena Lindgren
2011	J	`jnl`	A Possibilistic Argumentation Decision Making Framework with Default Reasoning. Fundam. Informaticae Juan Carlos Nieves, Roberto Confalonieri
2011	J	`jnl`	A Schema for Generating Relevant Logic Programming Semantics and its Applications in Argumentation Theory. Fundam. Informaticae Juan Carlos Nieves, Mauricio Osorio, Claudia Zepeda
2011	—	`conf`	Extending the Grounded Semantics by Logic Programming Semantics. CCIA Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés
2011	C	`conf`	Handling Exceptions in Logic Programming without Negation as Failure. ECSQARU Roberto Confalonieri, Henri Prade, Juan Carlos Nieves
2011	J	`jnl`	Nested Preferences in Answer Set Programming. Fundam. Informaticae Roberto Confalonieri, Juan Carlos Nieves
2011	J	`jnl`	Semantics for Possibilistic Disjunctive Programs CoRR Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés
2011	J	`jnl`	Supporting decision making in urban wastewater systems using a knowledge-based approach. Environ. Model. Softw. Montse Aulinas, Juan Carlos Nieves, Ulises Cortés, Manel Poch
2011	—	`conf`	The Stable Abducible Argumentation Semantics. LA-NMR Mauricio Osorio, Juan Carlos Nieves, José Luis Carballido
2010	—	`conf`	A Framework for the Development and Maintenance of Adaptive, Dynamic, Context-Aware Information Services. ICAART (Revised Selected Papers) Manel Palau, Ignasi Gómez-Sebastià, Luigi Ceccaroni, Javier Vázquez-Salceda, Juan Carlos Nieves
2010	C	`conf`	CF2-extensions as Answer-set Models. COMMA Mauricio Osorio, Juan Carlos Nieves, Ignasi Gómez-Sebastià
2010	—	`conf`	Coordination and Organisational Mechanisms Applied to the Development of a Dynamic, Context-aware Information Service. ICAART (2) Manel Palau, Luigi Ceccaroni, Ignasi Gómez-Sebastià, Javier Vázquez-Salceda, Juan Carlos Nieves
2010	—	`conf`	Possibilistic Semantics for Logic Programs with Ordered Disjunction. FoIKS Roberto Confalonieri, Juan Carlos Nieves, Mauricio Osorio, Javier Vázquez-Salceda
2010	Misc	`conf`	Using Situation Calculus for Normative Agents in Urban Wastewater Systems. PAAMS Juan Carlos Nieves, Dario Garcia-Gasulla, Montse Aulinas, Ulises Cortés
2010	—	`conf`	WizArg: Visual Argumentation Framework Solving Wizard. CCIA Ignasi Gómez-Sebastià, Juan Carlos Nieves
2009	—	`conf`	A Framework to Model Norm Dynamics in Answer Set Programming. MALLOW Sofia Panagiotidi, Juan Carlos Nieves, Javier Vázquez-Salceda
2009	—	`conf`	ALIVE: A Framework for Flexible and Adaptive Service Coordination. ESAW Joey Sik Chun Lam, Wamberto Weber Vasconcelos, Frank Guerin, David Corsar, Alison Chorley, Timothy J. Norman, Javier Vázquez-Salceda, Sofia Panagiotidi, Roberto Confalonieri, I. Gomez, S. Hidalgo, Sergio Álvarez-Napagao, Juan Carlos Nieves, M. Palau Roig, Luigi Ceccaroni, Huib Aldewereld, Virginia Dignum, Frank Dignum, Loris Penserini, Julian A. Padget, Marina De Vos, D. Andreou, Owen Cliffe, Athanasios Staikopoulos, Razvan Popescu, Siobhán Clarke, Paul Sergeant, Chris Reed, Thomas B. Quillinan, Kees Nieuwenhuis
2009	—	`conf`	Computing the Stratified Minimal Models Semantic. LA-NMR Mauricio Osorio, Angel Marín George, Juan Carlos Nieves
2009	Misc	`conf`	Dynamic Orchestration of Distributed Services on Interactive Community Displays: The ALIVE Approach. PAAMS Ignasi Gómez-Sebastià, Manel Palau, Juan Carlos Nieves, Javier Vázquez-Salceda, Luigi Ceccaroni
2009	C	`conf`	Expressing Extension-Based Semantics Based on Stratified Minimal Models. WoLLIC Juan Carlos Nieves, Mauricio Osorio, Claudia Zepeda
2009	—	`conf`	Extension-Based Argumentation Semantics via Logic Programming Semantics with Negation as Failure. LA-NMR Juan Carlos Nieves, Ignasi Gómez-Sebastià
2009	J	`jnl`	G'3-Stable Semantics and Inconsistency. Computación y Sistemas Mauricio Osorio, Claudia Zepeda, Juan Carlos Nieves, José Luis Carballido
2009	J	`jnl`	Inferring Preferred Extensions by Pstable Semantics. Inteligencia Artif. José Luis Carballido, Juan Carlos Nieves, Mauricio Osorio
2009	—	`conf`	Possibilistic Stratified Minimal Model Semantics. ENC Juan Carlos Nieves, Mauricio Osorio
2009	—	`conf`	Possibilistic Well-Founded Semantics. MICAI Mauricio Osorio, Juan Carlos Nieves
2009	—	`conf`	Pstable Semantics for Logic Programs with Possibilistic Ordered Disjunction. AI*IA Roberto Confalonieri, Juan Carlos Nieves, Javier Vázquez-Salceda
2009	—	`conf`	Reasoning About Actions for the Management of Urban Wastewater Systems: Preliminary report. CCIA Juan Carlos Nieves, Montse Aulinas, Ulises Cortés
2008	J	`jnl`	An Overview of Argumentation Semantics. Computación y Sistemas Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés
2008	—	`conf`	Possibilistic-Based Argumentation: An Answer Set Programming Approach. ENC Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio
2008	J	`jnl`	Preferred extensions as stable models CoRR Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés
2008	J	`jnl`	Preferred extensions as stable models. Theory Pract. Log. Program. Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio
2007	—	`conf`	Generating maximal models using the stable model semantics. LA-NMR Juan Carlos Nieves, Mauricio Osorio
2007	—	`conf`	Inferring preferred extensions by Pstable semantics. LA-NMR Juan Carlos Nieves, Mauricio Osorio
2007	—	`conf`	PStable Semantics for Possibilistic Logic Programs. MICAI Mauricio Osorio, Juan Carlos Nieves
2007	—	`conf`	Reasoning about actions under uncertainty: A possibilistic approach. CCIA Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés, Francisco Caballero, Antonio López-Navidad
2007	B	`conf`	Semantics for Possibilistic Disjunctive Programs. LPNMR Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés
2006	—	`conf`	Defining new argumentation-based semantics by minimal models. ENC Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio, Iván Olmos, Jesus A. Gonzalez
2006	B	`conf`	Modality Argumentation Programming. MDAI Juan Carlos Nieves, Ulises Cortés
2006	—	`conf`	Supporting decision making in organ transplanting using argumentation theory. LA-NMR Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio
2005	—	`conf`	Applications of Preferences using Answer Set Programming. Answer Set Programming Claudia Zepeda, Mauricio Osorio, Juan Carlos Nieves, Christine Solnon, David Sol
2005	—	`conf`	Inferring acceptable arguments with Answer Set Programming. ENC Mauricio Osorio, Claudia Zepeda, Juan Carlos Nieves, Ulises Cortés
2004	J	`jnl`	Aggregation in Functional Query Languages. J. Funct. Log. Program. Mauricio Osorio, Juan Carlos Nieves, Bharat Jayaraman
2001	Misc	`conf`	Stratified Partial-Order Logic Programming. AI Mauricio Osorio, Juan Carlos Nieves
2001	—	`conf`	Useful Transformations in Answer set programming. Answer Set Programming Mauricio Osorio, Juan Carlos Nieves, Chris Giannella
2000	—	`conf`	Application of Simplification Theories. ARW Mauricio Osorio, Juan Carlos Nieves, Gabriel Cervantes
2000	—	`conf`	Knowledge Representation Using High-Level Non-monotonic Reasoning. MICAI Mauricio Osorio, Juan Carlos Nieves, Fernando Zacarías Flores, Erika Saucedo
1999	B	`conf`	Declarative Pruning in a Functional Query Language. ICLP Mauricio Osorio, Bharat Jayaraman, Juan Carlos Nieves