Fecha:"2009" |
Fecha:"37" |
Fecha:"2007" |
Repositorio: "Unversidad Nacional de La Plata" |
Fecha:"29t03" |
Fecha:"2010" |
Fecha:"04" |
Tema:"Informática" |
Temas: "Knowledge Representation Formalisms and Methods" |
Tema:"Temporal logic" |
Specifying and Verifying and Reasoning about Programs | (1) |
argumentative systems | (1) |
commonsense reasoning | (1) |
defeasible reasoning | (1) |
knowledge representation | (1) |
Más... |
1.
|
Towards a comparison criteria for CDeLP Cobo, María Laura - Simari, Guillermo Ricardo
|