Joao Marques-Silva

ICREA , University of Lleida , Spain

10 papers in the IJCAI proceedings

IJCAI 2025

Efficient and Rigorous Model-Agnostic Explanations

with Jairo A. Lefebre-Lobaina, Maria Vanina Martinez

doi:10.24963/ijcai.2025/294

Details PDF

Most General Explanations of Tree Ensembles

with Yacine Izza, Akexey Ignatiev, Sasha Rubin, Peter J. Stuckey

doi:10.24963/ijcai.2025/608

Details PDF

IJCAI 2024

Updates on the Complexity of SHAP Scores

with Xuanxiang Huang

doi:10.24963/ijcai.2024/45

Details PDF

IJCAI 2023

On Tackling Explanation Redundancy in Decision Trees (Extended Abstract)

with Yacine Izza, Alexey Ignatiev

doi:10.24963/ijcai.2023/779

Details PDF

IJCAI 2021

On Explaining Random Forests with SAT

with Yacine Izza

doi:10.24963/ijcai.2021/356

Details PDF

Reasoning-Based Learning of Interpretable ML Models

with Alexey Ignatiev, Nina Narodytska, Peter J. Stuckey

doi:10.24963/ijcai.2021/608

Details PDF

IJCAI 2020

Reasoning About Inconsistent Formulas

with Carlos Mencía

doi:10.24963/ijcai.2020/682

Details PDF

IJCAI 2019

Model-Based Diagnosis with Multiple Observations

with Alexey Ignatiev, Antonio Morgado, Georg Weissenbacher

doi:10.24963/ijcai.2019/155

Details PDF

IJCAI 2018

Learning Optimal Decision Trees with SAT

with Nina Narodytska, Alexey Ignatiev, Filipe Pereira

doi:10.24963/ijcai.2018/189

Details PDF

IJCAI 2017

Cardinality Encodings for Graph Optimization Problems

with Alexey Ignatiev, Antonio Morgado

doi:10.24963/ijcai.2017/91

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings