Alexey Ignatiev
19 papers · 2015–2024 · 4 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+8 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (22) π Academic Marathon Β· Sprint π Conference Polyglot Β· Bronze π Interdisciplinary Bridge Β· Bronze π£ Hot Topic Early Bird
π¬
Deep Specialist
(11)
π€
Dynamic Duo
(18)
π§¬
Topic Evolution
π§
Keyword Pioneer
π
Conference Pioneer
π₯
Unstoppable Β· Bronze
π
Century Club Β· Bronze
ποΈ
Keyword Collector
(67)
Venues
Top co-authors
Research topics
Machine Learning
(12)
Artificial Intelligence
(11)
Core AI
(11)
Core Methods
(8)
Computer Science
(6)
Application Areas
(4)
Foundations
(4)
Optimization & Theory
(3)
Knowledge & Reasoning
(2)
Mathematics & Optimization
(2)
Applications
(2)
Learning Types
(2)
Optimization
(2)
Reasoning
(2)
Deep Learning
(1)
Keywords
explainable ai
(5)
formal explanation
(4)
explainable artificial intelligence
(4)
decision tree
(4)
polynomial time
(3)
model explanation
(3)
abductive reasoning
(3)
model interpretability
(2)
model-based diagnosis
(2)
formal methods
(2)
black-box model
(2)
interpretable machine learning
(2)
post-hoc explanation
(2)
linear classifier
(1)
tree ensemble
(1)
rule learning
(1)
knowledge compilation
(1)
counterfactual explanation
(1)
integer linear programming
(1)
interpretable model
(1)
Papers
Delivering Inflated Explanations
AAAI 2024
Eliminating the Impossible, Whatever Remains Must Be True: On Extracting and Applying Background Knowledge in the Context of Formal Explanations
AAAI 2023
On Tackling Explanation Redundancy in Decision Trees (Extended Abstract)
IJCAI 2023
Constraint-Driven Explanations for Black-Box ML Models
AAAI 2022
Delivering Trustworthy AI through Formal XAI
AAAI 2022
Tractable Explanations for d-DNNF Classifiers
AAAI 2022
Using MaxSAT for Efficient Explanations of Tree Ensembles
AAAI 2022
A Scalable Two Stage Approach to Computing Optimal Decision Sets
AAAI 2021
Explanations for Monotonic Classifiers.
ICML 2021
Reasoning-Based Learning of Interpretable ML Models
IJCAI 2021
Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delay
NeurIPS 2020
Towards Trustable Explainable AI
IJCAI 2020
Abduction-Based Explanations for Machine Learning Models
AAAI 2019
Model-Based Diagnosis with Multiple Observations
IJCAI 2019
On Relating Explanations and Adversarial Examples
NeurIPS 2019
Learning Optimal Decision Trees with SAT
IJCAI 2018
Cardinality Encodings for Graph Optimization Problems
IJCAI 2017
Efficient Model Based Diagnosis with Maximum Satisfiability
IJCAI 2015
Prime Compilation of Non-Clausal Formulae
IJCAI 2015