Towards polynomial approximations of full propositional logic (2004)
- Autor:
- Autor USP: FINGER, MARCELO - IME
- Unidade: IME
- DOI: 10.1007/978-3-540-28645-5_2
- Subjects: APROXIMAÇÃO POR POLINÔMIOS; LÓGICA
- Keywords: Approximation Step; Entailment Relation; Propositional Letter
- Agências de fomento:
- 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. Towards polynomial approximations of full propositional logic. 2004, Anais.. Berlin: Springer, 2004. Disponível em: https://doi.org/10.1007/978-3-540-28645-5_2. Acesso em: 08 out. 2024. -
APA
Finger, M. (2004). Towards polynomial approximations of full propositional logic. In Proceedings. Berlin: Springer. doi:10.1007/978-3-540-28645-5_2 -
NLM
Finger M. Towards polynomial approximations of full propositional logic [Internet]. Proceedings. 2004 ;[citado 2024 out. 08 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_2 -
Vancouver
Finger M. Towards polynomial approximations of full propositional logic [Internet]. Proceedings. 2004 ;[citado 2024 out. 08 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_2 - Técnicas de otimização da precisão empregadas no etiquetador Tycho Brahe
- Concurrency control for perceivedly instantaneous transactions in valid-time databases
- Resource use pattern analysis for predicting resource availability in opportunistic grids
- Completeness for cut-based abduction
- On the predictability of classical propositional logic
- Automated classification of pathology reports
- Minimal axiomatizations and algebraic rings: a conjectured relationship
- Towards an efficient prover for the C1 paraconsistent logic
- Computational solutions for structural constraints: learning structural permissions in categorial grammar
- Inteligência artificial e os rumos do processamento do português brasileiro
Informações sobre o DOI: 10.1007/978-3-540-28645-5_2 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas