Toby Walsh

Toby Walsh is a British computer scientist who is Chief Scientist at UNSW.ai, the AI Institute of UNSW Sydney. He is a Laureate fellow, and professor of artificial intelligence in the UNSW School of Computer Science and Engineering at the University of New South Wales and Data61 (formerly NICTA). He has served as Scientific Director of NICTA, Australia's centre of excellence for ICT research. He is noted for his work in artificial intelligence, especially in the areas of social choice, constraint programming and propositional satisfiability. He has served on the Executive Council of the Association for the Advancement of Artificial Intelligence. Provided by Wikipedia
Showing 1 - 20 results of 24 for search 'Walsh, Toby', query time: 0.04s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    2062 das Jahr, in dem die künstliche Intelligenz uns ebenbürtig sein wird

    2062 das Jahr, in dem die künstliche Intelligenz uns ebenbürtig sein wird by Walsh, Toby 1964-

    Published 2019
    Indexes
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    It's alive wie künstliche Intelligenz unser Leben verändern wird

    It's alive wie künstliche Intelligenz unser Leben verändern wird by Walsh, Toby 1964-

    Published 2018
    Description
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    It's alive wie künstliche Intelligenz unser Leben verändern wird

    It's alive wie künstliche Intelligenz unser Leben verändern wird by Walsh, Toby 1964-

    Published 2018
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Machines that think the future of artificial intelligence

    Machines that think the future of artificial intelligence by Walsh, Toby

    Published 2018
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Android dreams the past, present and future of artificial intelligence

    Android dreams the past, present and future of artificial intelligence by Walsh, Toby 1964-

    Published 2017
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    The SAT phase transition

    The SAT phase transition by Gent, Ian P., Walsh, Toby

    Published 1994
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    The hardest random SAT problems

    The hardest random SAT problems by Gent, Ian P., Walsh, Toby

    Published 1994
    Book Interlibrary loan Place Request


    Saved in:
  8. 8
    Towards an understanding of hill-climbing procedures for SAT

    Towards an understanding of hill-climbing procedures for SAT by Gent, Ian P., Walsh, Toby

    Published 1993
    Book Interlibrary loan Place Request


    Saved in:
  9. 9
    Easy problems are sometimes hard

    Easy problems are sometimes hard by Gent, Ian P., Walsh, Toby

    Published 1993
    Book Interlibrary loan Place Request


    Saved in:
  10. 10
    Abstract theorem proving: mapping back

    Abstract theorem proving: mapping back by Giunchiglia, Fausto, Walsh, Toby

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:
  11. 11
    Using abstraction

    Using abstraction by Giunchiglia, Fausto, Walsh, Toby

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:
  12. 12
    A theory of abstraction

    A theory of abstraction by Giunchiglia, Fausto, Walsh, Toby

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:
  13. 13
    Machines Behaving Badly the Morality of AI

    Machines Behaving Badly the Morality of AI by Walsh, Toby 1964-

    Published 2022
    Book Interlibrary loan Place Request


    Saved in:
  14. 14
    Difference matching

    Difference matching by Basin, David A., Walsh, Toby

    Published 1991
    Book Interlibrary loan Place Request


    Saved in:
  15. 15
    Building abstractions

    Building abstractions by Bundy, Alan, Giunchiglia, Fausto, Walsh, Toby

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:
  16. 16
    Abstracting into inconsistent spaces (or, the "false proof" problem

    Abstracting into inconsistent spaces (or, the "false proof" problem by Giunchiglia, Fausto, Walsh, Toby

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:
  17. 17
    Machines behaving badly the morality of AI

    Machines behaving badly the morality of AI by Walsh, Toby 1964-

    Published 2022
    Book Interlibrary loan Place Request


    Saved in:
  18. 18
    The satisfiability constraint gap

    The satisfiability constraint gap by Gent, Ian P., Walsh, Toby

    Published 1994
    Book Interlibrary loan Place Request


    Saved in:
  19. 19
    How not to do it

    How not to do it by Gent, Ian P., Walsh, Toby

    Published 1994
    Book Interlibrary loan Place Request


    Saved in:
  20. 20
    Computational phase transitions in real problems

    Computational phase transitions in real problems by Gent, Ian P., Walsh, Toby

    Published 1994
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: