Both are common areas of interest across many machine learning formalisms: probabilistic logic (Bach et al., 2015), graph algorithms (Low et al., 2012), and probabilistic grammars (Cohen et al., 2008).
logic-lDA: encodes general domain knowledge as first-order logic and incorporates it in lDA (Andrzejewski et al., 2011).