1.
|
Finite Presheaf categories as a nice setting for doing generic programming Menni, Matías
|
2.
|
Revisions of orders in dynamic systems Falappa, Marcelo Alejandro - Simari, Patricio D.
|
3.
|
Uma ferramenta de autoria para o desenvolvimento de adventures educacionais em realidade virtual Hoffmann, Augusto Bohner - Wazlawick, Raul Sidnei - Souza, Patrícia Cristiane de
|
4.
|
Actions and arguments: preliminaries and examples Simari, Guillermo Ricardo - García, Alejandro Javier
|
5.
|
Using logic programs to model an agent's epistemic state Capobianco, Marcela - Chesñevar, Carlos Iván
|
6.
|
An argumentative formalism for implementing rational agents Capobianco, Marcela - Chesñevar, Carlos Iván - Simari, Guillermo Ricardo
|
7.
|
Formalizando algoritmos concorrentes Diverio, Tiarajú A. - Alves, Rodrigo S. - Ferreira, Simone
|
8.
|
A taxonomy for argumentative frameworks based on labelled deduction Chesñevar, Carlos Iván
|
9.
|
Modeling argumentation with labeled deduction: formalization and theoretical considerations Chesñevar, Carlos Iván - Simari, Guillermo Ricardo
|
10.
|
Consequence operators for defeasible argumentation: characterization and logical properties Chesñevar, Carlos Iván - Simari, Guillermo Ricardo
|