![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/9b51c51a0694dbed05dd7c4967f4cf85.jpg) Date: 2008-10-06 05:35:01Logic 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.di.uniba.itDownload Document from Source Website File Size: 114,09 KBShare Document on Facebook
|