Three Modern Roles for Logic in AI

18 April 2020

Papers citing "Three Modern Roles for Logic in AI"

11 / 11 papers shown

Title
Logic for Explainable AI Adnan Darwiche 43 8 0 09 May 2023
Logic-Based Explainability in Machine Learning Sasha Rubin LRM XAI 57 39 0 24 Oct 2022
ASTERYX : A model-Agnostic SaT-basEd appRoach for sYmbolic and score-based eXplanations Ryma Boumazouza Fahima Cheikh Bertrand Mazure Karim Tabia 13 31 0 23 Jun 2022
On Tackling Explanation Redundancy in Decision Trees Yacine Izza Alexey Ignatiev Sasha Rubin FAtt 48 59 0 20 May 2022
Cardinality-Minimal Explanations for Monotonic Neural Networks Ouns El Harzli Bernardo Cuenca Grau Ian Horrocks FAtt 42 5 0 19 May 2022
Tractable Boolean and Arithmetic Circuits Adnan Darwiche TPM 41 12 0 07 Feb 2022
On Guaranteed Optimal Robust Explanations for NLP Models Emanuele La Malfa A. Zbrzezny Rhiannon Michelmore Nicola Paoletti Marta Z. Kwiatkowska FAtt 19 47 0 08 May 2021
Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delay Sasha Rubin Thomas Gerspacher Martin C. Cooper Alexey Ignatiev Nina Narodytska FAtt 30 59 0 13 Aug 2020
Computing Optimal Decision Sets with SAT Jinqiang Yu Alexey Ignatiev Peter J. Stuckey P. L. Bodic FAtt 22 26 0 29 Jul 2020
Symbolic Logic meets Machine Learning: A Brief Survey in Infinite Domains Vaishak Belle NAI LRM 18 36 0 15 Jun 2020
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 251 1,842 0 03 Feb 2017