A logic based algorithm for solving probabilistic satisfiability (2010)
Source: Proceedings. Conference titles: Ibero-American Conference on Artificial Intelligence - IBERAMIA. Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, LÓGICA FORMAL, RACIOCÍNIO PROBABILÍSTICO
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: 18 out. 2024.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_46NLM
Finger M, De Bona G. A logic based algorithm for solving probabilistic satisfiability [Internet]. Proceedings. 2010 ;[citado 2024 out. 18 ] Available from: https://doi.org/10.1007/978-3-642-16952-6_46Vancouver
Finger M, De Bona G. A logic based algorithm for solving probabilistic satisfiability [Internet]. Proceedings. 2010 ;[citado 2024 out. 18 ] Available from: https://doi.org/10.1007/978-3-642-16952-6_46