1.
|
Matrix proof method in annotated paraconsistent logic Kaestner, Celso A. A.
|
2.
|
How to solve it by knowledge mining Sampaio, Pedro Rafael Falcone
|
3.
|
On the use of contexts for representing knowledge in defeasible argumentation Chesñevar, Carlos Iván
|
4.
|
Distinguishing ground from nonground information in defeasible argumentation Chesñevar, Carlos Iván - Simari, Guillermo Ricardo
|
5.
|
On the logic for utopia Areces, Carlos Eduardo - Becher, Verónica
|
6.
|
Una implementación de disputación basada en lógica default Vaucheret, Claudio A. - Parra, Gerardo
|
7.
|
Precompiled knowledge support for dynamic argumentation Capobianco, Marcela - Chesñevar, Carlos Iván - Simari, Guillermo Ricardo
|
8.
|
Non prioritized answer set revision Simari, Gerardo I. - Falappa, Marcelo Alejandro
|
9.
|
Non prioritized reasoning in intelligent agents Falappa, Marcelo Alejandro - Simari, Guillermo Ricardo
|