The universe of approximations (2003)
- Autores:
- Autores USP: FINGER, MARCELO - IME ; WASSERMANN, RENATA - IME
- Unidade: IME
- DOI: 10.1016/S1571-0661(04)80847-8
- Assuntos: INTELIGÊNCIA ARTIFICIAL; REPRESENTAÇÃO DE CONHECIMENTO
- Agências de fomento:
- Idioma: Inglês
- Imprenta:
- Fonte:
- Título do periódico: Electronic Notes in Theoretical Computer Science
- ISSN: 1571-0661
- Volume/Número/Paginação/Ano: v. 84, p. 91-104, 2003
- Nome do evento: 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: 23 abr. 2024. , 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 2024 abr. 23 ] 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 2024 abr. 23 ] Available from: https://doi.org/10.1016/S1571-0661(04)80847-8 - The universe of propositional approximations
- Revising specifications with CTL properties using bounded model checking
- 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
- 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)
Como citar
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas