1.
|
Belief revision and relevance Falappa, Marcelo Alejandro - Maguitman, Ana Gabriela
|
2.
|
Matrix proof method in annotated paraconsistent logic Kaestner, Celso A. A.
|
3.
|
A general approach to the implementation of action theories Simari, Guillermo Ricardo - García, Diego R. - Filocamo, Gabriel R.
|