Toby Walsh - Böcker

AI for Everyone: benefitting from and building trust in the technology

Handbook of Constraint Programming

Machines Behaving Badly

The Morality of AI

Machines Behaving Badly

The Morality of AI (Large Print 16 Pt Edition)

SAT 2005

Satisfiability Research in the Year 2005

SAT-2000

Handbook of Satisfiability

Machines That Think: The Future of Artificial Intelligence

Handbook of Satisfiability

Second Edition

2062: The World that AI Made

Machines Behaving Badly: The Morality of AI

Faking It

Artificial Intelligence in a Human World

Shortest History of AI

Short Introduction to Preferences

Between AI and Social Choice

Algorithmic Decision Theory

4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings

Theory and Applications of Satisfiability Testing – SAT 2017

20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings

Theory and Applications of Satisfiability Testing

8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings

Principles and Practice of Constraint Programming - CP 2001

7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings

Abstraction, Reformulation, and Approximation

4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26-29, 2000 Proceedings

SAT 2005

Satisfiability Research in the Year 2005