1
|
Material Type: Artigo
|
|
Anytime approximations of classical logic from above
Marcelo Finger Renata Wassermann
Journal of Logic and Computation Oxford v. 17, n. 1, p. 53-82, 2007
Oxford 2007
Localização:
IME - Inst. Matemática e Estatística
(PROD-1614029 )(Acessar)
|
2
|
Material Type: Artigo
|
|
Anytime approximations of classical logic from above
Marcelo Finger Renata Wassermann
Journal of Logic and Computation Oxford v. 17, n. 1, p. 53-82, 2007
Oxford 2007
Localização:
IME - Inst. Matemática e Estatística
(PROD-1614029 )(Acessar)
|
3
|
Material Type: Artigo
|
|
Base revision for ontology debugging
Márcio Moretto Ribeiro Renata Wassermann
Journal of Logic and Computation Oxford v. 19, n. 5, p. 721-743, 2009
Oxford 2009
Localização:
IME - Inst. Matemática e Estatística
(PROD-1797085 )(Acessar)
|