Metabuscador

Filtrado por:

Temas

Idiomas

Año

Aproximadamente 2 registro(s) hasta el momento: (knowledge)

Mostrar 10 | 50 | 100 resultados por página

Recurso libre

Conceptualization maturity metrics for expert systems
Hauge, Ødwin - Britos, Paola Verónica - García Martínez, Ramón

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Metrics used on development of expert systems is not a well investigated problem area. This article suggests some metrics to be used to measure the maturity of the conceptualization process and the complexity of the decision process in the problem…
Fecha:	2012-11-09
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Effective prover for minimal inconsistency logic
Neto, Adolfo Gustavo Serra Seca - Finger, Marcelo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	In this paper we present an e ective prover for mbC, a minimal inconsistency logic. The mbC logic is a paraconsistent logic of the family of logics of formal inconsistency. Paraconsistent logics have several philosophical motivations as well as many…
Fecha:	2012-11-09
Recurso:	Unversidad Nacional de La Plata