Marques Silva, Joao

Engineering Sciences

Universitat de Lleida (UdL)


Email jpms@icrea.cat

Department Dept. Producció Vegetal i Ciència Forestal

Keywords

  • Explainable AI

  • Interpretability

  • Automated Reasoning

  • Formal Methods

  • Optimization