Probabilistic Theorem Proving --- by Vibhav Gogate, Pedro Domingos Communications of the ACM, Vol. 59 No. 7, Pages 107-115 http://cacm.acm.org/magazines/2016/7/204016-probabilistic-theorem-proving/
(Quem não conseguir acessar o conteúdo completo pode querer dar uma olhada no preprint dos autores no arXiv, de 2012: https://arxiv.org/abs/1202.3724.) JM -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LgeBD6N_j-wnHh4Edjd595bWYx_dTYV%3DO6n6OSE30%2B71g%40mail.gmail.com.
