default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJuan Carlos Nieves
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j42]Andreas Brännström, Virginia Dignum, Juan Carlos Nieves:
Goal-hiding information-seeking dialogues: A formal framework. Int. J. Approx. Reason. 177: 109325 (2025)- 2024
- [j41]David Martín-Moncunill
, Eduardo García Laredo, Juan Carlos Nieves:
POTDAI: A Tool to Evaluate the Perceived Operational Trust Degree in Artificial Intelligence Systems. IEEE Access 12: 133097-133109 (2024) - [j40]Andreas Brännström, Joel Wester, Juan Carlos Nieves:
A formal understanding of computational empathy in interactive agents. Cogn. Syst. Res. 85: 101203 (2024) - [j39]Andrea Aler Tubella, Marçal Mora Cantallops, Juan Carlos Nieves:
How to teach responsible AI in Higher Education: challenges and opportunities. Ethics Inf. Technol. 26(1): 3 (2024) - [c78]Joost Vossers, Andreas Brännström, Erik A. M. Borglund, Jonas Hansson, Juan Carlos Nieves:
Human-Aware Planning for Situational Awareness in Indoor Police Interventions. HHAI 2024: 325-334 - [c77]Esteban Guerrero, Juan Carlos Nieves:
Semantic-Based Arguments Using Logic Programming Rewriting Systems. LPNMR 2024: 276-289 - 2023
- [j38]Mariela Morveli Espinoza, Juan Carlos Nieves, Cesar Augusto Tacla:
Probabilistic causal bipolar abstract argumentation: an approach based on credal networks. Ann. Math. Artif. Intell. 91(4): 517-536 (2023) - [j37]Mariela Morveli Espinoza, Juan Carlos Nieves, Cesar Augusto Tacla, Henrique M. R. Jasinski:
An Argumentation-Based Approach for Goal Reasoning and Explanations Generation. J. Log. Comput. 33(5): 984-1021 (2023) - [c76]Andreas Brännström, Virginia Dignum, Juan Carlos Nieves:
A Formal Framework for Deceptive Topic Planning in Information-Seeking Dialogues. AAMAS 2023: 2376-2378 - [c75]Ayush Bahuguna, Sajjad Haydar, Andreas Brännström, Juan Carlos Nieves:
Do Datapoints Argue?: Argumentation for Hierarchical Agreement in Datasets. ECAI Workshops (2) 2023: 291-303 - [c74]Andreas Brännström, Juan Carlos Nieves:
Multi-Mind Dynamics in Intentional Agents. ECAI Workshops (2) 2023: 346-359 - [c73]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:
ACROCPoLis: A Descriptive Framework for Making Sense of Fairness. FAccT 2023: 1014-1025 - [c72]Joel Wester, Andreas Brännström, Juan Carlos Nieves, Niels van Berkel:
"You've Got a Friend in Me": A Formal Understanding of the Critical Friend Agent. HAI 2023: 443-445 - [c71]Mariela Morveli Espinoza, Juan Carlos Nieves, Cesar Augusto Tacla:
An Argumentation-Based Approach for Generating Explanations in Activity Reasoning. MICAI (1) 2023: 229-240 - [c70]Mariela Morveli Espinoza, Juan Carlos Nieves, Cesar A. Tacla:
A Gradual Semantics with Imprecise Probabilities for Support Argumentation Frameworks. NMR 2023: 84-93 - [i16]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:
ACROCPoLis: A Descriptive Framework for Making Sense of Fairness. CoRR abs/2304.11217 (2023) - 2022
- [j36]Christopher Blöcker, Juan Carlos Nieves, Martin Rosvall:
Map equation centrality: community-aware centrality based on the map equation. Appl. Netw. Sci. 7(1): 56 (2022) - [j35]Timotheus Kampik, Juan Carlos Nieves, Dov M. Gabbay:
Ensuring reference independence and cautious monotony in abstract argumentation. Int. J. Approx. Reason. 140: 173-210 (2022) - [j34]Mariela Morveli Espinoza, Juan Carlos Nieves, Cesar Augusto Tacla:
Handling temporality in human activity reasoning. J. Intell. Fuzzy Syst. 42(5): 4387-4398 (2022) - [c69]Andreas Theodorou, Juan Carlos Nieves, Virginia Dignum:
Good AI for Good: How AI Strategies of the Nordic Countries Address the Sustainable Development Goals. AiOfAi@IJCAI 2022: 46-53 - [c68]Monowar H. Bhuyan, Juan Carlos Nieves:
Argumentation-Based Adversarial Regression with Multiple Learners. ICTAI 2022: 96-104 - [c67]Andreas Brännström, Juan Carlos Nieves:
Emotional Reasoning in an Action Language for Emotion-Aware Planning. LPNMR 2022: 103-116 - [e2]Andreas Theodorou, Juan Carlos Nieves, Marina De Vos:
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. Lecture Notes in Computer Science 13239, Springer 2022, ISBN 978-3-031-16616-7 [contents] - [i15]Christopher Blöcker, Juan Carlos Nieves, Martin Rosvall:
Map Equation Centrality: A Community-Aware Centrality Score Based on the Map Equation. CoRR abs/2201.12590 (2022) - [i14]Andreas Theodorou, Juan Carlos Nieves, Virginia Dignum:
Good AI for Good: How AI Strategies of the Nordic Countries Address the Sustainable Development Goals. CoRR abs/2210.09010 (2022) - 2021
- [j33]Helena Lindgren, Timotheus Kampik, Esteban Guerrero, Madeleine Blusi, Juan Carlos Nieves:
Argumentation-Based Health Information Systems: A Design Methodology. IEEE Intell. Syst. 36(2): 72-80 (2021) - [j32]Timotheus Kampik, Juan Carlos Nieves:
Abstract argumentation and the rational man. J. Log. Comput. 31(2): 654-699 (2021) - [j31]Fulvio Yesid Vivas, Oscar M. Caicedo, Juan Carlos Nieves:
A Semantic and Knowledge-Based Approach for Handover Management. Sensors 21(12): 4234 (2021) - [c66]Andrea Aler Tubella, Andreas Theodorou, Juan Carlos Nieves:
Interrogating the Black Box: Transparency through Information-Seeking Dialogues. AAMAS 2021: 106-114 - [c65]Timotheus Kampik, Juan Carlos Nieves:
Toward Consistent Agreement Approximation in Abstract Argumentation and Beyond. AAMAS 2021: 1551-1553 - [c64]Andreas Brännström, Juan Carlos Nieves:
Modelling Human Mental-States in an Action Language following the Theory of Planned Behavior. ICLP Workshops 2021 - [i13]Andrea Aler Tubella, Andreas Theodorou, Juan Carlos Nieves:
Interrogating the Black Box: Transparency through Information-Seeking Dialogues. CoRR abs/2102.04714 (2021) - 2020
- [j30]Mariela Morveli Espinoza, Juan Carlos Nieves, Cesar Augusto Tacla:
Measuring the strength of threats, rewards, and appeals in persuasive negotiation dialogues. Knowl. Eng. Rev. 35: e36 (2020) - [c63]Mariela Morveli Espinoza, Juan Carlos Nieves, Cesar Augusto Tacla:
Towards an Imprecise Probability Approach for Abstract Argumentation. ECAI 2020: 2921-2922 - [c62]Mariela Morveli Espinoza, Juan Carlos Nieves, Cesar Augusto Tacla:
Measuring the Strength of Rhetorical Arguments. EUMAS/AT 2020: 415-430 - [i12]Timotheus Kampik, Juan Carlos Nieves:
JS-son - A Lean, Extensible JavaScript Agent Programming Library. CoRR abs/2003.04690 (2020) - [i11]Mariela Morveli Espinoza, Juan Carlos Nieves, Ayslan Trevizan Possebom, Josep Puyol-Gruart, Cesar Augusto Tacla:
An Argumentation-based Approach for Identifying and Dealing with Incompatibilities among Procedural Goals. CoRR abs/2009.05186 (2020) - [i10]Mariela Morveli Espinoza, Juan Carlos Nieves, Cesar Augusto Tacla:
An Imprecise Probability Approach for Abstract Argumentation based on Credal Sets. CoRR abs/2009.07405 (2020) - [i9]Mariela Morveli Espinoza, Juan Carlos Nieves, Ayslan Trevizan Possebom, Cesar Augusto Tacla:
Dealing with Incompatibilities among Procedural Goals under Uncertainty. CoRR abs/2009.08776 (2020)
2010 – 2019
- 2019
- [j29]Mariela Morveli Espinoza, Juan Carlos Nieves, Ayslan Trevizan Possebom, Cesar Augusto Tacla:
Dealing with Incompatibilities among Procedural Goals under Uncertainty. Inteligencia Artif. 22(64): 47-62 (2019) - [j28]Juan Carlos Nieves:
Approximating agreements in formal argumentation dialogues. AI Commun. 32(4): 335-346 (2019) - [j27]Mariela Morveli Espinoza, Juan Carlos Nieves, Ayslan Trevizan Possebom, Josep Puyol-Gruart, Cesar Augusto Tacla:
An argumentation-based approach for identifying and dealing with incompatibilities among procedural goals. Int. J. Approx. Reason. 105: 1-26 (2019) - [c61]Timotheus Kampik, Juan Carlos Nieves, Helena Lindgren:
Explaining Sympathetic Actions of Rational Agents. EXTRAAMAS@AAMAS 2019: 59-76 - [c60]Mariela Morveli Espinoza, Juan Carlos Nieves, Cesar Augusto Tacla:
An Imprecise Probability Approach for Abstract Argumentation Based on Credal Sets. ECSQARU 2019: 39-49 - [c59]Timotheus Kampik, Juan Carlos Nieves:
JS-son - A Lean, Extensible JavaScript Agent Programming Library. EMAS@AAMAS 2019: 215-234 - [c58]Johannes Oetsch, Juan Carlos Nieves:
Stable-Ordered Models for Propositional Theories with Order Operators. JELIA 2019: 794-802 - [c57]Madeleine Blusi, Juan Carlos Nieves:
Feasibility and Acceptability of Smart Augmented Reality Assisting Patients with Medication Pillbox Self-Management. MedInfo 2019: 521-525 - [i8]Timotheus Kampik, Juan Carlos Nieves, Helena Lindgren:
Empathic Autonomous Agents. CoRR abs/1902.07781 (2019) - [i7]Timotheus Kampik, Juan Carlos Nieves:
Abstract Argumentation and the Rational Man. CoRR abs/1911.13024 (2019) - 2018
- [j26]Chunli Yan, Helena Lindgren, Juan Carlos Nieves:
A dialogue-based approach for dealing with uncertain and conflicting information in medical diagnosis. Auton. Agents Multi Agent Syst. 32(6): 861-885 (2018) - [j25]Esteban Guerrero, Juan Carlos Nieves, Marlene Sandlund, Helena Lindgren:
Activity qualifiers using an argument-based construction. Knowl. Inf. Syst. 54(3): 633-658 (2018) - [j24]Juan Carlos Nieves, Mauricio Osorio:
Extending Well-Founded Semantics with Clark's Completion for Disjunctive Logic Programs. Sci. Program. 2018: 4157030:1-4157030:10 (2018) - [c56]Timotheus Kampik, Juan Carlos Nieves, Helena Lindgren:
Coercion and Deception in Persuasive Technologies. TRUST@AAMAS 2018: 38-49 - [c55]Timotheus Kampik, Juan Carlos Nieves, Helena Lindgren:
Empathic Autonomous Agents. EMAS@AAMAS 2018: 181-201 - [c54]Timotheus Kampik, Juan Carlos Nieves, Helena Lindgren:
Implementing Argumentation-Enabled Empathic Agents. EUMAS 2018: 140-155 - [c53]Martin Ingeson, Madeleine Blusi, Juan Carlos Nieves:
Microsoft Hololens - A mHealth Solution for Medication Adherence. AIH@IJCAI (Revised Selected Papers) 2018: 99-115 - [c52]Martin Ingeson, Madeleine Blusi, Juan Carlos Nieves:
Smart augmented reality mHealth for medication adherence. AIH@IJCAI 2018: 157-168 - [i6]Johannes Oetsch, Juan Carlos Nieves:
A Knowledge Representation Perspective on Activity Theory. CoRR abs/1811.05815 (2018) - [i5]Timotheus Kampik, Juan Carlos Nieves, Helena Lindgren:
Implementing Argumentation-enabled Empathic Agents. CoRR abs/1812.04985 (2018) - 2017
- [j23]Juan Carlos Nieves, Edward Hermann Haeusler, Bruno Lopes Vieira:
Editorial. Computación y Sistemas 21(3) (2017) - [j22]Sarah Alice Gaggl, Juan Carlos Nieves, Hannes Strass, Paolo Torroni:
Preface. Fundam. Informaticae 155(3): i-iii (2017) - [j21]Mauricio Osorio, Juan Carlos Nieves:
Range-based argumentation semantics as two-valued models. Theory Pract. Log. Program. 17(1): 75-90 (2017) - [c51]Jayalakshmi Baskar, Rebecka Janols, Esteban Guerrero, Juan Carlos Nieves, Helena Lindgren:
A Multipurpose Goal Model for Personalised Digital Coaching. A2HC@AAMAS/A-HEALTH@PAAMS 2017: 94-116 - [c50]Juan Carlos Nieves:
Approximating Agreements in Argumentation Dialogues. EUMAS/AT 2017: 501-515 - 2016
- [j20]Esteban Guerrero, Juan Carlos Nieves, Helena Lindgren:
An activity-centric argumentation framework for assistive technology aimed at improving health. Argument Comput. 7(1): 5-33 (2016) - [j19]Juan Carlos Nieves, Mauricio Osorio:
Ideal extensions as logical programming models. J. Log. Comput. 26(5): 1361-1393 (2016) - [c49]Helena Lindgren, Jayalakshmi Baskar, Esteban Guerrero, Juan Carlos Nieves, Ingeborg Nilsson, Chunli Yan:
Computer-Supported Assessment for Tailoring Assistive Technology. Digital Health 2016: 1-10 - [c48]Juan Carlos Nieves:
Expansion and Equivalence Relations on Argumentation Frameworks Based on Logic Programs. EUMAS/AT 2016: 375-389 - [c47]Esteban Guerrero, Juan Carlos Nieves, Marlene Sandlund, Helena Lindgren:
Activity Qualifiers in an Argumentation Framework as Instruments for Agents When Evaluating Human Activity. PAAMS 2016: 133-144 - [i4]Mauricio Osorio, Juan Carlos Nieves:
Range-based argumentation semantics as 2-valued models. CoRR abs/1602.08903 (2016) - [i3]Sarah Alice Gaggl, Juan Carlos Nieves, Hannes Strass:
Proceedings of the First International Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning (Arg-LPNMR 2016). CoRR abs/1611.02439 (2016) - 2015
- [j18]Juan Carlos Nieves, Helena Lindgren:
Possibilistic nested logic programs and strong equivalence. Int. J. Approx. Reason. 59: 1-19 (2015) - [j17]Esteban Guerrero, Juan Carlos Nieves, Helena Lindgren:
Semantic-based construction of arguments: An answer set programming approach. Int. J. Approx. Reason. 64: 54-74 (2015) - [c46]Juan Carlos Nieves, Saeed Partonia, Esteban Guerrero, Helena Lindgren:
A Probabilistic Non-monotonic Activity Qualifier. ANT/SEIT 2015: 420-427 - [e1]Juan Carlos Nieves, José Raymundo Marcial-Romero:
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. Electronic Notes in Theoretical Computer Science 315, Elsevier 2015 [contents] - 2014
- [j16]Juan Carlos Nieves, Helena Lindgren, Ulises Cortés:
Agent-Based Reasoning in Medical Planning and Diagnosis Combining Multiple Strategies. Int. J. Artif. Intell. Tools 23(1) (2014) - [c45]Juan Carlos Nieves, Helena Lindgren:
Deliberative Argumentation for Service Provision in Smart Environments. EUMAS 2014: 388-397 - [c44]Chunli Yan, Juan Carlos Nieves, Helena Lindgren:
A Multi-agent System for Nested Inquiry Dialogues. PAAMS 2014: 303-314 - [c43]Juan Carlos Nieves, Esteban Guerrero, Jayalakshmi Baskar, Helena Lindgren:
Deliberative Argumentation for Smart Environments. PRIMA 2014: 141-149 - [c42]Juan Carlos Nieves, José Raymundo Marcial-Romero:
Preface. LANMR (Selected Papers) 2014: 1-2 - 2013
- [j15]Juan Carlos Nieves, Angelina Espinoza, Yoseba K. Penya, Mariano Ortega de Mues, Aitor Peña:
Intelligence distribution for data processing in smart grids: A semantic approach. Eng. Appl. Artif. Intell. 26(8): 1841-1853 (2013) - [j14]Juan Carlos Nieves, Helena Lindgren:
Merging Deductive and Abductive Knowledge Bases: An Argumentation Context Approach. Polibits 48: 39-46 (2013) - [j13]Angelina Espinoza, Yoseba K. Penya, Juan Carlos Nieves, Mariano Ortega, Aitor Peña, Daniel Rodríguez:
Supporting Business Workflows in Smart Grids: An Intelligent Nodes-Based Approach. IEEE Trans. Ind. Informatics 9(3): 1384-1397 (2013) - [j12]Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés:
Semantics for Possibilistic Disjunctive Programs. Theory Pract. Log. Program. 13(1): 33-70 (2013) - [c41]Esteban Guerrero, Juan Carlos Nieves, Helena Lindgren:
ALI: An assisted living system for persons with mild cognitive impairment. CBMS 2013: 526-527 - [c40]Mauricio Osorio, Juan Carlos Nieves, Alejandro Santoyo:
Complete Extensions as Clark's Completion Semantics. ENC 2013: 81-88 - [c39]Juan Carlos Nieves, Esteban Guerrero, Helena Lindgren:
Reasoning about Human Activities: an Argumentative Approach. SCAI 2013: 195-204 - 2012
- [j11]Roberto Confalonieri, Juan Carlos Nieves, Mauricio Osorio, Javier Vázquez-Salceda:
Dealing with explicit preferences and uncertainty in answer set programming. Ann. Math. Artif. Intell. 65(2-3): 159-198 (2012) - [j10]Juan Carlos Nieves, Dario Garcia-Gasulla, Montse Aulinas, Ulises Cortés:
An Operational Approach for Implementing Normative Agents in Urban Wastewater Systems. Computación y Sistemas 16(1) (2012) - [c38]Juan Carlos Nieves, Dipak Surie, Helena Lindgren:
Modeling Actions Based on a Situative Space Model for Recognizing Human Activities. AIMSA 2012: 266-275 - [c37]Juan Carlos Nieves, Helena Lindgren:
Possibilistic Nested Logic Programs. ICLP (Technical Communications) 2012: 267-276 - [c36]Juan Carlos Nieves, Mauricio Osorio, Helena Lindgren:
Managing Inconsistent Possibilistic Knowledge Bases by An Argumentation Approach. SAIS 2012: 17-23 - 2011
- [j9]Montse Aulinas, Juan Carlos Nieves, Ulises Cortés, Manel Poch:
Supporting decision making in urban wastewater systems using a knowledge-based approach. Environ. Model. Softw. 26(5): 562-572 (2011) - [j8]Juan Carlos Nieves, Mauricio Osorio, Claudia Zepeda:
A Schema for Generating Relevant Logic Programming Semantics and its Applications in Argumentation Theory. Fundam. Informaticae 106(2-4): 295-319 (2011) - [j7]Roberto Confalonieri, Juan Carlos Nieves:
Nested Preferences in Answer Set Programming. Fundam. Informaticae 113(1): 19-39 (2011) - [j6]Juan Carlos Nieves, Roberto Confalonieri:
A Possibilistic Argumentation Decision Making Framework with Default Reasoning. Fundam. Informaticae 113(1): 41-61 (2011) - [c35]Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés:
Extending the Grounded Semantics by Logic Programming Semantics. CCIA 2011: 169-178 - [c34]Roberto Confalonieri, Henri Prade, Juan Carlos Nieves:
Handling Exceptions in Logic Programming without Negation as Failure. ECSQARU 2011: 509-520 - [c33]Mauricio Osorio, Juan Carlos Nieves, José Luis Carballido:
The Stable Abducible Argumentation Semantics. LA-NMR 2011: 57-68 - [i2]Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés:
Semantics for Possibilistic Disjunctive Programs. CoRR abs/1106.0776 (2011) - 2010
- [c32]Ignasi Gómez-Sebastià, Juan Carlos Nieves:
WizArg: Visual Argumentation Framework Solving Wizard. CCIA 2010: 249-258 - [c31]Mauricio Osorio, Juan Carlos Nieves, Ignasi Gómez-Sebastià:
CF2-extensions as Answer-set Models. COMMA 2010: 391-402 - [c30]Roberto Confalonieri, Juan Carlos Nieves, Mauricio Osorio, Javier Vázquez-Salceda:
Possibilistic Semantics for Logic Programs with Ordered Disjunction. FoIKS 2010: 133-152 - [c29]Manel Palau, Luigi Ceccaroni, Ignasi Gómez-Sebastià, Javier Vázquez-Salceda, Juan Carlos Nieves:
Coordination and Organisational Mechanisms Applied to the Development of a Dynamic, Context-aware Information Service. ICAART (2) 2010: 88-95 - [c28]Manel Palau, Ignasi Gómez-Sebastià, Luigi Ceccaroni, Javier Vázquez-Salceda, Juan Carlos Nieves:
A Framework for the Development and Maintenance of Adaptive, Dynamic, Context-Aware Information Services. ICAART (Revised Selected Papers) 2010: 227-239 - [c27]Juan Carlos Nieves, Dario Garcia-Gasulla, Montse Aulinas, Ulises Cortés:
Using Situation Calculus for Normative Agents in Urban Wastewater Systems. PAAMS 2010: 247-257
2000 – 2009
- 2009
- [j5]José Luis Carballido, Juan Carlos Nieves, Mauricio Osorio:
Inferring Preferred Extensions by Pstable Semantics. Inteligencia Artif. 13(41): 38-53 (2009) - [j4]Mauricio Osorio, Claudia Zepeda, Juan Carlos Nieves, José Luis Carballido:
G'3-Stable Semantics and Inconsistency. Computación y Sistemas 13(1) (2009) - [c26]Roberto Confalonieri, Juan Carlos Nieves, Javier Vázquez-Salceda:
Pstable Semantics for Logic Programs with Possibilistic Ordered Disjunction. AI*IA 2009: 52-61 - [c25]Juan Carlos Nieves, Montse Aulinas, Ulises Cortés:
Reasoning About Actions for the Management of Urban Wastewater Systems: Preliminary report. CCIA 2009: 371-380 - [c24]Juan Carlos Nieves, Mauricio Osorio:
Possibilistic Stratified Minimal Model Semantics. ENC 2009: 33-41 - [c23]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:
ALIVE: A Framework for Flexible and Adaptive Service Coordination. ESAW 2009: 236-239 - [c22]Juan Carlos Nieves, Ignasi Gómez-Sebastià:
Extension-Based Argumentation Semantics via Logic Programming Semantics with Negation as Failure. LA-NMR 2009: 31-45 - [c21]Mauricio Osorio, Angel Marín George, Juan Carlos Nieves:
Computing the Stratified Minimal Models Semantic. LA-NMR 2009: 157-171 - [c20]Sofia Panagiotidi, Juan Carlos Nieves, Javier Vázquez-Salceda:
A Framework to Model Norm Dynamics in Answer Set Programming. MALLOW 2009 - [c19]Mauricio Osorio, Juan Carlos Nieves:
Possibilistic Well-Founded Semantics. MICAI 2009: 15-26 - [c18]Ignasi Gómez-Sebastià, Manel Palau, Juan Carlos Nieves, Javier Vázquez-Salceda, Luigi Ceccaroni:
Dynamic Orchestration of Distributed Services on Interactive Community Displays: The ALIVE Approach. PAAMS 2009: 450-459 - [c17]Juan Carlos Nieves, Mauricio Osorio, Claudia Zepeda:
Expressing Extension-Based Semantics Based on Stratified Minimal Models. WoLLIC 2009: 305-319 - 2008
- [j3]Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés:
An Overview of Argumentation Semantics. Computación y Sistemas 12(1) (2008) - [j2]Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio:
Preferred extensions as stable models. Theory Pract. Log. Program. 8(4): 527-543 (2008) - [c16]Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio:
Possibilistic-Based Argumentation: An Answer Set Programming Approach. ENC 2008: 249-260 - [i1]Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés:
Preferred extensions as stable models. CoRR abs/0803.3812 (2008) - 2007
- [c15]Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés, Francisco Caballero, Antonio López-Navidad:
Reasoning about actions under uncertainty: A possibilistic approach. CCIA 2007: 300-309 - [c14]Juan Carlos Nieves, Mauricio Osorio:
Generating maximal models using the stable model semantics. LA-NMR 2007 - [c13]Juan Carlos Nieves, Mauricio Osorio:
Inferring preferred extensions by Pstable semantics. LA-NMR 2007 - [c12]Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés:
Semantics for Possibilistic Disjunctive Programs. LPNMR 2007: 315-320 - [c11]Mauricio Osorio, Juan Carlos Nieves:
PStable Semantics for Possibilistic Logic Programs. MICAI 2007: 294-304 - 2006
- [c10]Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio, Iván Olmos, Jesus A. Gonzalez:
Defining new argumentation-based semantics by minimal models. ENC 2006: 210-220 - [c9]Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio:
Supporting decision making in organ transplanting using argumentation theory. LA-NMR 2006 - [c8]Juan Carlos Nieves, Ulises Cortés:
Modality Argumentation Programming. MDAI 2006: 295-306 - 2005
- [c7]Claudia Zepeda, Mauricio Osorio, Juan Carlos Nieves, Christine Solnon, David Sol:
Applications of Preferences using Answer Set Programming. Answer Set Programming 2005 - [c6]Mauricio Osorio, Claudia Zepeda, Juan Carlos Nieves, Ulises Cortés:
Inferring acceptable arguments with Answer Set Programming. ENC 2005: 198-205 - 2004
- [j1]Mauricio Osorio, Juan Carlos Nieves, Bharat Jayaraman:
Aggregation in Functional Query Languages. J. Funct. Log. Program. 2004 (2004) - 2001
- [c5]Mauricio Osorio, Juan Carlos Nieves:
Stratified Partial-Order Logic Programming. AI 2001: 225-235 - [c4]Mauricio Osorio, Juan Carlos Nieves, Chris Giannella:
Useful Transformations in Answer set programming. Answer Set Programming 2001 - 2000
- [c3]Mauricio Osorio, Juan Carlos Nieves, Gabriel Cervantes:
Application of Simplification Theories. ARW 2000 - [c2]Mauricio Osorio, Juan Carlos Nieves, Fernando Zacarías Flores, Erika Saucedo:
Knowledge Representation Using High-Level Non-monotonic Reasoning. MICAI 2000: 13-24
1990 – 1999
- 1999
- [c1]Mauricio Osorio, Bharat Jayaraman, Juan Carlos Nieves:
Declarative Pruning in a Functional Query Language. ICLP 1999: 588-604
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-12 21:56 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
