dblp.uni-trier.dewww.uni-trier.de

Juan Carlos Nieves Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
18EEJuan Carlos Nieves, Mauricio Osorio, Claudia Zepeda: Expressing Extension-Based Semantics Based on Stratified Minimal Models. WoLLIC 2009: 305-319
2008
17EEJuan Carlos Nieves, Ulises Cortés, Mauricio Osorio: Possibilistic-Based Argumentation: An Answer Set Programming Approach. ENC 2008: 249-260
16EEJuan Carlos Nieves, Mauricio Osorio, Ulises Cortés: Preferred extensions as stable models CoRR abs/0803.3812: (2008)
15EEJuan Carlos Nieves, Ulises Cortés, Mauricio Osorio: Preferred extensions as stable models. TPLP 8(4): 527-543 (2008)
2007
14 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
13EEJuan Carlos Nieves, Mauricio Osorio: Generating maximal models using the stable model semantics. LA-NMR 2007
12EEJuan Carlos Nieves, Mauricio Osorio: Inferring preferred extensions by Pstable semantics. LA-NMR 2007
11EEJuan Carlos Nieves, Mauricio Osorio, Ulises Cortés: Semantics for Possibilistic Disjunctive Programs. LPNMR 2007: 315-320
10EEMauricio Osorio, Juan Carlos Nieves: PStable Semantics for Possibilistic Logic Programs. MICAI 2007: 294-304
2006
9EEJuan Carlos Nieves, Ulises Cortés, Mauricio Osorio, Ivan Olmos, Jesus A. Gonzalez: Defining new argumentation-based semantics by minimal models. ENC 2006: 210-220
8EEJuan Carlos Nieves, Ulises Cortés, Mauricio Osorio: Supporting decision making in organ transplanting using argumentation theory. LA-NMR 2006
7EEJuan Carlos Nieves, Ulises Cortés: Modality Argumentation Programming. MDAI 2006: 295-306
2005
6EEClaudia Zepeda, Mauricio Osorio, Juan Carlos Nieves, Christine Solnon, David Sol: Applications of Preferences using Answer Set Programming. Answer Set Programming 2005
5EEMauricio Osorio, Claudia Zepeda, Juan Carlos Nieves, Ulises Cortés: Inferring acceptable arguments with Answer Set Programming. ENC 2005: 198-205
2001
4EEMauricio Osorio, Juan Carlos Nieves, Chris Giannella: Useful Transformations in Answer set programming. Answer Set Programming 2001
3EEMauricio Osorio, Juan Carlos Nieves: Stratified Partial-Order Logic Programming. Canadian Conference on AI 2001: 225-235
2000
2 Mauricio Osorio, Juan Carlos Nieves, Fernando Zacarias, Erika Saucedo: Knowledge Representation Using High-Level Non-monotonic Reasoning. MICAI 2000: 13-24
1999
1 Mauricio Osorio, Bharat Jayaraman, Juan Carlos Nieves: Declarative Pruning in a Functional Query Language. ICLP 1999: 588-604

Coauthor Index

1Francisco Caballero [14]
2Ulises Cortés [5] [7] [8] [9] [11] [14] [15] [16] [17]
3Chris Giannella [4]
4Jesus A. Gonzalez [9]
5Bharat Jayaraman [1]
6Antonio López-Navidad [14]
7Ivan Olmos [9]
8Mauricio Osorio (Mauricio Javier Osorio Galindo) [1] [2] [3] [4] [5] [6] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18]
9Erika Saucedo [2]
10David Sol [6]
11Christine Solnon [6]
12Fernando Zacarias [2]
13Claudia Zepeda [5] [6] [18]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)