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
- Este periódico é de acesso aberto
- Este artigo é de acesso aberto
- URL de acesso aberto
- Cor do Acesso Aberto: gold
- Licença: cc-by-nc-nd
-
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: 03 jan. 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 jan. 03 ] 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 jan. 03 ] Available from: https://doi.org/10.1016/S1571-0661(04)80847-8 - Expressivity and control in limited reasoning
- Logics for approximate reasoning: approximating classical logic “from above”
- Tableaux for approximate reasoning
- Approximate and limited reasoning: semantics, proof theory, expressivity and control
- Anytime approximations of classical logic from above
- Tableaux for approximate reasoning
- The universe of propositional approximations
- Revising specifications with CTL properties using bounded model checking
- Ontocloud: a clinical information ontology based data integration system
- Satisfiability in EL with sets of probabilistic ABoxes
Informações sobre o DOI: 10.1016/S1571-0661(04)80847-8 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
