activity
20182024
most citedOn Exploiting Hitting Sets for Model Reconciliation

1 citations · 1 across the 2 of their papers we have counts for

collaborators
Showing 2018Show all

1 paper · 1 filter

cs.LO2018

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…