Anytime approximations of classical logic from above (2007)
- Authors:
- USP affiliated authors: FINGER, MARCELO - IME ; WASSERMANN, RENATA - IME
- Unidade: IME
- DOI: 10.1093/logcom/exl018
- Assunto: INTELIGÊNCIA ARTIFICIAL
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Source:
- Título do periódico: Journal of Logic and Computation
- ISSN: 0955-792X
- Volume/Número/Paginação/Ano: v. 17, n. 1, p. 53-82, 2007
- Este periódico é de assinatura
- Este artigo NÃO é de acesso aberto
- Cor do Acesso Aberto: closed
-
ABNT
FINGER, Marcelo e WASSERMANN, Renata. Anytime approximations of classical logic from above. Journal of Logic and Computation, v. 17, n. 1, p. 53-82, 2007Tradução . . Disponível em: https://doi.org/10.1093/logcom/exl018. Acesso em: 05 jun. 2024. -
APA
Finger, M., & Wassermann, R. (2007). Anytime approximations of classical logic from above. Journal of Logic and Computation, 17( 1), 53-82. doi:10.1093/logcom/exl018 -
NLM
Finger M, Wassermann R. Anytime approximations of classical logic from above [Internet]. Journal of Logic and Computation. 2007 ; 17( 1): 53-82.[citado 2024 jun. 05 ] Available from: https://doi.org/10.1093/logcom/exl018 -
Vancouver
Finger M, Wassermann R. Anytime approximations of classical logic from above [Internet]. Journal of Logic and Computation. 2007 ; 17( 1): 53-82.[citado 2024 jun. 05 ] Available from: https://doi.org/10.1093/logcom/exl018 - The universe of propositional approximations
- Revising specifications with CTL properties using bounded model checking
- The universe of approximations
- Logics for approximate reasoning: approximating classical logic “from above”
- Expressivity and control in limited reasoning
- Tableaux for approximate reasoning
- Approximate and limited reasoning: semantics, proof theory, expressivity and control
- 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.1093/logcom/exl018 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas