Software Bug Localization with Markov Logic Sai Zhang Congle Zhang Department of Computer Science - D.S. - 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

	Jan-Willem Romeijn Conditioning and Interpretation Shifts Abstract. This paper develops a probabilistic model of belief change under interpretation shifts, in the context of a problem case from dynamic epistemic logic. DocID: 1v4jU - View Document
	Optimal Temporal Logic Planning in Probabilistic Semantic Maps Jie Fu, Nikolay Atanasov, Ufuk Topcu, and George J. Pappas Abstract—This paper considers robot motion planning under temporal logic constraints in probabil DocID: 1uHfw - View Document
	Integrating Logical Representations with Probabilistic Information using Markov Logic Dan Garrette Katrin Erk DocID: 1uoxn - View Document
	A Probabilistic Logic for Sequences of Decisions∗ Magdalena Ivanovska and Martin Giese Department of Informatics University of Oslo, Norway Abstract DocID: 1uowI - View Document
	Epistemic Logic Implicit probabilistic structures Explicit probabilistic structures Dutch Books for (logical) dummies Impossible States at Work DocID: 1ujsP - View Document