|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 5 keywords
|
|
|
|
|
Results
Found 36 publication records. Showing 36 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Juan Carlos Nieves, Mauricio Osorio, Claudia Zepeda |
A Schema for Generating Relevant Logic Programming Semantics and its Applications in Argumentation Theory.  |
Fundam. Inform.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Confalonieri, Juan Carlos Nieves |
Nested Preferences in Answer Set Programming.  |
Fundam. Inform.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Carlos Nieves, Roberto Confalonieri |
A Possibilistic Argumentation Decision Making Framework with Default Reasoning.  |
Fundam. Inform.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés |
Semantics for Possibilistic Disjunctive Programs  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Roberto Confalonieri, Henri Prade, Juan Carlos Nieves |
Handling Exceptions in Logic Programming without Negation as Failure.  |
ECSQARU  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés |
Extending the Grounded Semantics by Logic Programming Semantics.  |
CCIA  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Carlos Nieves, Dario Garcia, Montse Aulinas, Ulises Cortés |
Using Situation Calculus for Normative Agents in Urban Wastewater Systems.  |
PAAMS  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ignasi Gómez-Sebastià, Juan Carlos Nieves |
WizArg: Visual Argumentation Framework Solving Wizard.  |
CCIA  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Confalonieri, Juan Carlos Nieves, Mauricio Osorio, Javier Vázquez-Salceda |
Possibilistic Semantics for Logic Programs with Ordered Disjunction.  |
FoIKS  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Osorio, Juan Carlos Nieves, Ignasi Gómez-Sebastià |
CF2-extensions as Answer-set Models.  |
COMMA  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | José Luis Carballido, Juan Carlos Nieves, Mauricio Osorio |
Inferring Preferred Extensions by Pstable Semantics.  |
Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Juan Carlos Nieves, Mauricio Osorio, Claudia Zepeda |
Expressing Extension-Based Semantics Based on Stratified Minimal Models.  |
WoLLIC  |
2009 |
DBLP DOI BibTeX RDF |
extension-based argumentation semantics and logic programming, Non-monotonic reasoning |
| 1 | Mauricio Osorio, Juan Carlos Nieves |
Possibilistic Well-Founded Semantics.  |
MICAI  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Carlos Nieves, Montse Aulinas, Ulises Cortés |
Reasoning About Actions for the Management of Urban Wastewater Systems: Preliminary report.  |
CCIA  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Confalonieri, Juan Carlos Nieves, Javier Vázquez-Salceda |
Pstable Semantics for Logic Programs with Possibilistic Ordered Disjunction.  |
AI*IA  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sofia Panagiotidi, Juan Carlos Nieves, Javier Vázquez-Salceda |
A Framework to Model Norm Dynamics in Answer Set Programming.  |
MALLOW  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés |
Preferred extensions as stable models  |
CoRR  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio |
Preferred extensions as stable models.  |
TPLP  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio |
Possibilistic-Based Argumentation: An Answer Set Programming Approach.  |
ENC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Carlos Nieves, Mauricio Osorio |
Inferring preferred extensions by Pstable semantics.  |
LA-NMR  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Juan Carlos Nieves, Mauricio Osorio |
Generating maximal models using the stable model semantics.  |
LA-NMR  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Osorio, Juan Carlos Nieves |
PStable Semantics for Possibilistic Logic Programs.  |
MICAI  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés, Francisco Caballero, Antonio López-Navidad |
Reasoning about actions under uncertainty: A possibilistic approach.  |
CCIA  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés |
Semantics for Possibilistic Disjunctive Programs.  |
LPNMR  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio |
Supporting decision making in organ transplanting using argumentation theory.  |
LA-NMR  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Juan Carlos Nieves, Ulises Cortés |
Modality Argumentation Programming.  |
MDAI  |
2006 |
DBLP DOI BibTeX RDF |
Logic Programming, Decision-Making, Argumentation, Rational Agents |
| 1 | Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio, Ivan Olmos, Jesus A. Gonzalez |
Defining new argumentation-based semantics by minimal models.  |
ENC  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Osorio, Claudia Zepeda, Juan Carlos Nieves, Ulises Cortés |
Inferring acceptable arguments with Answer Set Programming.  |
ENC  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudia Zepeda, Mauricio Osorio, Juan Carlos Nieves, Christine Solnon, David Sol |
Applications of Preferences using Answer Set Programming.  |
Answer Set Programming  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Osorio, Juan Carlos Nieves, Chris Giannella |
Useful Transformations in Answer set programming.  |
Answer Set Programming  |
2001 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Osorio, Juan Carlos Nieves |
Stratified Partial-Order Logic Programming.  |
Canadian Conference on AI  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Osorio, Juan Carlos Nieves, Fernando Zacarias, Erika Saucedo |
Knowledge Representation Using High-Level Non-monotonic Reasoning.  |
MICAI  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Osorio, Bharat Jayaraman, Juan Carlos Nieves |
Declarative Pruning in a Functional Query Language.  |
ICLP  |
1999 |
DBLP BibTeX RDF |
|
Displaying result #1 - #36 of 36 (100 per page; Change: )
|
|