Logic-Based Explainability in Machine Learning

von Marques-Silva, Joao
Veröffentlicht in RW (18. : 2022 : Online) Reasoning web (2023)

Automated Reasoning in Explainable AI

von Marques-Silva, Joao
Veröffentlicht in Associació Catalana d'Intelligència Artificial (23. : 2021 : Online) Artificial intelligence research and development (2021)

SAT-Based Rigorous Explanations for Decision Lists

von Ignatiev, Alexey
Veröffentlicht in SAT (24. : 2021 : Barcelona) Theory and Applications of Satisfiability Testing - SAT 2021 (2021)

Reasoning About Strong Inconsistency in ASP

von Mencia, Carlos
Veröffentlicht in SAT (23. : 2020 : Online) Theory and applications of satisfiability testing - SAT 2020 (2020)

Over-valuation: avoid double counting when retaining dividends in the FCFE valuation : understanding discounted cash flow valuation

von Marques-Silva, João
Veröffentlicht in International journal of financial research (2017)

Theory and applications of satisfiability testing : 10th international conference, Lisbon, Portugal, May 28 - 31, 2007 ; proceedings

Veröffentlicht 2007

Efficient Reasoning about Infeasible One Machine Sequencing

von Mencía, Raúl
Veröffentlicht in International Conference on Automated Planning and Scheduling (33. : 2023 : Prag) Thirty-third International Conference on Automated Planning and Scheduling (ICAPS 2023) (2023)

Branch Location Problems with Maximum Satisfiability

von Zaikin, Oleg
Veröffentlicht in European Conference on Artificial Intelligence (24. : 2020 : Online) ECAI 2020 ; Part 1 (2020)

Assessing Progress in SAT Solvers Through the Lens of Incremental SAT

von Kochemazov, Stepan
Veröffentlicht in SAT (24. : 2021 : Barcelona) Theory and Applications of Satisfiability Testing - SAT 2021 (2021)

From Contrastive to Abductive Explanations and Back Again

von Ignatiev, Alexey
Veröffentlicht in AIxIA (19. : 2020 : Online) AIxIA 2020 - Advances in Artificial Intelligence (2021)

Theory and applications of satisfiability testing - SAT 2007 : 10th international conference, Lisbon, Portugal, May 28-31, 2007 ; proceedings

Veröffentlicht 2007

Haplotype inference with pseudo-Boolean optimization

Veröffentlicht in Annals of operations research (2011)

EXPLAINING NAIVE BAYES AND OTHER LINEAR CLASSIFIERS WITH POLYNOMIAL TIME AND DELAY

von Marques-Silva, Joao
Veröffentlicht in NeurIPS (34. : 2020 : Online) 34th Conference on Neural Information Processing Systems (NeurIPS 2020) ; Volume 25 of 27 (2021)

Feature Necessity & Relevancy in ML Classifier Explanations

von Huang, Xuanxiang
Veröffentlicht in TACAS (29. : 2023 : Paris) Tools and algorithms for the construction and analysis of systems ; Part 1 (2023)

Towards Formal Fairness in Machine Learning

von Ignatiev, Alexey
Veröffentlicht in CP (26. : 2020 : Online) Principles and practice of constraint programming (2020)