Fecha:"2005" |
Fecha:"2007" |
Fecha:"44" |
Fecha:"48z" |
Temas: "Ciencias Informáticas" |
Temas: "Knowledge Representation Formalisms and Methods" |
Temas: "argumentative systems" |
Temas: "Specifying and Verifying and Reasoning about Programs" |
Informática | (1) |
Temporal logic | (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
|