Examens corriges

A Scalable Reasoning and Learning Approach for Neural-Symbolic ...

to enumerate all subsets of S and for each test whether it is still ... maximal consistent subset was done by a single call to clingo, using the minimiza-.





Télécharger