Walsh, Toby
Walsh, Toby, 1964-....
Toby Walsh
VIAF ID: 66783291 ( Personal )
Permalink: http://viaf.org/viaf/66783291
Preferred Forms
- 100 0 _ ‡a Toby Walsh
- 200 _ | ‡a Walsh ‡b Toby
-
- 100 1 _ ‡a Walsh, Toby
-
-
-
- 100 1 _ ‡a Walsh, Toby
- 100 1 _ ‡a Walsh, Toby ‡d 1964-
- 100 1 _ ‡a Walsh, Toby ‡d 1964-
- 100 1 _ ‡a Walsh, Toby ‡d 1964-...
-
- 100 1 _ ‡a Walsh, Toby, ‡d 1964-....
4xx's: Alternate Name Forms (9)
5xx's: Related Names (2)
- 551 _ _ ‡a Sydney ‡4 ortw ‡4 https://d-nb.info/standards/elementset/gnd#placeOfActivity
- 510 2 _ ‡a University of New South Wales ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
Works
Title | Sources |
---|---|
2062 | |
2062 : the World That AI Made | |
2062 호모 사피엔스의 멸종 우리는 어디로 가야 하나 | |
3rd workshop on modelling and solving problems with constraints : ECAI 2002 Workshop : collected papers | |
Abstraction, reformulation, and approximation : 4th international symposium, SARA 2000, Horseshoe Bay, USA, July 26-29, 2000 : proceedings | |
Algorithmic Decision Theory : 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings | |
CP 2001 | |
Handbook of constraint programming | |
IJCAI-11 : proceedings of the twenty-second International Joint Conference on Artificial Intelligence : Barcelona, Catalonia, Spain, 16-22 July 2011 | |
It's alive ! : artificial intelligence from the logic piano to killer robots | |
It's alive Wie künstliche Intelligenz unser Leben verändern wird | |
Machines behaving badly : the morality of AI | |
Machines that think : the future of artificial intelligence | |
Probabilistic approaches in search : papers | |
Proof by induction in sequent calculus modulo. | |
Saenggak haneun gigye | |
SAT 2005 | |
Sat2000 : highlights of satisfiability research in the year 2000 | |
A short introduction to preferences : between artificial intelligence and social choice | |
Solving AI problems with satisfiability : Tutorial D4 : Sixteenth International Joint Conference on Artificial Intelligence : July 31-August 6, 1999, Stockholm, Sweden | |
Theory and applications of satisfiability testing : 8th international conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings | |
Zweitausendzweiundsechzig | |
생각하는 기계 AI의 미래 |