@article{mixedlogicalandprobabilisticreasoningfor,
  title = {Mixed Logical and Probabilistic Reasoning for Planning and Explanation Generation in Robotics},
  author = {Zenon Colaco and Mohan Sridharan},
  year = {2015},
  eprint = {1508.00059},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1508.00059v1},
}