The universe of propositional approximations (2006)
- Authors:
- USP affiliated authors: FINGER, MARCELO - IME ; WASSERMANN, RENATA - IME
- Unidade: IME
- DOI: 10.1016/j.tcs.2006.01.007
- Assunto: LÓGICA MATEMÁTICA
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Source:
- Título do periódico: Theoretical Computer Science
- ISSN: 0304-3975
- Volume/Número/Paginação/Ano: v. 355, n. 2, p. 153-166, 2006
- Este periódico é de assinatura
- Este artigo NÃO é de acesso aberto
- Cor do Acesso Aberto: closed
-
ABNT
FINGER, Marcelo e WASSERMANN, Renata. The universe of propositional approximations. Theoretical Computer Science, v. 355, n. 2, p. 153-166, 2006Tradução . . Disponível em: https://doi.org/10.1016/j.tcs.2006.01.007. Acesso em: 30 set. 2024. -
APA
Finger, M., & Wassermann, R. (2006). The universe of propositional approximations. Theoretical Computer Science, 355( 2), 153-166. doi:10.1016/j.tcs.2006.01.007 -
NLM
Finger M, Wassermann R. The universe of propositional approximations [Internet]. Theoretical Computer Science. 2006 ; 355( 2): 153-166.[citado 2024 set. 30 ] Available from: https://doi.org/10.1016/j.tcs.2006.01.007 -
Vancouver
Finger M, Wassermann R. The universe of propositional approximations [Internet]. Theoretical Computer Science. 2006 ; 355( 2): 153-166.[citado 2024 set. 30 ] Available from: https://doi.org/10.1016/j.tcs.2006.01.007 - Revising specifications with CTL properties using bounded model checking
- The universe of approximations
- 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/j.tcs.2006.01.007 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas