1.
|
Finite Presheaf categories as a nice setting for doing generic programming Menni, Matías
|
2.
|
Revisions of orders in dynamic systems Falappa, Marcelo Alejandro - Simari, Patricio D.
|
3.
|
A integração de conhecimento em um amblente de desenvolvimento de software Falbo, Ricardo de Almeida - Travassos, Guilherme Horta
|
4.
|
Contrasting termination criteria for genetic algorithms Bermúdez, Carlos - Alfonso, Hugo - Gallard, Raúl Hector
|
5.
|
How to solve it by knowledge mining Sampaio, Pedro Rafael Falcone
|
6.
|
XPS/E- eXPert System/Environment: ambiente para desenvolvimento de sistemas especialistas para windows Cazella, Silvio César - Filho, José Carlos Bins - Silva, Ovídio Eltz da
|
7.
|
An argumentative formalism for implementing rational agents Capobianco, Marcela - Chesñevar, Carlos Iván - Simari, Guillermo Ricardo
|
8.
|
On the use of contexts for representing knowledge in defeasible argumentation Chesñevar, Carlos Iván
|
9.
|
Distinguishing ground from nonground information in defeasible argumentation Chesñevar, Carlos Iván - Simari, Guillermo Ricardo
|
10.
|
Matrix proof method in annotated paraconsistent logic Kaestner, Celso A. A.
|
11.
|
SISPER – Sistema especialista para diagnóstico de disturbios de personalidade Frozza, Rejane - Wanderley Moraes, Sílvia María
|
12.
|
On the logic for utopia Areces, Carlos Eduardo - Becher, Verónica
|
13.
|
Una implementación de disputación basada en lógica default Vaucheret, Claudio A. - Parra, Gerardo
|