Algorithms for deciding counting quantifiers over unary predicates (2017)
- Authors:
- USP affiliated authors: FINGER, MARCELO - IME ; BONA, GLAUBER DE - EP
- Unidades: IME; EP
- Assunto: LÓGICA MATEMÁTICA
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Publisher: AAAI Publications
- Publisher place: Palo Alto
- Date published: 2017
- Source:
- Título: Proceedings
- Conference titles: AAAI Conference on Artificial Intelligence
-
ABNT
FINGER, Marcelo e DE BONA, Glauber. Algorithms for deciding counting quantifiers over unary predicates. Proceedings. Palo Alto: AAAI Publications. Disponível em: https://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14515/14113. Acesso em: 13 jan. 2026. , 2017 -
APA
Finger, M., & De Bona, G. (2017). Algorithms for deciding counting quantifiers over unary predicates. Proceedings. Palo Alto: AAAI Publications. Recuperado de https://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14515/14113 -
NLM
Finger M, De Bona G. Algorithms for deciding counting quantifiers over unary predicates [Internet]. Proceedings. 2017 ;[citado 2026 jan. 13 ] Available from: https://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14515/14113 -
Vancouver
Finger M, De Bona G. Algorithms for deciding counting quantifiers over unary predicates [Internet]. Proceedings. 2017 ;[citado 2026 jan. 13 ] Available from: https://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14515/14113 - A refuted conjecture on probabilistic satisfiability
- Satisfazibilidade Probabilística
- Notes on measuring inconsistency in probabilistic logic
- Inconsistency measurement in probabilistic logic
- Probabilistic satisfiability: logic-based algorithms and phase transition
- A logic based algorithm for solving probabilistic satisfiability
- Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation
- Uma conjectura refutada sobre satisfazibilidade probabilística
- Towards classifying propositional probabilistic logics
- Generalized probabilistic satisfiability through integer programming
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
2871698.pdf | Direct link |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
