MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Juan Carlos Nieves – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

model
by Juan Carlos Nieves, Mauricio Osorio
…Generating maximal models using the stable model semantics Juan Carlos Nieves 1 and Mauricio…
Add To MetaCart

Useful Transformations in Answer set programming
by Mauricio Osorio, Juan Carlos Nieves, Sta Catarina Martir, Chris Giannella — 2001
…Useful Transformations in Answer set programming Mauricio Osorio and Juan Carlos Nieves…
Cited by 2 (2 self) – Add To MetaCart

Applications of preferences using answer set programming
by Claudia Zepeda, Mauricio Osorio, Juan Carlos Nieves, Christine Solnon, David Sol — 2005 — In Proceedings Workshop on Answer Set Programming (ASP’05
…, Juan Carlos Nieves2, Christine Solnon3,and David Sol 1 1 Universidad de las Am'ericas, CENTIA, Sta…
Cited by 2 (1 self) – Add To MetaCart

Application of Simplification Theories
by Mauricio Osorio, Juan Carlos Nieves, Gabriel Cervantes, Sta Catarina Martir, Cholula Puebla, Autonoma Puebla
…Application of simplification theories Mauricio Osorio 1 , Juan Carlos Nieves 1 , Gabriel…
Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB