1.
|
Formalizing processes in defeasible argumentation using labeled deductive systems Chesñevar, Carlos Iván
|
2.
|
Formalizando algoritmos concorrentes Diverio, Tiarajú A. - Alves, Rodrigo S. - Ferreira, Simone
|
3.
|
A methodology for knowledge representation in defeasible logic programming Stankevicius, Alejandro G. - Simari, Guillermo Ricardo
|
4.
|
Hacia una propuesta integradora de sistemas basados en conocimiento y de descubrimiento Rancan, Claudio - Pesado, Patricia - García Martínez, Ramón
|
5.
|
Uma ferramenta para a construção de aplicações multilinguagens de programação Freitas, Aparecido Valdemir de - Neto, João José
|
6.
|
Reformulación del modelo Linda para compartir conocimiento en sistemas multi-agente Tamargo, Luciano H. - García, Alejandro Javier - Falappa, Marcelo Alejandro
|
7.
|
Una protofase de entendimiento del negocio para metodologías de desarrollo de sistemas Ochoa, M. - Britos, Paola Verónica - García Martínez, Ramón
|
8.
|
Memoria organizacional basada en casos para dar soporte al proceso de aseguramiento de calidad Martín, María de los Ángeles - Olsina Santos, Luis Antonio
|
9.
|
Modelo Concurrente de Ciclo de Vida - 1205 Estayno, Alejandro
|
10.
|
Una taxonomía de cambios para el grafo de espacios de nombres contextuales para sistemas multi-agente en contextos múltiples Gomez, Sergio A.
|