Using abduction to compute efficient proofs (2009)
- Autor:
- Autor USP: FINGER, MARCELO - IME
- Unidade: IME
- DOI: 10.1016/j.entcs.2009.07.047
- Assunto: LÓGICA FORMAL
- Keywords: abductive reasoning; proof efficiency; non-analytic cuts; sequent calculus
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Source:
- Título: Electronic Notes in Theoretical Computer Science
- ISSN: 1571-0661
- Volume/Número/Paginação/Ano: v. 247, p. 39-49, 2009
- Conference titles: Workshop on Logical and Semantic Frameworks, with Applications - LSFA
- Este periódico é de acesso aberto
- Este artigo NÃO é de acesso aberto
-
ABNT
FINGER, Marcelo. Using abduction to compute efficient proofs. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier. Disponível em: https://doi.org/10.1016/j.entcs.2009.07.047. Acesso em: 20 jan. 2026. , 2009 -
APA
Finger, M. (2009). Using abduction to compute efficient proofs. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier. doi:10.1016/j.entcs.2009.07.047 -
NLM
Finger M. Using abduction to compute efficient proofs [Internet]. Electronic Notes in Theoretical Computer Science. 2009 ; 247 39-49.[citado 2026 jan. 20 ] Available from: https://doi.org/10.1016/j.entcs.2009.07.047 -
Vancouver
Finger M. Using abduction to compute efficient proofs [Internet]. Electronic Notes in Theoretical Computer Science. 2009 ; 247 39-49.[citado 2026 jan. 20 ] Available from: https://doi.org/10.1016/j.entcs.2009.07.047 - On the predictability of classical propositional logic
- A logical reconstruction of temporal databases
- Resource use pattern analysis for predicting resource availability in opportunistic grids
- Projeto de dados em bancos de dados distribuidos
- Tagging a morphologically Rich language: the construction of the Tycho Brahe parsed corpus of historical portuguese
- Parsing natural language using LDS: a prototype
- Equal rights for the cut: computable non-analytic cuts in cut-based proofs
- Combinações de lógicas modais não-normais
- Two-dimensional executable temporal logic for bitemporal databases
- Sharing resource-sensitive knowledge using combinator logics
Informações sobre o DOI: 10.1016/j.entcs.2009.07.047 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
