External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formal Methods Meet XAI: the Tool DEGARI 2.0 for Social Inclusion

Antonio Lieto, Gian Luca Pozzato, Manuel Striani, Stefano Zoia, Rossana Damiano. Formal Methods Meet XAI: the Tool DEGARI 2.0 for Social Inclusion. In Luca Geatti, Guido Sciavicco, Alessandro Umbrico, editors, Short Paper Proceedings of the 4th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), Udine, Italy, November 28, 2022. Volume 3311 of CEUR Workshop Proceedings, pages 45-50, CEUR-WS.org, 2022. [doi]

Authors

Antonio Lieto

This author has not been identified. Look up 'Antonio Lieto' in Google

Gian Luca Pozzato

This author has not been identified. Look up 'Gian Luca Pozzato' in Google

Manuel Striani

This author has not been identified. Look up 'Manuel Striani' in Google

Stefano Zoia

This author has not been identified. Look up 'Stefano Zoia' in Google

Rossana Damiano

This author has not been identified. Look up 'Rossana Damiano' in Google
runs on