1.
|
Formal analysis of the communication of probabilistic knowledge Vicari, Rosa - Seixas, Louise - Flores, Cecília - Gluz, João Carlos
|
2.
|
Integrating federated information sources through the use of ontologies Buccella, Agustina - Cechich, Alejandra - Penabad, Miguel R. - Rodriguez, Francisco J. - Brisaboa, Nieves R.
|
3.
|
Belief revision and relevance Falappa, Marcelo Alejandro - Maguitman, Ana Gabriela
|
4.
|
Automated reasoning in a collaborative problem solving process Casalini, María Clara - Simari, Guillermo Ricardo
|
5.
|
Dynamic tuning of parallel programs Morajko, Anna - Margalef, Tomás - Luque Fadón, Emilio - Espinosa, Antonio
|
6.
|
Experiences in portable mobile application development Kantee, Antti - Vuolteenaho, Heikki
|
7.
|
Towards a non monotonic description logics model Moguillansky, Martín O. - Falappa, Marcelo Alejandro
|
8.
|
Checking semantics in UML models Kahnert, Susana - Fillottrani, Pablo Rubén
|
9.
|
Tracing MPI binaries for knowledge discovery Grosclaude, Eduardo - Zanellato, Claudio - Zurita, Rafael - Castillo, Rodolfo del
|
10.
|
Local-as-view integration of ontologies in defeasible logic programming Gómez, Sergio Alejandro - Chesñevar, Carlos Iván - Simari, Guillermo Ricardo
|