<--- Back to Details
First PageDocument Content
Logic / Automated theorem proving / Theoretical computer science / Mathematical logic / Statistical models / Markov logic network / Algorithm / Logic programming / Resolution / Bayesian statistics / Statistics / Mathematics
Date: 2008-10-06 05:35:01
Logic
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 lo

Add to Reading List

Source URL: www.di.uniba.it

Download Document from Source Website

File Size: 114,09 KB

Share Document on Facebook

Similar Documents

A Short Introduction to Probabilistic Soft Logic  Angelika Kimmig1,2 , Stephen H. Bach1 , Matthias Broecheler3 , Bert Huang1 , Lise Getoor1 1 University of Maryland, 2 KU Leuven, 3 Aurelius LLC

A Short Introduction to Probabilistic Soft Logic Angelika Kimmig1,2 , Stephen H. Bach1 , Matthias Broecheler3 , Bert Huang1 , Lise Getoor1 1 University of Maryland, 2 KU Leuven, 3 Aurelius LLC

DocID: 1rnRf - View Document

Hinge-Loss Markov Random Fields and Probabilistic Soft Logic arXiv:1505.04406v2 [cs.LG] 9 DecStephen H. Bach∗ Matthias Broecheler† Bert Huang‡ Lise Getoor§

Hinge-Loss Markov Random Fields and Probabilistic Soft Logic arXiv:1505.04406v2 [cs.LG] 9 DecStephen H. Bach∗ Matthias Broecheler† Bert Huang‡ Lise Getoor§

DocID: 1rh3X - View Document

Strong systematicity in sentence processing by simple recurrent networks Phil´emon Brakel () Stefan L. Frank () Institute for Logic, Language, and Computation, University of Amsterdam Sci

Strong systematicity in sentence processing by simple recurrent networks Phil´emon Brakel () Stefan L. Frank () Institute for Logic, Language, and Computation, University of Amsterdam Sci

DocID: 1qGC6 - View Document

A Short Introduction to Probabilistic Soft Logic  Angelika Kimmig1,2 , Stephen H. Bach1 , Matthias Broecheler3 , Bert Huang1 , Lise Getoor1 1 University of Maryland, 2 KU Leuven, 3 Aurelius LLC

A Short Introduction to Probabilistic Soft Logic Angelika Kimmig1,2 , Stephen H. Bach1 , Matthias Broecheler3 , Bert Huang1 , Lise Getoor1 1 University of Maryland, 2 KU Leuven, 3 Aurelius LLC

DocID: 1q0J1 - View Document

Probabilistic Soft Logic for Semantic Textual Similarity Islam Beltagy§ Katrin Erk† Raymond Mooney§ § Department of Computer Science

Probabilistic Soft Logic for Semantic Textual Similarity Islam Beltagy§ Katrin Erk† Raymond Mooney§ § Department of Computer Science

DocID: 1pQuO - View Document