Publications

Preprints

• Provably Precise, Succinct and Efficient Explanations for Decision Trees. Yacine Izza, Alexey Ignatiev, Nina Narodytska, Martin Cooper and João Marques-Silva. (preprint) [bibtex]
• On Tackling Explanation Redundancy in Decision Trees. Yacine Izza, Alexey Ignatiev and João Marques-Silva. (preprint) [bibtex]
• On Computing Relevant Features for Explaining NBCs. Yacine Izza and João Marques-Silva. (preprint) [bibtex]
• Optimizing Binary Decision Diagrams with MaxSAT for classification. Hao Hu, Marie-José Huguet and Mohamed Siala. (preprint) [bibtex]
• Eliminating The Impossible, Whatever Remains Must Be True. Jinqiang Yu, Alexey Ignatiev, Peter Stuckey, Nina Narodytska and João Marques-Silva. (preprint) [bibtex]
• On Deciding Feature Membership in Explanations of SDD \& Related Classifiers. Xuanxiang Huang and João Marques-Silva. (preprint) [bibtex]
• Exploiting Fairness to Enhance Sensitive Attributes Reconstruction. Julien Ferry, Ulrich A\"ıvodji, Sébastien Gambs, Marie-José Huguet and Mohamed Siala. (preprint) [bibtex]
• KL Divergence Estimation with Multi-group Attribution. Parikshit Gopalan, Nina Narodytska, Omer Reingold, Vatsal Sharan and Udi Wieder. (preprint) [bibtex]
• Scalable Verification of GNN-based Job Schedulers. Haoze Wu, Clark Barrett, Mahmood Sharif, Nina Narodytska and Gagandeep Singh. (preprint) [bibtex]

2022

• An Efficient Approach to Data Transfer Scheduling for Long Range Space Exploration. Emmanuel Hebrard, Christian Artigues, Pierre Lopez, Arnaud Lusson, Steve Chien, Adrien Maillard and Gregg Rabideau. IJCAI [bibtex]
• Delivering Trustworthy AI through Formal XAI. João Marques-Silva and Alexey Ignatiev. AAAI [bibtex]
• Tractable Explanations for d-DNNF Classifiers. Xuanxiang Huang, Yacine Izza, Alexey Ignatiev, Martin Cooper, Nicholas Asher and João Marques-Silva. AAAI [bibtex]
• Using MaxSAT for Efficient Explanations of Tree Ensembles. Alexey Ignatiev, Yacine Izza, Peter Stuckey and João Marques-Silva. AAAI [bibtex]
• Optimizing Binary Decision Diagrams with MaxSAT for Classification. Hao Hu, Marie-José Huguet and Mohamed Siala. AAAI [bibtex]
• Constraint-Driven Explanations for Black-Box ML Models. Aditya Shrotri, Nina Narodytska, Alexey Ignatiev, Kuldeep Meel, João Marques-Silva and Moshe Vardi. AAAI [bibtex]
• BelElect: A New Dataset for Bias Research from a "Dark" Platform. Sviatlana Höhn, Sjouke Mauw and Nicholas Asher. AAAI [bibtex]
• Stochastic Policies in Morally Constrained (C-)SSPs. Charles Evans, Claire Benn, Ignacio Quintana, Pamela Robinson and Sylvie Thiébaux. AAAI [bibtex]
• Admissible Heuristics for Multi-Objective Planning. Florian Geißer, Patrik Haslum, Sylvie Thiébaux and Felipe Trevizan. ICAPS [bibtex]
• Preface. Sylvie Thiébaux, William Yeoh, Akshat Kumar and Pradeep Varakantham. ICAPS [bibtex]
• Complexity of Minimum-Size Arc-Inconsistency Explanations. Christian Bessiere, Clément Carbonnel, Martin Cooper and Emmanuel Hebrard. CP [bibtex]
• On Redundancy in Constraint Satisfaction Problems. Clément Carbonnel. CP [bibtex]
• Isomorphisms Between STRIPS Problems and Sub-Problems. Martin Cooper, Arnaud Lequen and Frédéric Maris. CP [bibtex]
• Analysis of Core-Guided MaxSat Using Cores and Correction Sets. Nina Narodytska and Nikolaj Bjørner. SAT [bibtex]
• Leveraging Integer Linear Programming to Learn Optimal Fair Rule Lists. Ulrich A\"ıvodji, Julien Ferry, Sébastien Gambs, Marie-José Huguet and Mohamed Siala. CP [bibtex]
• MurTree: Optimal Decision Trees via Dynamic Programming and Search. Emir Demirovic, Anna Lukina, Emmanuel Hebrard, Jeffrey Chan, James Bailey, Christopher Leckie, Kotagiri Ramamohanarao and Peter Stuckey. Journal of Machine Learning Research [bibtex]
• An Implemented System for Cognitive Planning. Jorge Fernandez, Dominique Longin, Emiliano Lorini and Frédéric Maris. ICAART [bibtex]

