Tractable Reasoning In Aritificial Intelligence - Marco Cadoli