Probabilistic satisfiability: logic-based algorithms and phase transition (2011)
- Authors:
- USP affiliated authors: FINGER, MARCELO - IME ; BONA, GLAUBER DE - IME
- Unidade: IME
- DOI: 10.5555/2283396.2283483
- Subjects: INTELIGÊNCIA ARTIFICIAL; RACIOCÍNIO PROBABILÍSTICO; COMPUTABILIDADE E COMPLEXIDADE
- Language: Inglês
- Imprenta:
- Publisher: AAAI Press
- Publisher place: Palo Alto
- Date published: 2011
- Source:
- Título do periódico: Proceedings
- Conference titles: International Joint Conference on Artificial Intelligence - IJCAI
- Este periódico é de acesso aberto
- Este artigo NÃO é de acesso aberto
-
ABNT
FINGER, Marcelo e DE BONA, Glauber. Probabilistic satisfiability: logic-based algorithms and phase transition. 2011, Anais.. Palo Alto: AAAI Press, 2011. Disponível em: https://doi.org/10.5555/2283396.2283483. Acesso em: 24 abr. 2024. -
APA
Finger, M., & De Bona, G. (2011). Probabilistic satisfiability: logic-based algorithms and phase transition. In Proceedings. Palo Alto: AAAI Press. doi:10.5555/2283396.2283483 -
NLM
Finger M, De Bona G. Probabilistic satisfiability: logic-based algorithms and phase transition [Internet]. Proceedings. 2011 ;[citado 2024 abr. 24 ] Available from: https://doi.org/10.5555/2283396.2283483 -
Vancouver
Finger M, De Bona G. Probabilistic satisfiability: logic-based algorithms and phase transition [Internet]. Proceedings. 2011 ;[citado 2024 abr. 24 ] Available from: https://doi.org/10.5555/2283396.2283483 - Satisfazibilidade Probabilística
- A logic based algorithm for solving probabilistic satisfiability
- Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation
- A refuted conjecture on probabilistic satisfiability
- Uma conjectura refutada sobre satisfazibilidade probabiliística
- Algorithms for deciding counting quantifiers over unary predicates
- Inconsistency measurement in probabilistic logic
- Notes on measuring inconsistency in probabilistic logic
- Generalized probabilistic satisfiability
- Non-Markovian logic-probabilistic modeling and inference
Informações sobre o DOI: 10.5555/2283396.2283483 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
