Approximate and limited reasoning: semantics, proof theory, expressivity and control (2004)
- Authors:
- USP affiliated authors: FINGER, MARCELO - IME ; WASSERMANN, RENATA - IME
- Unidade: IME
- DOI: 10.1007/BF03192373
- Assunto: LÓGICA COMBINATÓRIA
- Keywords: Automated reasoning; deductive systems; approximate reasoning; limited reasoning; non-classical logics; knowledge representation
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Source:
- Título: Journal of Logics and Computation
- ISSN: 0955-792X
- Volume/Número/Paginação/Ano: v. 12, n. 2, p. 179-204, 2004
- Status:
- Artigo publicado em periódico de acesso aberto (Gold Open Access)
- Versão do Documento:
- Versão publicada (Published version)
- Acessar versão aberta:
-
ABNT
FINGER, Marcelo e WASSERMANN, Renata. Approximate and limited reasoning: semantics, proof theory, expressivity and control. Journal of Logics and Computation, v. 12, n. 2, p. 179-204, 2004Tradução . . Disponível em: https://doi.org/10.1007/BF03192373. Acesso em: 07 maio 2026. -
APA
Finger, M., & Wassermann, R. (2004). Approximate and limited reasoning: semantics, proof theory, expressivity and control. Journal of Logics and Computation, 12( 2), 179-204. doi:10.1007/BF03192373 -
NLM
Finger M, Wassermann R. Approximate and limited reasoning: semantics, proof theory, expressivity and control [Internet]. Journal of Logics and Computation. 2004 ; 12( 2): 179-204.[citado 2026 maio 07 ] Available from: https://doi.org/10.1007/BF03192373 -
Vancouver
Finger M, Wassermann R. Approximate and limited reasoning: semantics, proof theory, expressivity and control [Internet]. Journal of Logics and Computation. 2004 ; 12( 2): 179-204.[citado 2026 maio 07 ] Available from: https://doi.org/10.1007/BF03192373 - Revising specifications with CTL properties using bounded model checking
- Tableaux for approximate reasoning
- Anytime approximations of classical logic from above
- The universe of propositional approximations
- The universe of approximations
- Expressivity and control in limited reasoning
- Logics for approximate reasoning: approximating 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 a disponibilidade de versões do artigo em acesso aberto coletadas automaticamente via oaDOI API (Unpaywall).
Por se tratar de integração com serviço externo, podem existir diferentes versões do trabalho (como preprints ou postprints), que podem diferir da versão publicada.
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
