|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 4 keywords
|
|
|
|
|
Results
Found 26 publication records. Showing 26 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | David López, Claudia Zepeda Cortés, José Luis Carballido |
Evaluation of a parallel approach implementation of the p-stable semantics.  |
CONIELECOMP  |
2012 |
DBLP DOI BibTeX RDF |
|
| 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 | Mauricio Osorio, José Luis Carballido, Claudia Zepeda, Zenaida Cruz |
Characterization of Argumentation Semantics in Terms of the MM r Semantics. |
MICAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Osorio, José Luis Carballido, Claudia Zepeda |
An Application of Clasp in the Study of Logics. |
LPNMR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudia Zepeda, José Luis Carballido, J. Manuel Amezcua, Oscar De Leon, Javier A. Martinez, Mauricio Osorio |
Modeling production of resources using Answer Set Planning. |
CONIELECOMP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudia Zepeda, José Luis Carballido, Mario Rossainz, Mauricio Osorio |
Updates Based on ASP. |
MICAI (Special Sessions) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Javier Osorio Galindo, Claudia Zepeda Cortés |
Guest Editorial: Fifth Latin American Workshop on Non-Monotonic Reasoning 2009, (LANMR'09). |
Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial |
2010 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Osorio, Claudia Zepeda |
Guest Editorial: Workshops by the Logic and Computation Mexican Group. |
Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial |
2009 |
DBLP BibTeX RDF |
|
| 1 | Claudia Zepeda, José Luis Carballido |
P-stable models of strong kernel programs. |
J. Algorithms |
2009 |
DBLP DOI 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, Claudia Zepeda, Hilda Castillo |
A Formal Design Model for Mechatronic Systems. |
CONIELECOMP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudia Zepeda, José Luis Carballido |
Computing of p-Stable Models Based on Semi-Negative Normal Programs with Constraints. |
ENC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudia Zepeda, David Sol |
Evacuation Planning using Answer Set Programming: An initial approach. |
Engineering Letters |
2007 |
DBLP BibTeX RDF |
|
| 1 | José Arrazola, Pilar Pozos Parra, Mauricio Osorio, Claudia Zepeda (eds.) |
Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the LA-NMR07 Workshop, Benemérita Universidad Autónoma de Puebla, Puebla, Pue., México, 17th - 19th September 2007 |
LA-NMR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Osorio, Claudia Zepeda |
Update Sequences Based on Minimal Generalized Pstable Models. |
MICAI |
2007 |
DBLP DOI BibTeX RDF |
Update sequences, Logic Programming |
| 1 | Mauricio Osorio, Claudia Zepeda |
Preferences using Answer Sets. |
LA-NMR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Osorio, Claudia Zepeda, Pilar Pozos Parra, Guillermo De Ita Luna (eds.) |
Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the LA-NMR06 Workshop, Facultad de Ingeniería de la Universidad Auónoma de San Luis Potí, San Luis Potosí, México, September 18, 2006 |
LA-NMR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Osorio, Claudia Zepeda |
Answer Set General Theories and Preferences. |
MICAI |
2006 |
DBLP DOI BibTeX RDF |
Logic Programming, Preferences, Answer Set Programming |
| 1 | Mauricio Osorio, Claudia Zepeda |
Minimal Generalized Answer-Sets and their Applications. |
LoLaCOM |
2006 |
DBLP BibTeX RDF |
|
| 1 | Rogelio Dávila, Mauricio Osorio, Claudia Zepeda (eds.) |
Proceedings of the LoLaCOM06 Workshop, Instituto Tecnológico de Apizaco, Apizaco, Tlaxcala, México, 13th - 14th November 2006 |
LoLaCOM |
2006 |
DBLP 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 | Claudia Zepeda, Mauricio Osorio, David Sol |
Modeling Evacuation Planning Using A-Prolog. |
CONIELECOMP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudia Zepeda, Christine Solnon, David Sol |
Planning Operation: An Extensio'n of a Geographical Information System. |
LA-NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Osorio, Claudia Zepeda |
Towards the use of Semantics Contents in ASP for planning and diagnistic in GIS. |
Answer Set Programming |
2003 |
DBLP BibTeX RDF |
|
| 1 | Jürgen Dix, Mauricio Osorio, Claudia Zepeda |
A general theory of confluent rewriting systems for logic programming and its applications. |
Ann. Pure Appl. Logic |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #26 of 26 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")