The universe of approximations (2003)
- Authors:
- USP affiliated authors: FINGER, MARCELO - IME ; WASSERMANN, RENATA - IME
- Unidade: IME
- DOI: 10.1016/S1571-0661(04)80847-8
- Subjects: INTELIGÊNCIA ARTIFICIAL; REPRESENTAÇÃO DE CONHECIMENTO
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Source:
- Título: Electronic Notes in Theoretical Computer Science
- ISSN: 1571-0661
- Volume/Número/Paginação/Ano: v. 84, p. 91-104, 2003
- Conference titles: Workshop on Logic, Language, Information and Computation - WoLLIC
- Status:
- Artigo publicado em periódico de acesso aberto (Gold Open Access)
- Versão do Documento:
- Versão publicada (Published version)
- Acessar versão aberta:
-
ABNT
FINGER, Marcelo e WASSERMANN, Renata. The universe of approximations. Electronic Notes in Theoretical Computer Science. Amsterdam: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1016/S1571-0661(04)80847-8. Acesso em: 07 maio 2026. , 2003 -
APA
Finger, M., & Wassermann, R. (2003). The universe of approximations. Electronic Notes in Theoretical Computer Science. Amsterdam: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1016/S1571-0661(04)80847-8 -
NLM
Finger M, Wassermann R. The universe of approximations [Internet]. Electronic Notes in Theoretical Computer Science. 2003 ; 84 91-104.[citado 2026 maio 07 ] Available from: https://doi.org/10.1016/S1571-0661(04)80847-8 -
Vancouver
Finger M, Wassermann R. The universe of approximations [Internet]. Electronic Notes in Theoretical Computer Science. 2003 ; 84 91-104.[citado 2026 maio 07 ] Available from: https://doi.org/10.1016/S1571-0661(04)80847-8 - Revising specifications with CTL properties using bounded model checking
- Tableaux for approximate reasoning
- Approximate and limited reasoning: semantics, proof theory, expressivity and control
- Anytime approximations of classical logic from above
- The universe of propositional approximations
- Expressivity and control in limited reasoning
- Logics for approximate reasoning: approximating classical logic “from above”
- Tableaux for approximate reasoning
- Ontocloud: a clinical information ontology based data integration system
- Satisfiability in EL with sets of probabilistic ABoxes
Informações sobre a disponibilidade de versões do artigo em acesso aberto coletadas automaticamente via oaDOI API (Unpaywall).
Por se tratar de integração com serviço externo, podem existir diferentes versões do trabalho (como preprints ou postprints), que podem diferir da versão publicada.
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
