Software Bug Localization with Markov Logic Sai Zhang Congle Zhang Department of Computer Science - Michael Chandler - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2015-05-05 00:58:34 Logic Mathematical logic Non-classical logic Markov logic network Software testing Probabilistic logic Software bug Code coverage Debugging Inference First-order logic Buggy		Software Bug Localization with Markov Logic Sai Zhang Congle Zhang Department of Computer Science & Engineering Add to Reading List Source URL: zhang-sai.github.io Download Document from Source Website File Size: 112,63 KB Share Document on Facebook

	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§ 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 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 DocID: 1q0J1 - View Document
	Probabilistic Soft Logic for Semantic Textual Similarity Islam Beltagy§ Katrin Erk† Raymond Mooney§ § Department of Computer Science DocID: 1pQuO - View Document