Fecha:"2008" |
Fecha:"2007" |
Idioma:"Inglés" |
Temas: "Ciencias Informáticas" |
Temas: "knowledge representation" |
Tema:"Informática" |
Fecha:"1998" |
Knowledge Representation Formalisms and Methods | (1) |
Specifying and Verifying and Reasoning about Programs | (1) |
Temporal logic | (1) |
argumentative systems | (1) |
belief dynamics | (1) |
Más... |
1.
|
Construction of revisions by explanations Falappa, Marcelo Alejandro - Simari, Guillermo Ricardo
|
2.
|
Towards a comparison criteria for CDeLP Cobo, María Laura - Simari, Guillermo Ricardo
|