Fecha:"2005" |
Fecha:"2012" |
Fecha:"2011" |
Fecha:"18t21" |
Temas: "defeasible reasoning" |
Fecha:"2012" |
Temas: "Specifying and Verifying and Reasoning about Programs" |
Ciencias Informáticas | (1) |
Informática | (1) |
Knowledge Representation Formalisms and Methods | (1) |
Temporal logic | (1) |
argumentative systems | (1) |
Más... |
1.
|
Towards a comparison criteria for CDeLP Cobo, María Laura - Simari, Guillermo Ricardo
|