Bridging Constraint Satisfaction and Boolean Satisfiability (Artificial Intelligence: Foundations, Theory, Algorithms)

Hypergraph Computation (Artificial Intelligence: Foundations, Theory, and Algorithms)

Machine Learning Safety (Artificial Intelligence: Foundations, Theory, and Algorithms)

AI Driven Mechanism Design (Artificial Intelligence: Foundations, Theory, and Algorithms)

AI Ethics: A Textbook (Artificial Intelligence: Foundations, Theory, and Algorithms)