2021

• Explanations for Monotonic Classifiers. João Marques-Silva, Thomas Gerspacher, Martin Cooper, Alexey Ignatiev and Nina Narodytska. ICML [bibtex]
• On Explaining Random Forests with SAT. Yacine Izza and João Marques-Silva. IJCAI [bibtex]
• Reasoning-Based Learning of Interpretable ML Models. Alexey Ignatiev, João Marques-Silva, Nina Narodytska and Peter Stuckey. IJCAI [bibtex]
• A Scalable Two Stage Approach to Computing Optimal Decision Sets. Alexey Ignatiev, Edward Lam, Peter Stuckey and João Marques-Silva. AAAI [bibtex]
• A Simple Framework for Cognitive Planning. Jorge Luis Fernandez Davila, Dominique Longin, Emiliano Lorini and Frédéric Maris. AAAI [bibtex]
• Progression Heuristics for Planning with Probabilistic LTL Constraints. Ian Mallett, Sylvie Thiébaux and Felipe Trevizan. AAAI [bibtex]
• Computing Plans that Signal Normative Compliance. Alban Grastien, Claire Benn and Sylvie Thiébaux. AAAI [bibtex]
• On Efficiently Explaining Graph-Based Classifiers. Xuanxiang Huang, Yacine Izza, Alexey Ignatiev and João Marques-Silva. KR [bibtex]
• A Dynamic Epistemic Logic with Finite Iteration and Parallel Composition. Andreas Herzig, Frédéric Maris and Elise Perrotin. KR [bibtex]
• Interpretive Blindness and the Impossibility of Learning from Testimony. Nicholas Asher and Julie Hunter. AAMAS [bibtex]
• SAT-Based Rigorous Explanations for Decision Lists. Alexey Ignatiev and João P. Marques Silva. SAT [bibtex]
• On the Tractability of Explaining Decisions of Classifiers. Martin Cooper and João Marques-Silva. CP [bibtex]
• Assessing Progress in SAT Solvers Through the Lens of Incremental SAT. Stepan Kochemazov, Alexey Ignatiev and João Marques-Silva. SAT [bibtex]
• Combining Monte Carlo Tree Search and Depth First Search Methods for a Car Manufacturing Workshop Scheduling Problem. Valentin Antuori, Emmanuel Hebrard, Marie-José Huguet, Siham Essodaigui and Alain Nguyen. CP [bibtex]
• On How Turing and Singleton Arc Consistency Broke the Enigma Code. Valentin Antuori, Tom Portoleau, Louis Rivière and Emmanuel Hebrard. CP [bibtex]
• Evaluating the Hardness of SAT Instances Using Evolutionary Optimization Algorithms. Alexander Semenov, Daniil Chivilikhin, Artem Pavlenko, Ilya Otpuschennikov, Vladimir Ulyantsev and Alexey Ignatiev. CP [bibtex]
• Analyzing Learning-Based Networked Systems with Formal Verification. Arnaud Dethise, Marco Canini and Nina Narodytska. INFOCOM [bibtex]
• Propositional proof systems based on maximum satisfiability. Maria Bonet, Sam Buss, Alexey Ignatiev, António Morgado and João Marques-Silva. Artificial Intelligence [bibtex]
• A lightweight epistemic logic and its application to planning. Martin Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Elise Perrotin and Pierre Régnier. Artificial Intelligence [bibtex]
• Learning Optimal Decision Sets and Lists with SAT. Jinqiang Yu, Alexey Ignatiev, Peter Stuckey and Pierre Bodic. Journal of Artificial Intelligence Research [bibtex]
• Auditing static machine learning anti-Malware tools against metamorphic attacks. Daniel Gibert, Carles Mateu, Jordi Planes and João Marques-Silva. Computer Security [bibtex]
• Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification. Gianpiero Cabodi, Paolo Camurati, Alexey Ignatiev, João Marques-Silva, Marco Palena and Paolo Pasini. DATE [bibtex]
• Qualitative Bipolar Decision Frameworks Viewed as Pessimistic/Optimistic Utilities. Florence Saint-Cyr and Romain Guillaume. FUZZ-IEEE [bibtex]

