Cautious reasoning in ASP via minimal models and unsatisfiable cores

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]

Authors

Mario Alviano

This author has not been identified. Look up 'Mario Alviano' in Google

Carmine Dodaro

This author has not been identified. Look up 'Carmine Dodaro' in Google

Matti Järvisalo

This author has not been identified. Look up 'Matti Järvisalo' in Google

Marco Maratea

This author has not been identified. Look up 'Marco Maratea' in Google

Alessandro Previti

This author has not been identified. Look up 'Alessandro Previti' in Google