Cautious reasoning in ASP via minimal models and unsatisfiable cores

Mario Alviano, Carmine Dodaro, Matti Järvisalo +2

Answer Set Programming (ASP) is a logic-based knowledge representation framework, supporting---among other reasoning modes---the central task of query answering. In the proposition…