2020

• Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delay. João Marques-Silva, Thomas Gerspacher, Martin Cooper, Alexey Ignatiev and Nina Narodytska. NeurIPS [bibtex]
• Towards Trustable Explainable AI. Alexey Ignatiev. IJCAI [bibtex]
• Learning Optimal Decision Trees with MaxSAT and its Integration in AdaBoost. Hao Hu, Mohamed Siala, Emmanuel Hebrard and Marie-José Huguet. IJCAI [bibtex]
• Reasoning About Inconsistent Formulas. João Marques-Silva and Carlos Mencía. IJCAI [bibtex]
• Variable Elimination in Binary CSPs (Extended Abstract). Martin Cooper, Achref Mouelhi and Cyril Terrioux. IJCAI [bibtex]
• On the Enumeration of Association Rules: A Decomposition-based Approach. Yacine Izza, Sa\"ıd Jabbour, Badran Raddaoui and Abdelhamid Boudane. IJCAI [bibtex]
• TouIST: a Friendly Language for Propositional Logic and More. Jorge Fernandez, Olivier Gasquet, Andreas Herzig, Dominique Longin, Emiliano Lorini, Frédéric Maris and Pierre Régnier. IJCAI [bibtex]
• Chain Length and CSPs Learnable with Few Queries. Christian Bessiere, Clément Carbonnel and George Katsirelos. AAAI [bibtex]
• Using Approximation within Constraint Programming to Solve the Parallel Machine Scheduling Problem with Additional Unit Resources. Arthur Godet, Xavier Lorca, Emmanuel Hebrard and Gilles Simonin. AAAI [bibtex]
• Lightweight Parallel Multi-Agent Epistemic Planning. Martin Cooper, Andreas Herzig, Frédéric Maris, Elise Perrotin and Julien Vianey. KR [bibtex]
• Galois Connections for Patterns: An Algebra of Labelled Graphs. David Cohen, Martin Cooper, Peter Jeavons and Stanislav Zivný. KR [bibtex]
• In Search for a SAT-friendly Binarized Neural Network Architecture. Nina Narodytska, Hongce Zhang, Aarti Gupta and Toby Walsh. ICLR [bibtex]
• Optimal and Heuristic Approaches for Constrained Flight Planning under Weather Uncertainty. Florian Geißer, Guillaume Povéda, Felipe Trevizan, Manon Bondouy, Florent Teichteil-Königsbuch and Sylvie Thiébaux. ICAPS [bibtex]
• Learning Domain-Independent Planning Heuristics with Hypergraph Networks. William Shen, Felipe Trevizan and Sylvie Thiébaux. ICAPS [bibtex]
• Jokes and Belief Revision. Florence Saint-Cyr and Henri Prade. KR [bibtex]
• Clustering Sargassum Mats from Earth Observation Data. Estèle Glize, Marie-José Huguet, Gilles Trédan, Marc Lucas and Marion Sutton. ACL [bibtex]
• Branch Location Problems with Maximum Satisfiability. Oleg Zaikin, Alexey Ignatiev and João Marques-Silva. ECAI [bibtex]
• Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability Analysis. Hongce Zhang, Maxwell Shinn, Aarti Gupta, Arie Gurfinkel, Nham Le and Nina Narodytska. ECAI [bibtex]
• Towards Formal Fairness in Machine Learning. Alexey Ignatiev, Martin Cooper, Mohamed Siala, Emmanuel Hebrard and João Marques-Silva. CP [bibtex]
• Strengthening Neighbourhood Substitution. Martin Cooper. CP [bibtex]
• Reasoning About Strong Inconsistency in ASP. Carlos Mencía and João Marques-Silva. SAT [bibtex]
• Leveraging Reinforcement Learning, Constraint Programming and Local Search: A Case Study in Car Manufacturing. Valentin Antuori, Emmanuel Hebrard, Marie-José Huguet, Siham Essodaigui and Alain Nguyen. CP [bibtex]
• Omissions in Constraint Acquisition. Dimosthenis Tsouros, Kostas Stergiou and Christian Bessiere. CP [bibtex]
• Computing Optimal Decision Sets with SAT. Jinqiang Yu, Alexey Ignatiev, Peter Stuckey and Pierre Bodic. CP [bibtex]
• Graphical Models: Queries, Complexity, Algorithms (Tutorial). Martin Cooper, Simon Givry and Thomas Schiex. STACS [bibtex]
• Reordering all agents in asynchronous backtracking for distributed constraint satisfaction problems. Younes Mechqrane, Mohamed Wahbi, Christian Bessiere and Kenneth Brown. Artificial Intelligence [bibtex]
• Constraint and Satisfiability Reasoning for Graph Coloring. Emmanuel Hebrard and George Katsirelos. Journal of Artificial Intelligence Research [bibtex]
• ASNets: Deep Learning for Generalised Planning. Sam Toyer, Sylvie Thiébaux, Felipe Trevizan and Lexing Xie. Journal of Artificial Intelligence Research [bibtex]
• Subgoaling Techniques for Satisficing and Optimal Numeric Planning. Enrico Scala, Patrik Haslum, Sylvie Thiébaux and Miquel Ramírez. Journal of Artificial Intelligence Research [bibtex]
• Introduction to the CPAIOR 2020 fast track issue. Emmanuel Hebrard and Nysret Musliu. Constraints [bibtex]
• Point-Width and Max-CSPs. Clément Carbonnel, Miguel Romero and Stanislav Zivný. ACM Transactions on Algorithms [bibtex]
• Optimum stable model search: algorithms and implementation. Mario Alviano, Carmine Dodaro, João Marques-Silva and Francesco Ricca. Journal of Logic and Computation [bibtex]
• An Ontology-based Approach for Building and Querying ICH Video Datasets. Sihem Belabbes, Yacine Izza, Nizar Mhadhbi, Tri-Thuc Vo, Karim Tabia and Salem Benferhat. ICAART [bibtex]
• Beliefs, Time and Space: A Language for the Y\=okai Board Game. Dominique Longin, Emiliano Lorini and Frédéric Maris. PRIMA [bibtex]

