Federico Igne

Latest

• Towards distributed computation of answer sets
• MASP-Reduce: A Proposal for Distributed Computation of Stable Models