Toby Walsh – författare
Visar alla böcker från författaren Toby Walsh. Handla med fri frakt och snabb leverans.
31 produkter
Faking It
Artificial Intelligence in a Human World
Av Toby Walsh
Inbunden, 2023
243 kr
Lägg i varukorg
‘Refreshingly clear-eyed … Faking It is an insightful and intelligent book that’s a must for those looking for facts about AI hype.’ – Books+Publishing‘AI will be as big a game-changer as the smart phone and the personal computer – or bigger! This book will help you navigate the revolution.’ – Dr …
Shortest History of AI
The Six Essential Ideas That Animate It
Av Toby Walsh
Häftad, 2025
111 kr
Lägg i varukorg
Since Alan Turing first posed the question “Can machines think?” artificial intelligence has evolved from a speculative idea to a transformative force. The Shortest History of AI traces this evolution, from Ada Lovelace’s visionary work to IBM’s groundbreaking defeat of the chess world champion and …
Handbook of Constraint Programming
Av Toby Walsh, Peter van Beek m. fl.
E-bok, 2006
5,0 utav 5 stjärnor. Totalt antal röster: (1)
2266 kr
Lägg i varukorg
Constraint programming is a powerful paradigm for solving combinatorial search problems that draws on a wide range of techniques from artificial intelligence, computer science, databases, programming languages, and operations research. Constraint programming is currently applied with success to …
AI for Everyone: benefitting from and building trust in the technology
Av Jiro Kokuryo, Toby Walsh m. fl.
Häftad, 2020
171 kr
Lägg i varukorg
Handbook of Constraint Programming
Av Francesca Rossi, Peter van Beek m. fl.
Inbunden, 2006
2161 kr
Lägg i varukorg
Constraint programming is a powerful paradigm for solving combinatorial search problems that draws on a wide range of techniques from artificial intelligence, computer science, databases, programming languages, and operations research. Constraint programming is currently applied with success to …
Machines Behaving Badly
The Morality of AI
Av Toby Walsh
Inbunden, 2022
214 kr
Lägg i varukorg
Can we build moral machines?Artificial intelligence is an essential part of our lives – for better or worse. It can be used to influence what we buy, who gets shortlisted for a job and even how we vote. Without AI, medical technology wouldn’t have come so far, we’d still be getting lost in our …
Machines Behaving Badly
The Morality of AI (Large Print 16 Pt Edition)
Av Toby Walsh
Häftad, 2022
442 kr
Lägg i varukorg
SAT 2005
Satisfiability Research in the Year 2005
Av Enrico Giunchiglia, Toby Walsh
Inbunden, 2006
1688 kr
Lägg i varukorg
This book is devoted to recent progress made in solving propositional satisfiability and related problems. Propositional satisfiability is a powerful and general formalism used to solve a wide range of important problems including hardware and software verification. The core of many reasoning …
SAT 2005
Satisfiability Research in the Year 2005
Av Toby Walsh, Enrico Giunchiglia
E-bok, 2007
2174 kr
Lägg i varukorg
This book is devoted to recent progress made in solving propositional satisfiability and related problems. Propositional satisfiability is a powerful and general formalism used to solve a wide range of important problems including hardware and software verification. The core of many reasoning …
Machines That Think: The Future of Artificial Intelligence
Av Toby Walsh
Häftad, 2018
238 kr
Lägg i varukorg
Handbook of Satisfiability
Second Edition
Av Armin Biere, Hans van Maaren m. fl.
Inbunden, 2021
3940 kr
Lägg i varukorg
Propositional logic has been recognized throughout the centuries as one of the cornerstones of reasoning in philosophy and mathematics. Over time, its formalization into Boolean algebra was accompanied by the recognition that a wide range of combinatorial problems can be expressed as propositional …
2062
The World that AI Made
Av Toby Walsh
E-bok, 2018
235 kr
Lägg i varukorg
‘A compelling invitation to imagine the future we want’ —BRIAN CHRISTIAN, author of The Most Human Human By 2062 we will have built machines as intelligent as us – so the leading artificial intelligence and robotics experts predict. But what will this future look like? In 2062 , world-leading …
God AI
Boom or Doom? What to Expect When Machines Outsmart Us
Av Toby Walsh
E-bok, 2026
233 kr
Lägg i varukorg
Is it game over for humanity? The essential guide to our most dangerous invention.Our fears about artificial general intelligence go deep. They touch on our very identity as thinking, feeling creatures, and on our place in the universe. Are we creating our own successor? And might this creation be …
GOD AI
Boom or Doom? What to Expect when Machines Outsmart Us
Av Toby Walsh
Häftad, 2026
155 kr
Lägg i varukorg
Short Introduction to Preferences
Between AI and Social Choice
Av Francesca Rossi, Kristen Brent Venable m. fl.
Häftad, 2011
312 kr
Lägg i varukorg
Computational social choice is an expanding field that merges classical topics like economics and voting theory with more modern topics like artificial intelligence, multiagent systems, and computational complexity. This book provides a concise introduction to the main research lines in this field, …
Short Introduction to Preferences
Between AI and Social Choice
Av Toby Walsh, Kristen Brent Venable m. fl.
E-bok, 2022
408 kr
Lägg i varukorg
Computational social choice is an expanding field that merges classical topics like economics and voting theory with more modern topics like artificial intelligence, multiagent systems, and computational complexity. This book provides a concise introduction to the main research lines in this field, …
Algorithmic Decision Theory
4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings
Av Toby Walsh
Häftad, 2015
570 kr
Lägg i varukorg
This book constitutes the thoroughly refereed conference proceedings of the 4th International Conference on Algorithmic Decision Theory , ADT 2015, held in September 2015 in Lexington, USA. The 32 full papers presented were carefully selected from 76 submissions. The papers are organized in topical …
Algorithmic Decision Theory
4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings
Av Toby Walsh
E-bok, 2015
734 kr
Lägg i varukorg
This book constitutes the thoroughly refereed conference proceedings of the 4th International Conference on Algorithmic Decision Theory , ADT 2015, held in September 2015 in Lexington, USA. The 32 full papers presented were carefully selected from 76 submissions. The papers are organized in topical …
Theory and Applications of Satisfiability Testing – SAT 2017
20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings
Häftad, 2017
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017, held in Melbourne, Australia, in August/September 2017.The 22 revised full papers, 5 short papers, and 3 tool papers were carefully reviewed and …
Theory and Applications of Satisfiability Testing - SAT 2017
20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings
E-bok, 2017
734 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017, held in Melbourne, Australia, in August/September 2017. The 22 revised full papers, 5 short papers, and 3 tool papers were carefully reviewed and …
Theory and Applications of Satisfiability Testing
8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings
Häftad, 2005
552 kr
Lägg i varukorg
The 8th International Conference on Theory and Applications of Satis?ability Testing(SAT2005)providedaninternationalforumforthemostrecentresearch on the satis?ablity problem (SAT). SAT is the classic problem of determining whether or not a propositional formula has a satisfying truth assignment. It …
Theory and Applications of Satisfiability Testing
8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings
E-bok, 2005
734 kr
Lägg i varukorg
The 8th International Conference on Theory and Applications of Satis?ability Testing(SAT2005)providedaninternationalforumforthemostrecentresearch on the satis?ablity problem (SAT). SAT is the classic problem of determining whether or not a propositional formula has a satisfying truth assignment. It …
Principles and Practice of Constraint Programming - CP 2001
7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings
Av Toby Walsh
Häftad, 2001
1130 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 7th International Conference on Principles and Practice of Constraint Programming, CP 2001, held in Paphos, Cyprus, in November/December 2001.The 37 revised full papers, 9 innovative applications presentations, and 14 short papers presented were …
Abstraction, Reformulation, and Approximation
4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26-29, 2000 Proceedings
Av Toby Walsh, Berthe Y. Choueiry
E-bok, 2003
755 kr
Lägg i varukorg
This volume contains the proceedings of SARA 2000, the fourth Symposium on Abstraction, Reformulations, and Approximation (SARA). The conference was held at Horseshoe Bay Resort and Conference Club, Lake LBJ, Texas, July 26– 29, 2000, just prior to the AAAI 2000 conference in Austin. Previous SARA …
Principles and Practice of Constraint Programming - CP 2001
7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings
Av Toby Walsh
E-bok, 2003
1502 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 7th International Conference on Principles and Practice of Constraint Programming, CP 2001, held in Paphos, Cyprus, in November/December 2001. The 37 revised full papers, 9 innovative applications presentations, and 14 short papers presented …
Abstraction, Reformulation, and Approximation
4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26-29, 2000 Proceedings
Av Berthe Y. Choueiry, Toby Walsh
Häftad, 2000
569 kr
Lägg i varukorg
This volume contains the proceedings of SARA 2000, the fourth Symposium on Abstraction, Reformulations, and Approximation (SARA). The conference was held at Horseshoe Bay Resort and Conference Club, Lake LBJ, Texas, July 26– 29, 2000, just prior to the AAAI 2000 conference in Austin. Previous SARA …
