A logic based algorithm for solving probabilistic satisfiability (2010)
- Authors:
- USP affiliated authors: FINGER, MARCELO - IME ; BONA, GLAUBER DE - IME
- Unidade: IME
- DOI: 10.1007/978-3-642-16952-6_46
- Subjects: INTELIGÊNCIA ARTIFICIAL; LÓGICA FORMAL; RACIOCÍNIO PROBABILÍSTICO
- Keywords: invariant condition; conjunctive normal form; propositional formula; linear restriction; imprecise probability
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Source:
- Título: Proceedings
- Conference titles: Ibero-American Conference on Artificial Intelligence - IBERAMIA
- Este periódico é de acesso aberto
- Este artigo NÃO é de acesso aberto
-
ABNT
FINGER, Marcelo e DE BONA, Glauber. A logic based algorithm for solving probabilistic satisfiability. 2010, Anais.. Berlin: Springer, 2010. Disponível em: https://doi.org/10.1007/978-3-642-16952-6_46. Acesso em: 25 fev. 2026. -
APA
Finger, M., & De Bona, G. (2010). A logic based algorithm for solving probabilistic satisfiability. In Proceedings. Berlin: Springer. doi:10.1007/978-3-642-16952-6_46 -
NLM
Finger M, De Bona G. A logic based algorithm for solving probabilistic satisfiability [Internet]. Proceedings. 2010 ;[citado 2026 fev. 25 ] Available from: https://doi.org/10.1007/978-3-642-16952-6_46 -
Vancouver
Finger M, De Bona G. A logic based algorithm for solving probabilistic satisfiability [Internet]. Proceedings. 2010 ;[citado 2026 fev. 25 ] Available from: https://doi.org/10.1007/978-3-642-16952-6_46 - A refuted conjecture on probabilistic satisfiability
- Satisfazibilidade Probabilística
- Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation
- Probabilistic satisfiability: logic-based algorithms and phase transition
- Algorithms for deciding counting quantifiers over unary predicates
- Inconsistency measurement in probabilistic logic
- Notes on measuring inconsistency in probabilistic logic
- Uma conjectura refutada sobre satisfazibilidade probabilística
- Non-Markovian logic-probabilistic modeling and inference
- Towards classifying propositional probabilistic logics
Informações sobre o DOI: 10.1007/978-3-642-16952-6_46 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
