Joao Marques-Silva

According to our database¹, Joao Marques-Silva authored at least 1 paper in 2025.

Collaborative distances:

Awards

IEEE Fellow 2016, "For contributions to decision and optimization algorithms for propositional logic".

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

Formal Explanations of Black-Box Ranking Functions.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 19th European Conference, 2025