Login / Signup

Explainable Artificial Intelligence Using Expressive Boolean Formulas.

Gili RosenbergJohn Kyle BrubakerMartin J. A. SchuetzGrant SaltonZhihuai ZhuElton Yechao ZhuSerdar KadiogluSima E. BorujeniHelmut G. Katzgraber
Published in: Mach. Learn. Knowl. Extr. (2023)
Keyphrases
  • artificial intelligence
  • boolean formula
  • expert systems
  • knowledge representation
  • software engineering
  • unsatisfiable cores
  • sat solvers
  • machine learning
  • special case
  • upper bound
  • constraint satisfaction problems