2008 |
17 | EE | Juan Carlos Nieves,
Ulises Cortés,
Mauricio Osorio:
Possibilistic-Based Argumentation: An Answer Set Programming Approach.
ENC 2008: 249-260 |
16 | EE | Juan Carlos Nieves,
Mauricio Osorio,
Ulises Cortés:
Preferred extensions as stable models
CoRR abs/0803.3812: (2008) |
15 | EE | Juan 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 |
13 | EE | Juan Carlos Nieves,
Mauricio Osorio:
Generating maximal models using the stable model semantics.
LA-NMR 2007 |
12 | EE | Juan Carlos Nieves,
Mauricio Osorio:
Inferring preferred extensions by Pstable semantics.
LA-NMR 2007 |
11 | EE | Juan Carlos Nieves,
Mauricio Osorio,
Ulises Cortés:
Semantics for Possibilistic Disjunctive Programs.
LPNMR 2007: 315-320 |
10 | EE | Mauricio Osorio,
Juan Carlos Nieves:
PStable Semantics for Possibilistic Logic Programs.
MICAI 2007: 294-304 |
2006 |
9 | EE | 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 |
8 | EE | Juan Carlos Nieves,
Ulises Cortés,
Mauricio Osorio:
Supporting decision making in organ transplanting using argumentation theory.
LA-NMR 2006 |
7 | EE | Juan Carlos Nieves,
Ulises Cortés:
Modality Argumentation Programming.
MDAI 2006: 295-306 |
2005 |
6 | EE | Claudia Zepeda,
Mauricio Osorio,
Juan Carlos Nieves,
Christine Solnon,
David Sol:
Applications of Preferences using Answer Set Programming.
Answer Set Programming 2005 |
5 | EE | Mauricio Osorio,
Claudia Zepeda,
Juan Carlos Nieves,
Ulises Cortés:
Inferring acceptable arguments with Answer Set Programming.
ENC 2005: 198-205 |
2001 |
4 | EE | Mauricio Osorio,
Juan Carlos Nieves,
Chris Giannella:
Useful Transformations in Answer set programming.
Answer Set Programming 2001 |
3 | EE | Mauricio 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 |