CertainLogic: a logic for modeling trust and uncertainty (short paper)

- Ries, Sebastian; Habib, Sheikh Mahbub; Mühlhäuser, Max; Varadharajan, Vijay