2019

• On Relating Explanations and Adversarial Examples. Alexey Ignatiev, Nina Narodytska and João Marques-Silva. NeurIPS [bibtex]
• Model-Based Diagnosis with Multiple Observations. Alexey Ignatiev, António Morgado, Georg Weissenbacher and João Marques-Silva. IJCAI [bibtex]
• Constraint Programming for Mining Borders of Frequent Itemsets. Mohamed-Bachir Belaid, Christian Bessiere and Nadjib Lazaar. IJCAI [bibtex]
• Dynamic logic of parallel propositional assignments and its applications to planning. Andreas Herzig, Frédéric Maris and Julien Vianey. IJCAI [bibtex]
• Abduction-Based Explanations for Machine Learning Models. Alexey Ignatiev, Nina Narodytska and João Marques-Silva. AAAI [bibtex]
• Point-width and Max-CSPs. Clément Carbonnel, Miguel Romero and Stanislav Zivný. LICS [bibtex]
• RelGAN: Relational Generative Adversarial Networks for Text Generation. Weili Nie, Nina Narodytska and Ankit Patel. ICLR [bibtex]
• Data Programming for Learning Discourse Structure. Sonia Badene, Kate Thompson, Jean-Pierre Lorré and Nicholas Asher. ACL [bibtex]
• Assessing Heuristic Machine Learning Explanations with Model Counting. Nina Narodytska, Aditya Shrotri, Kuldeep Meel, Alexey Ignatiev and João Marques-Silva. SAT [bibtex]
• On Computing the Union of MUSes. Carlos Mencía, Oliver Kullmann, Alexey Ignatiev and João Marques-Silva. SAT [bibtex]
• A Hybrid Approach for Exact Coloring of Massive Graphs. Emmanuel Hebrard and George Katsirelos. CP [bibtex]
• DRMaxSAT with MaxHS: First Contact. António Morgado, Alexey Ignatiev, Maria Bonet, João Marques-Silva and Sam Buss. SAT [bibtex]
• Structure-Driven Multiple Constraint Acquisition. Dimosthenis Tsouros, Kostas Stergiou and Christian Bessiere. CP [bibtex]
• Reward Potentials for Planning with Learned Neural Network Transition Models. Buser Say, Scott Sanner and Sylvie Thiébaux. CP [bibtex]
• Weak Supervision for Learning Discourse Structure. Sonia Badene, Kate Thompson, Jean-Pierre Lorré and Nicholas Asher. EMNLP [bibtex]
• Simple and precise static analysis of untrusted Linux kernel extensions. Elazar Gershuni, Nadav Amit, Arie Gurfinkel, Nina Narodytska, Jorge Navas, Noam Rinetzky, Leonid Ryzhyk and Mooly Sagiv. PLDI [bibtex]
• Constraint Programming for Association Rules. Mohamed-Bachir Belaid, Christian Bessiere and Nadjib Lazaar. SDM [bibtex]
• Variable Elimination in Binary CSPs. Martin Cooper, Achref Mouelhi and Cyril Terrioux. Journal of Artificial Intelligence Research [bibtex]
• Formally Verifying the Solution to the Boolean Pythagorean Triples Problem. Luís Cruz-Filipe, João Marques-Silva and Peter Schneider-Kamp. Journal of Automated Reasoning [bibtex]
• Query Answering from Traditional Dance Videos: Case Study of Zapin Dances. Sihem Belabbes, Chi Tan, Tri-Thuc Vo, Yacine Izza, Karim Tabia, Sylvain Lagrue and Salem Benferhat. ICTAI [bibtex]
• The epistemic gossip problem. Martin Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris and Pierre Régnier. Discrete Mathematics [bibtex]
• Binary constraint satisfaction problems defined by excluded topological minors. David Cohen, Martin Cooper, Peter Jeavons and Stanislav Zivný. Information and Compution [bibtex]
• Guiding Search with Generalized Policies for Probabilistic Planning. William Shen, Felipe Trevizan, Sam Toyer, Sylvie Thiébaux and Lexing Xie. SOCS [bibtex]
• Optimizing ground station networks for free space optical communications: Maximizing the data transfer. Mikael Capelle, Marie-José Huguet, Nicolas Jozefowiez and Xavier Olive. Networks [bibtex]
• BDD-Based Algorithms for Packet Classification. Nina Narodytska, Leonid Ryzhyk, Igor Ganichev and Soner Sevinc. FMCAD [bibtex]
• Explainable Decisions under Incomplete Knowledge with Supports and Weights. Florence Saint-Cyr, Romain Guillaume and Umer Mushtaq. FUZZ-IEEE [bibtex]
• Assessing Arguments with Schemes and Fallacies. Pierre Bisquert, Florence Saint-Cyr and Philippe Besnard. LPNMR [bibtex]
• RC2: an Efficient MaxSAT Solver. Alexey Ignatiev, António Morgado and João Marques-Silva. Journal of Satisfiability, Boolean Modeling and Computation [bibtex]