Column Generation Methods for Probabilistic Logic

Computing most probable worlds of action probabilistic logic programs: scalable estimation for 1030,000 worlds

Annals of Mathematics and Artificial Intelligence

Stochastic Reasoning with Models of Agent Behavior

ICLP '09 Proceedings of the 25th International Conference on Logic Programming

On Improving the Scalability of Checking Satisfiability in Probabilistic Description Logics

SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management

A hybrid method for probabilistic satisfiability

CADE'11 Proceedings of the 23rd international conference on Automated deduction

Focused most probable world computations in probabilistic logic programs

Annals of Mathematics and Artificial Intelligence