Symbolic Knowledge Extraction via PSyKE. A Tutorial

@talk{psyketutorialprima2022,
    abstract = {PsyKE: a platform providing general-purpose support to symbolic knowledge extraction from different sorts of black-box predictors via many extraction algorithms. Notably, PSyKE targets the extraction of symbolic knowledge in logic form, making it possible to extract first-order logic clauses as output. The extracted knowledge is thus both machine- and human- interpretable, and it can be used as a starting point for further symbolic processing—e.g., automated reasoning.},
    address = {Valencia, Spain},
    author = {Ciatto, Giovanni and Magnini, Matteo and Sabbatini, Federico},
    date = {2022-11-16},
    externallabel = {Latest version on GitHub},
    language = {en},
    month = nov,
    sort = {tutorial},
    speaker = {Ciatto, Giovanni},
    title = {Symbolic Knowledge Extraction via PSyKE. A Tutorial},
    type = {Tutorial},
    url = {https://github.com/pikalab-unibo/psyke-tutorial/releases/latest},
    year = 2022
}