1.
|
Fuzzy prolog with default knowledge Vaucheret, Claudio A.
|
2.
|
Non prioritized belief revision with ansprolog Simari, Gerardo I. - Falappa, Marcelo Alejandro
|
3.
|
Characterizing defeat in observation-based defeasible logic programming Capobianco, Marcela - Chesñevar, Carlos Iván
|
4.
|
Modelling derivation in defeasible logic programming with perceptron-based neural networks Gómez, Sergio Alejandro
|
5.
|
Potential programming plan and domain concept detection supported by slicing technique Villavicencio, Gustavo
|
6.
|
Non prioritized answer set revision Simari, Gerardo I. - Falappa, Marcelo Alejandro
|
7.
|
An abstract machine for the execution of DeLP programs Stankevicius, Alejandro G. - García, Alejandro Javier
|
8.
|
Evolutionary optimization of due date based objectives in unrestricted identical parallel machine scheduling problems Ferretti, Edgardo - Esquivel, Susana Cecilia - Gallard, Raúl Hector
|
9.
|
A influência da análise multivariada no processo de descoberta de conhecimento em bases de dados Steiner, María Teresinha Arns - Soma, Nei Yoshihiro - Shimizu, Tamio - Nievola, Julio César - Neto, Pedro José Steiner
|
10.
|
How to solve it by knowledge mining Sampaio, Pedro Rafael Falcone
|
11.
|
Analyzing the defeat relation in observation-based defeasible logic programming Capobianco, Marcela - Chesñevar, Carlos Iván - Simari, Guillermo Ricardo
|
12.
|
A integração de conhecimento em um amblente de desenvolvimento de software Falbo, Ricardo de Almeida - Travassos, Guilherme Horta
|
13.
|
XPS/E- eXPert System/Environment: ambiente para desenvolvimento de sistemas especialistas para windows Cazella, Silvio César - Filho, José Carlos Bins - Silva, Ovídio Eltz da
|
14.
|
An argumentative formalism for implementing rational agents Capobianco, Marcela - Chesñevar, Carlos Iván - Simari, Guillermo Ricardo
|
15.
|
On the use of contexts for representing knowledge in defeasible argumentation Chesñevar, Carlos Iván
|
16.
|
Distinguishing ground from nonground information in defeasible argumentation Chesñevar, Carlos Iván - Simari, Guillermo Ricardo
|
17.
|
Matrix proof method in annotated paraconsistent logic Kaestner, Celso A. A.
|
18.
|
Finite Presheaf categories as a nice setting for doing generic programming Menni, Matías
|
19.
|
SISPER – Sistema especialista para diagnóstico de disturbios de personalidade Frozza, Rejane - Wanderley Moraes, Sílvia María
|
20.
|
On the logic for utopia Areces, Carlos Eduardo - Becher, Verónica
|
21.
|
Una implementación de disputación basada en lógica default Vaucheret, Claudio A. - Parra, Gerardo
|