Mario Alviano, Carmine Dodaro, Matti Järvisalo, Marco Maratea, Alessandro Previti. Cautious reasoning in ASP via minimal models and unsatisfiable cores. TPLP, 18(3-4):319-336, 2018. [doi]
No references recorded for this publication.
No citations of this publication recorded.