1 Computing Information Minimal Match Explanations for Logic-based Matchmaking

Cached


by Tommaso Di Noia , Eugenio Di Sciascio , Francesco M. Donini