Slide about Duquenne-Guigues basis removed
Slide about verification of universal preferences modified
Slide about problem statement
Three -> Two
Abduction renamed to Verify
Another fix in the algorithm
Slide about Naive Bayes Classification removed
Extended description of the algorithm and conclusion
Zero support
Complexity of Verification
Date and complexity fixed