TASR

Theory and Applications of Statistical-Relational Learning

Henry Kautz (University of Rochester)
Daniel Stefankovic (University of Rochester)
Parag Singla (IIT Delhi)

pigeons

Papers

Tim Kopp,Parag Singla, and Henry Kautz. Lifted Symmetry Detection and Breaking for MAP Inference. 29th Annual Conference on Neural Information Processing (NIPS 2015), Montreal, Canada, 2015.

Henry Kautz and Parag Singla. Technical Perspective: Combining Logic and Probability. Communications of the ACM, vol. 59, no. 2, pp. 106, July, 2016.

Young Chol Song, Henry Kautz, James Allen, Mary Swift, Yuncheng Li, Jiebo Luo, Ce Zhang (2013). A Markov Logic Framework for Recognizing Complex Events from Multimodal Data. 15th ACM International Conference on Multimodal Interaction (ICMI 2013), Sydney, Australia.

Tivadar Pápai, Henry Kautz, and Daniel Stefankovic (2013). Reasoning Under the Principle of Maximum Entropy for Modal Logics K45, KD45, and S514th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), Chennai, India, 2013.

Tivadar Pápai, Henry Kautz, and Daniel Stefankovic (2012). Slice Normalized Dynamic Markov Logic NetworksNeural Information Processing Systems (NIPS 2012),Lake Tahoe, Nevada, 2012.

Tivadar Pápai, Shalini Ghosh, and Henry Kautz (2012). Combining Subjective Probabilities and Data in Training Markov Logic Network. European Conference on Machine Learning (ECML), Bristol, UK, 2012.

Tivadar Papai, P. Singla, and Henry Kautz (2011). Constraint Propagation for Efficient Inference in Markov Logic17th International Conference on Principles and Practice of Constraint Programming (CP 2011), Perugia, Italy, pp. 691-705.

Parag Singla, Henry Kautz, Jiebo Luo, Andrew Gallagher (2008). Discovery of Social Relationships in Consumer Photo Collections using Markov Logic. Third International Workshop on Semantic Learning and Applications in Multimedia Applications (in association with IEEE International Conference on Computer Vision and Pattern Recognition), Anchorage, Alaska, 2008.

Tools

Schema.zip - Small LISP library for writing and propositionalizing finite first order logic axiom schemas.