1.
|
Matrix proof method in annotated paraconsistent logic Kaestner, Celso A. A.
|
2.
|
A collaborative learning approach and its evaluation Ishitani, Lucila - Guimarães, Silvio J. F. - Bruegger, Gisele
|
3.
|
On the class distribution labelling step sensitivity of co-training Matsubara, Edson T. - Monard, Maria C. - Prati, Ronaldo
|
4.
|
A model for capturing and tracing architectural designs Roldán, M. Luciana - Gonnet, Silvio - Leone, Horacio
|
5.
|
Ontologies for the semantic web Vallés, María Clara - Fillottrani, Pablo Rubén
|
6.
|
Automated reasoning in a collaborative problem solving process Casalini, María Clara - Simari, Guillermo Ricardo
|
7.
|
An approach to knowledge assessment in an Intelligent Tutoring System Huapaya, Constanza - Lizarralde, Francisco - Arona, Graciela - Vivas, Jorge
|
8.
|
An comparative analysis of different models of belief revision using information from multiple sources Tamargo, Luciano H. - Falappa, Marcelo Alejandro - García, Alejandro Javier
|
9.
|
Handling inconsistency on ontologies through a generalized dynamic argumentation framework Moguillansky, Martín O. - Rotstein, Nicolás D. - Falappa, Marcelo Alejandro
|
10.
|
A layered architecture using schematic plans for controlling mobile robots Tucat, Mariano - Gottifredi, Sebastián - Vidaurreta, Federico - García, Alejandro Javier - Simari, Guillermo Ricardo
|