Logics for approximate reasoning: approximating classical logic “from above” (2002)
- Authors:
- USP affiliated authors: FINGER, MARCELO - IME ; WASSERMANN, RENATA - IME
- Unidade: IME
- DOI: 10.1007/3-540-36127-8_3
- Assunto: INTELIGÊNCIA ARTIFICIAL
- Language: Inglês
- Imprenta:
- Source:
- Título: Proceedings
- Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA
- Este periódico é de assinatura
- Este artigo NÃO é de acesso aberto
- Cor do Acesso Aberto: closed
-
ABNT
FINGER, Marcelo e WASSERMANN, Renata. Logics for approximate reasoning: approximating classical logic “from above”. 2002, Anais.. Berlin: Springer, 2002. Disponível em: https://doi.org/10.1007/3-540-36127-8_3. Acesso em: 11 jan. 2026. -
APA
Finger, M., & Wassermann, R. (2002). Logics for approximate reasoning: approximating classical logic “from above”. In Proceedings. Berlin: Springer. doi:10.1007/3-540-36127-8_3 -
NLM
Finger M, Wassermann R. Logics for approximate reasoning: approximating classical logic “from above” [Internet]. Proceedings. 2002 ;[citado 2026 jan. 11 ] Available from: https://doi.org/10.1007/3-540-36127-8_3 -
Vancouver
Finger M, Wassermann R. Logics for approximate reasoning: approximating classical logic “from above” [Internet]. Proceedings. 2002 ;[citado 2026 jan. 11 ] Available from: https://doi.org/10.1007/3-540-36127-8_3 - Approximate and limited reasoning: semantics, proof theory, expressivity and control
- The universe of propositional approximations
- Anytime approximations of classical logic from above
- Tableaux for approximate reasoning
- The universe of approximations
- Revising specifications with CTL properties using bounded model checking
- Tableaux for approximate reasoning
- Expressivity and control in limited reasoning
- Ontocloud: a clinical information ontology based data integration system
- Satisfiability in EL with sets of probabilistic ABoxes
Informações sobre o DOI: 10.1007/3-540-36127-8_3 (Fonte: oaDOI API)
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
3009101.pdf |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
