Repositorio: "Unversidad Nacional de La Plata" |
Idioma:"Inglés" |
Fecha:"2009" |
Temas: "Ciencias Informáticas" |
Fecha:"2008" |
Fecha:"2007" |
Fecha:"2005" |
Temas: "Knowledge Representation Formalisms and Methods" |
Temas: "defeasible reasoning" |
Informática | (2) |
argumentative systems | (2) |
temporal reasoning | (2) |
Logic Programming | (1) |
Specifying and Verifying and Reasoning about Programs | (1) |
Más... |
1.
|
A first approach to abductive defeasible logic programming: formalization and properties Gómez Lucero, Mauro J. - García, Alejandro Javier - Chesñevar, Carlos Iván - Simari, Guillermo Ricardo
|
2.
|
Towards a comparison criteria for CDeLP Cobo, María Laura - Simari, Guillermo Ricardo
|
3.
|
About the use of time on argumentative systems Cobo, María Laura - Simari, Guillermo Ricardo
|