![Logic / Automated theorem proving / Theoretical computer science / Mathematical logic / Statistical models / Markov logic network / Algorithm / Logic programming / Resolution / Bayesian statistics / Statistics / Mathematics Logic / Automated theorem proving / Theoretical computer science / Mathematical logic / Statistical models / Markov logic network / Algorithm / Logic programming / Resolution / Bayesian statistics / Statistics / Mathematics](https://www.pdfsearch.io/img/b4264c60e540eee81dcfac74e16e62c8.jpg) Date: 2008-08-18 09:29:21Logic Automated theorem proving Theoretical computer science Mathematical logic Statistical models Markov logic network Algorithm Logic programming Resolution Bayesian statistics Statistics Mathematics | | Structure Learning of Markov Logic Networks through Iterated Local Search Marenglen Biba and Stefano Ferilli and Floriana Esposito1 Abstract. Many real-world applications of AI require both probability and first-order loAdd to Reading ListSource URL: www.comp.leeds.ac.ukDownload Document from Source Website File Size: 114,09 KBShare Document on Facebook
|