Fecha:"29" |
Fecha:"01t00" |
Fecha:"42z" |
Temas: "Ciencias Informáticas" |
Fecha:"07" |
Temas: "Knowledge Representation Formalisms and Methods" |
Idioma:"Inglés" |
Informática | (2) |
Multiagent systems | (1) |
SOFTWARE ENGINEERING | (1) |
Specifying and Verifying and Reasoning about Programs | (1) |
Temporal logic | (1) |
Más... |
1.
|
Intelligent alarms detection for the analysis of system fault impact on business Pace, C. - Russo, I. - Fernández, V. - Britos, Paola Verónica - Rossi, Bibiana D. - García Martínez, Ramón
|
2.
|
An comparative analysis of different models of belief revision using information from multiple sources Tamargo, Luciano H. - Falappa, Marcelo Alejandro - García, Alejandro Javier
|
3.
|
Towards a comparison criteria for CDeLP Cobo, María Laura - Simari, Guillermo Ricardo
|