1.
|
Redefinition of basic modules of an intelligent tutoring system: the tutor module Salgueiro, Fernando A. - Costa, Guido - Cataldi, Zulma - Lage, Fernando Javier - García Martínez, Ramón
|
2.
|
Characterizing defeat in observation-based defeasible logic programming Capobianco, Marcela - Chesñevar, Carlos Iván
|
3.
|
How to solve it by knowledge mining Sampaio, Pedro Rafael Falcone
|
4.
|
Webexpert – tool for knowledge acquisition by web Fernandes, Anita Ma. da Rocha - Nascimento, Raphael Luiz
|
5.
|
An argumentative formalism for implementing rational agents Capobianco, Marcela - Chesñevar, Carlos Iván - Simari, Guillermo Ricardo
|
6.
|
On the use of contexts for representing knowledge in defeasible argumentation Chesñevar, Carlos Iván
|
7.
|
Distinguishing ground from nonground information in defeasible argumentation Chesñevar, Carlos Iván - Simari, Guillermo Ricardo
|
8.
|
Finite Presheaf categories as a nice setting for doing generic programming Menni, Matías
|
9.
|
Matrix proof method in annotated paraconsistent logic Kaestner, Celso A. A.
|
10.
|
On the logic for utopia Areces, Carlos Eduardo - Becher, Verónica
|