Pietro Totis

Latest

• Towards distributed computation of answer sets