Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints

From MaRDI portal
Publication:5140015