Joao Marques Silva

Professor

ANITI, University of Toulouse

Show Academic Trajectory

Ego Network

D-Core

Research Interests

Author Statistics

Experience

Education

Bio

Interests
Automated Reasoning
Constraint Programming
Artificial Intelligence
Machine Learning
Formal Methods

Papers268 papers

Sort

By YearBy Citation

Towards Formal Fairness in Machine Learning

Alexey Ignatiev, Martin C Cooper, Mohamed Siala, Emmanuel Hebrard,Joao Marques-Silva

CP, pp.846-867, (2020)

EIBibtex

On Explaining Decision Trees

Yacine Izza,Alexey Ignatiev,Joao Marques-Silva

Bibtex

Reasoning About Strong Inconsistency in ASP

Carlos Mencía,João Marques-Silva

SAT, pp.332-342, (2020)

EIBibtex

Reasoning About Inconsistent Formulas

João Marques-Silva,Carlos Mencía

IJCAI, (2020): 4899-4906

EIBibtex

On Relating 'Why?' and 'Why Not?' Explanations

Alexey Ignatiev,Nina Narodytska, Nicholas Asher,Joao Marques-Silva

Bibtex

Branch Location Problems with Maximum Satisfiability

Oleg Zaikin,Alexey Ignatiev,João Marques-Silva

ECAI, pp.379-386, (2020)

EIBibtex

Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delay

Joao Marques-Silva,Thomas Gerspacher,Martin C. Cooper,Alexey Ignatiev,Nina Narodytska

NIPS 2020, (2020)

EIBibtex

On Relating Explanations and Adversarial Examples

Alexey Ignatiev,Nina Narodytska,Joao Marques-Silva

ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 32 (NIPS 2019), (2019): 15857-15867

Cited by11EIBibtex

Computing Shortest Resolution Proofs

Carlos Mencía,João Marques-Silva

EPIA (2), pp.539-551, (2019)

EIBibtex

Abduction-Based Explanations for Machine Learning Models

Alexey Ignatiev,Nina Narodytska,João Marques-Silva

national conference on artificial intelligence, (2019)

Cited by30EIBibtex

Algorithm for automatic fatigue crack growth simulation on welded high strength steels

R. Baptista,J. Marques,V Infante

FRATTURA ED INTEGRITA STRUTTURALE, pp.257-268, (2019)

Bibtex

RC2: an Efficient MaxSAT Solver

Alexey Ignatiev, António Morgado,João Marques-Silva

J. Satisf. Boolean Model. Comput., no. 1 (2019): 53-64

EIBibtex

Rigorous Explanations for Machine Learning Models⋆

Joao Marques-Silva

AITP 2019, (2019): 12

Bibtex

On Validating, Repairing and Refining Heuristic ML Explanations

Ignatiev Alexey,Narodytska Nina,Marques-Silva Joao

Cited by8Bibtex

Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference

Ilya Zakirzyanov,António Morgado,Alexey Ignatiev,Vladimir Ulyantsev,João Marques-Silva

LATA, pp.159-173, (2019)

EIBibtex

On Computing the Union of MUSes

Carlos Mencía,Oliver Kullmann,Alexey Ignatiev,João Marques-Silva

SAT, pp.211-221, (2019)

Cited by3EIBibtex

Constraint-Based Explanations of Machine Learning Models

Alexey Ignatiev, Nina Narodytska,Joao Marques-Silva

national conference on artificial intelligence, (2019)

Bibtex

DRMaxSAT with MaxHS - First Contact

António Morgado,Alexey Ignatiev,Maria Luisa Bonet,João Marques-Silva,Sam Buss

SAT, pp.239-249, (2019)

Cited by2EIBibtex

Model-Based Diagnosis with Multiple Observations

Alexey Ignatiev,António Morgado,Georg Weissenbacher,João Marques-Silva

IJCAI, pp.1108-1115, (2019)

Cited by1EIBibtex

Assessing Heuristic Machine Learning Explanations with Model Counting

Nina Narodytska, Aditya A. Shrotri, Kuldeep S. Meel,Alexey Ignatiev,João Marques-Silva

SAT, pp.267-278, (2019)

Cited by10EIBibtex

View All

Base Info Papers Patents Projects

Joao Marques SilvaBinding

Papers268 papers

Joao Marques Silva