Code for the Fanoos Multi-Resolution, Multi-Strength, Interactive XAI System

This upload contains a tarred and compressed copy of the code and git-history available at https://github.com/DBay-ani/Fanoos as of hour 3 day 16 month 5 year 2021 UTC.

See the following paper for a description:

    @inproceedings{DBLP:conf/vmcai/BayaniM22,
      author    = {David Bayani and Stefan Mitsch},
      editor    = {Bernd Finkbeiner and
                   Thomas Wies},
      title     = {Fanoos: Multi-resolution, Multi-strength, Interactive Explanations for Learned Systems},
      booktitle = {Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, {VMCAI} 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings},
      series    = {Lecture Notes in Computer Science},
      volume    = {13182},
      pages     = {43--68},
      publisher = {Springer},
      year      = {2022},
      url       = {https://doi.org/10.1007/978-3-030-94583-1\_3},
      doi       = {10.1007/978-3-030-94583-1\_3},
      timestamp = {Fri, 21 Jan 2022 22:02:46 +0100},
      biburl    = {https://dblp.org/rec/conf/vmcai/BayaniM22.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }

or see the extended write-up at:

    @article{bayani2020fanoos,
      title={Fanoos: Multi-Resolution, Multi-Strength, Interactive Explanations for Learned Systems},
      author={Bayani, David and Mitsch, Stefan},
      journal={arXiv preprint arXiv:2006.12453},
      year={2020},
      url={https://arxiv.org/abs/2006.12453}
    }

This upload is related to the additional written materials available on the
following Zenodo item:

    @misc{david_bayani_2022_6069468,
      author       = {David Bayani},
      title        = {{Further Materials (Additional Slides, Write-ups, Results, etc.) for Fanoos: Multi-Resolution, Multi-Strength, Interactive XAI System}},
      month        = feb,
      year         = 2022,
      publisher    = {Zenodo},
      doi          = {10.5281/zenodo.6069468},
      url          = {https://doi.org/10.5281/zenodo.6069468}
    }

We note that this upload ("Code for Fanoos [...]"), in contrast to the material
cited immediately above, contains source related to Fanoos, as opposed to
additional write-up, slides, etc.