Inferring User Preferences by Probabilistic Logical Reasoning over Social Networks
A Machine-Oriented Logic Based on the Resolution Principle