1.
|
Potential programming plan and domain concept detection supported by slicing technique Villavicencio, Gustavo
|
2.
|
Non prioritized answer set revision Simari, Gerardo I. - Falappa, Marcelo Alejandro
|
3.
|
An abstract machine for the execution of DeLP programs Stankevicius, Alejandro G. - García, Alejandro Javier
|
4.
|
How to solve it by knowledge mining Sampaio, Pedro Rafael Falcone
|
5.
|
Matrix proof method in annotated paraconsistent logic Kaestner, Celso A. A.
|
6.
|
On the logic for utopia Areces, Carlos Eduardo - Becher, Verónica
|