|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 13 publication records. Showing 13 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 | 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 | José Luis Carballido, Mauricio Osorio, José Arrazola |
Equivalence for the G'3-stable models semantics. |
J. Applied Logic |
2010 |
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 | 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 | Claudia Zepeda, José Luis Carballido |
P-stable models of strong kernel programs. |
J. Algorithms |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Javier Osorio Galindo, José R. Arrazola Ramírez, José Luis Carballido |
Logical Weak Completions of Paraconsistent Logics. |
J. Log. Comput. |
2008 |
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 | José Luis Carballido, José Arrazola, Mauricio Osorio |
Equivalence for the G3'-stable models semantics. |
LA-NMR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Osorio, José R. Arrazola Ramírez, José Luis Carballido, Oscar Estrada |
An Axiomatization of G'3. |
LoLaCOM |
2006 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Osorio, José R. Arrazola Ramírez, José Luis Carballido, Oscar Estrada |
Programas Lógicos Disjunctivos y la Demostrabilidad de Atomos en Cw. |
LoLaCOM |
2006 |
DBLP BibTeX RDF |
|
Displaying result #1 - #13 of 13 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")