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
- Este periódico é de acesso aberto
- Este artigo NÃO é de acesso aberto
-
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: 03 mar. 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 mar. 03 ] 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 mar. 03 ] 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
- Logics for approximate reasoning: approximating classical logic “from above”
- 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/BF03192373 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
