1.
|
How to solve it by knowledge mining Sampaio, Pedro Rafael Falcone
|
2.
|
On the use of contexts for representing knowledge in defeasible argumentation Chesñevar, Carlos Iván
|
3.
|
Distinguishing ground from nonground information in defeasible argumentation Chesñevar, Carlos Iván - Simari, Guillermo Ricardo
|
4.
|
Introducing Scheme in a FP-less environment Aerts, Kris - De Vlaminck, Karel
|
5.
|
Ferramentas de suporte a projetos de redes locais Brito Carvalho, Tereza Cristina Melo de - Ruggiero, Wilson Vicente
|
6.
|
Uma ferramenta de autoria para o desenvolvimento de adventures educacionais em realidade virtual Hoffmann, Augusto Bohner - Wazlawick, Raul Sidnei - Souza, Patrícia Cristiane de
|
7.
|
Finite Presheaf categories as a nice setting for doing generic programming Menni, Matías
|
8.
|
Matrix proof method in annotated paraconsistent logic Kaestner, Celso A. A.
|
9.
|
Estudo e elaboração de um conjunto de regras para sintonia de performance em aplicações de banco de dados Iochpe, Cirano - Vicari, Simone R.
|
10.
|
On the logic for utopia Areces, Carlos Eduardo - Becher, Verónica
|