Constraint Propagation for Efficient Inference in Markov Logic. - Tivadar Papai; Parag Singla; Henry A. Kautz (CP, 2011)

Slice Normalized Dynamic Markov Logic Networks. - Tivadar Papai; Henry A. Kautz; Daniel Stefankovic (NIPS, 2012)

Combining Subjective Probabilities and Data in Training Markov Logic Networks. - Tivadar Papai; Shalini Ghosh; Henry A. Kautz (ECML/PKDD (1), 2012)

Modal Markov Logic for Multiple Agents. - Tivadar Papai; Henry A. Kautz (StarAI@AAAI, 2013)

Reasoning Under the Principle of Maximum Entropy for Modal Logics K45, KD45, and S5. - Tivadar Papai; Henry A. Kautz; Daniel Stefankovic (TARK, 2013)