TY  - RPRT
TI  - Cautious reasoning in ASP via minimal models and unsatisfiable cores
AU  - Mario Alviano
AU  - Carmine Dodaro
AU  - Matti Järvisalo
AU  - Marco Maratea
AU  - Alessandro Previti
PY  - 2018
UR  - https://arxiv.org/abs/1804.08480
ID  - 1804.08480
ER  -