Juan Carlos Nieves

Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés: Semantics for Possibilistic Disjunctive Programs. TPLP 13(1): 33-70 (2013)

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)

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)

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

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

Juan Carlos Nieves, Mauricio Osorio, Claudia Zepeda: A Schema for Generating Relevant Logic Programming Semantics and its Applications in Argumentation Theory. Fundam. Inform. 106(2-4): 295-319 (2011)

Roberto Confalonieri, Juan Carlos Nieves: Nested Preferences in Answer Set Programming. Fundam. Inform. 113(1): 19-39 (2011)

Juan Carlos Nieves, Roberto Confalonieri: A Possibilistic Argumentation Decision Making Framework with Default Reasoning. Fundam. Inform. 113(1): 41-61 (2011)

Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés: Extending the Grounded Semantics by Logic Programming Semantics. CCIA 2011: 169-178

Roberto Confalonieri, Henri Prade, Juan Carlos Nieves: Handling Exceptions in Logic Programming without Negation as Failure. ECSQARU 2011: 509-520

Mauricio Osorio, Juan Carlos Nieves, José Luis Carballido: The Stable Abducible Argumentation Semantics. LA-NMR 2011: 57-68

Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés: Semantics for Possibilistic Disjunctive Programs. CoRR abs/1106.0776 (2011)

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

Mauricio Osorio, Juan Carlos Nieves, Ignasi Gómez-Sebastià: CF2-extensions as Answer-set Models. COMMA 2010: 391-402

Roberto Confalonieri, Juan Carlos Nieves, Mauricio Osorio, Javier Vázquez-Salceda: Possibilistic Semantics for Logic Programs with Ordered Disjunction. FoIKS 2010: 133-152

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

Juan Carlos Nieves, Dario Garcia, Montse Aulinas, Ulises Cortés: Using Situation Calculus for Normative Agents in Urban Wastewater Systems. PAAMS 2010: 247-257

José Luis Carballido, Juan Carlos Nieves, Mauricio Osorio: Inferring Preferred Extensions by Pstable Semantics. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 13(41): 38-53 (2009)

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

Roberto Confalonieri, Juan Carlos Nieves, Javier Vázquez-Salceda: Pstable Semantics for Logic Programs with Possibilistic Ordered Disjunction. AI*IA 2009: 52-61

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

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

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

Mauricio Osorio, Angel Marin-George, Juan Carlos Nieves: Computing the Stratified Minimal Models Semantic. LA-NMR 2009: 157-171

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

Mauricio Osorio, Juan Carlos Nieves: Possibilistic Well-Founded Semantics. MICAI 2009: 15-26

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

Juan Carlos Nieves, Mauricio Osorio, Claudia Zepeda: Expressing Extension-Based Semantics Based on Stratified Minimal Models. WoLLIC 2009: 305-319

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

Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio: Preferred extensions as stable models. TPLP 8(4): 527-543 (2008)

Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio: Possibilistic-Based Argumentation: An Answer Set Programming Approach. ENC 2008: 249-260

Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés: Preferred extensions as stable models. CoRR abs/0803.3812 (2008)

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

Juan Carlos Nieves, Mauricio Osorio: Generating maximal models using the stable model semantics. LA-NMR 2007

Juan Carlos Nieves, Mauricio Osorio: Inferring preferred extensions by Pstable semantics. LA-NMR 2007

Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés: Semantics for Possibilistic Disjunctive Programs. LPNMR 2007: 315-320

Mauricio Osorio, Juan Carlos Nieves: PStable Semantics for Possibilistic Logic Programs. MICAI 2007: 294-304

Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio, Ivan Olmos, Jesus A. Gonzalez: Defining new argumentation-based semantics by minimal models. ENC 2006: 210-220

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

Juan Carlos Nieves, Ulises Cortés: Modality Argumentation Programming. MDAI 2006: 295-306

Claudia Zepeda, Mauricio Osorio, Juan Carlos Nieves, Christine Solnon, David Sol: Applications of Preferences using Answer Set Programming. Answer Set Programming 2005

Mauricio Osorio, Claudia Zepeda, Juan Carlos Nieves, Ulises Cortés: Inferring acceptable arguments with Answer Set Programming. ENC 2005: 198-205

Mauricio Osorio, Juan Carlos Nieves, Bharat Jayaraman: Aggregation in Functional Query Languages. Journal of Functional and Logic Programming 2004 (2004)

Mauricio Osorio, Juan Carlos Nieves: Stratified Partial-Order Logic Programming. Canadian Conference on AI 2001: 225-235

Mauricio Osorio, Juan Carlos Nieves, Chris Giannella: Useful Transformations in Answer set programming. Answer Set Programming 2001

Mauricio Osorio, Juan Carlos Nieves, Fernando Zacarias, Erika Saucedo: Knowledge Representation Using High-Level Non-monotonic Reasoning. MICAI 2000: 13-24

Mauricio Osorio, Bharat Jayaraman, Juan Carlos Nieves: Declarative Pruning in a Functional Query Language. ICLP 1999: 588-604