Fecha:"2013" |
Fecha:"2011" |
Fecha:"11" |
Repositorio: "Unversidad Nacional de La Plata" |
Fecha:"25" |
Idioma:"Inglés" |
Fecha:"2006" |
Temas: "Ciencias Informáticas" |
Fecha:"2000" |
Temas: "ARTIFICIAL INTELLIGENCE" |
argumentative systems | (2) |
defeasible reasoning | (2) |
knowledge representation | (2) |
Agent's Epistemic State | (1) |
Annotated Logics | (1) |
Más... |
1.
|
How to solve it by knowledge mining Sampaio, Pedro Rafael Falcone
|
2.
|
A logical framework for modeling argumentation using labelled deduction Chesñevar, Carlos Iván - Simari, Guillermo Ricardo
|
3.
|
Using logic programs to model an agent's epistemic state Capobianco, Marcela - Chesñevar, Carlos Iván
|
4.
|
An argumentative formalism for implementing rational agents Capobianco, Marcela - Chesñevar, Carlos Iván - Simari, Guillermo Ricardo
|
5.
|
On the use of contexts for representing knowledge in defeasible argumentation Chesñevar, Carlos Iván
|
6.
|
Distinguishing ground from nonground information in defeasible argumentation Chesñevar, Carlos Iván - Simari, Guillermo Ricardo
|
7.
|
Matrix proof method in annotated paraconsistent logic Kaestner, Celso A. A.
|
8.
|
On the logic for utopia Areces, Carlos Eduardo - Becher, Verónica
|
9.
|
Finite Presheaf categories as a nice setting for doing generic programming Menni, Matías
|