Three Modern Roles for Logic in AI

18 April 2020

Papers citing "Three Modern Roles for Logic in AI"

19 / 19 papers shown

Title
Logic-Based Explainability: Past, Present & Future Joao Marques-Silva 81 3 0 04 Jun 2024
Contestable AI needs Computational Argumentation Francesco Leofante Hamed Ayoobi Adam Dejl Gabriel Freedman Deniz Gorur ... Anna Rapberger Fabrizio Russo Xiang Yin Dekai Zhang Francesca Toni 62 4 0 17 May 2024
Logic for Explainable AI Adnan Darwiche 73 8 0 09 May 2023
Logic-Based Explainability in Machine Learning Sasha Rubin LRM XAI 126 40 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 61 32 0 23 Jun 2022
A Model-Agnostic SAT-based Approach for Symbolic Explanation Enumeration Ryma Boumazouza Fahima Cheikh-Alili Bertrand Mazure Karim Tabia 41 0 0 23 Jun 2022
On Tackling Explanation Redundancy in Decision Trees Yacine Izza Alexey Ignatiev Sasha Rubin FAtt 98 64 0 20 May 2022
Cardinality-Minimal Explanations for Monotonic Neural Networks Ouns El Harzli Bernardo Cuenca Grau Ian Horrocks FAtt 65 6 0 19 May 2022
Tractable Boolean and Arithmetic Circuits Adnan Darwiche TPM 78 13 0 07 Feb 2022
Design of quantum optical experiments with logic artificial intelligence Alba Cervera-Lierta Mario Krenn A. Aspuru‐Guzik 53 18 0 27 Sep 2021
Exact Learning Augmented Naive Bayes Classifier Shouta Sugahara M. Ueno BDL 22 32 0 07 Jul 2021
Sufficient reasons for classifier decisions in the presence of constraints Niku Gorji S. Rubin 76 3 0 12 May 2021
On Guaranteed Optimal Robust Explanations for NLP Models Emanuele La Malfa A. Zbrzezny Rhiannon Michelmore Nicola Paoletti Marta Z. Kwiatkowska FAtt 77 48 0 08 May 2021
Adversarial Robustness Guarantees for Gaussian Processes A. Patané Arno Blaas Luca Laurenti L. Cardelli Stephen J. Roberts Marta Z. Kwiatkowska GP AAML 188 9 0 07 Apr 2021
On Relating 'Why?' and 'Why Not?' Explanations Alexey Ignatiev Nina Narodytska Nicholas M. Asher Sasha Rubin XAI FAtt LRM 59 26 0 21 Dec 2020
The Relational Data Borg is Learning Dan Olteanu 39 24 0 18 Aug 2020
Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delay Sasha Rubin Thomas Gerspacher Martin C. Cooper Alexey Ignatiev Nina Narodytska FAtt 72 63 0 13 Aug 2020
Computing Optimal Decision Sets with SAT Jinqiang Yu Alexey Ignatiev Peter Stuckey P. L. Bodic FAtt 114 26 0 29 Jul 2020
Symbolic Logic meets Machine Learning: A Brief Survey in Infinite Domains Vaishak Belle NAI LRM 108 36 0 15 Jun 2020