Toby Walsh
mini|Toby Walsh Toby Walsh (* 11. April 1964 in England) ist ein britisch-australischer Informatiker, der auf dem Gebiet Künstliche Intelligenz forscht und publiziert. Schwerpunkte seiner Forschung sind Gruppenentscheidungen, Constraintprogrammierung, und das Erfüllbarkeitsproblem der Aussagenlogik. Seit 2016 ist er ''Scientia Professor of Artificial Intelligence'' an der University of New South Wales in Sydney, Australien. Außerdem arbeitet er an dem Projekt ''Data61'' innerhalb der australischen Forschungsorganisation Commonwealth Scientific and Industrial Research Organisation (CSIRO) mit. Von 2016 bis Anfang 2020 war er Leiter des ''AMPLify Project'' am Institut für Softwaretechnik und Theoretische Informatik der Technische Universität Berlin. Im Juli 2020 erhielt Walsh ein ''Australian Laureate Fellowship'' für ein großangelegtes Forschungsprojekt über das vertrauenswürdige Design von KI-Systemen.Seit 2017 veröffentlicht er populärwissenschaftliche Bücher über Künstliche Intelligenz, die auch ins Deutsch übersetzt werden. Veröffentlicht in Wikipedia
Treffer 1 - 20 von 25 für Suche 'Walsh, Toby', Suchdauer: 0,64s
Treffer weiter einschränken
-
1
Machines Behaving Badly the Morality of AI von Walsh, Toby 1964-
Veröffentlicht 2022Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
2
Difference matching von Basin, David A., Walsh, Toby
Veröffentlicht 1991Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
3
Building abstractions von Bundy, Alan, Giunchiglia, Fausto, Walsh, Toby
Veröffentlicht 1990Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
4
Abstracting into inconsistent spaces (or, the "false proof" problem von Giunchiglia, Fausto, Walsh, Toby
Veröffentlicht 1990Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
5
2062 das Jahr, in dem die künstliche Intelligenz uns ebenbürtig sein wird von Walsh, Toby 1964-
Veröffentlicht 2019Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Inhaltsverzeichnis
Buch -
6
It's alive wie künstliche Intelligenz unser Leben verändern wird von Walsh, Toby 1964-
Veröffentlicht 2018Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
7
It's alive wie künstliche Intelligenz unser Leben verändern wird von Walsh, Toby 1964-
Veröffentlicht 2018Signatur: Wird geladen …Inhaltstext
Standort: Wird geladen …
Inhaltsverzeichnis
Buch -
8
Machines that think the future of artificial intelligence von Walsh, Toby
Veröffentlicht 2018Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch -
9
Android dreams the past, present and future of artificial intelligence von Walsh, Toby 1964-
Veröffentlicht 2017Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
10
The SAT phase transition von Gent, Ian P., Walsh, Toby
Veröffentlicht 1994Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
11
The hardest random SAT problems von Gent, Ian P., Walsh, Toby
Veröffentlicht 1994Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
12
Towards an understanding of hill-climbing procedures for SAT von Gent, Ian P., Walsh, Toby
Veröffentlicht 1993Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
13
Easy problems are sometimes hard von Gent, Ian P., Walsh, Toby
Veröffentlicht 1993Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
14
Abstract theorem proving: mapping back von Giunchiglia, Fausto, Walsh, Toby
Veröffentlicht 1990Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
15
Using abstraction von Giunchiglia, Fausto, Walsh, Toby
Veröffentlicht 1990Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
16
A theory of abstraction von Giunchiglia, Fausto, Walsh, Toby
Veröffentlicht 1990Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
17
Machines behaving badly the morality of AI von Walsh, Toby 1964-
Veröffentlicht 2022Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
18
The satisfiability constraint gap von Gent, Ian P., Walsh, Toby
Veröffentlicht 1994Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
19
How not to do it von Gent, Ian P., Walsh, Toby
Veröffentlicht 1994Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
20
Computational phase transitions in real problems von Gent, Ian P., Walsh, Toby
Veröffentlicht 1994Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen …
Suchwerkzeuge:
Ähnliche Schlagworte
Künstliche Intelligenz
Computer software
Artificial intelligence
Mathematics
Mathematik
Automatic theorem proving
Zukunft
Bionics and artificial intelligence
Informatik
Technischer Fortschritt
Autonomes Fahrzeug
Computer
Maschine
Prognose
Roboter
Smartphone
Technik
Applied statistics, operational research
Erfüllbarkeitsproblem
Konferenzschrift
Abstraction
Agent Informatik
Algebra, Boolean Congresses
Algorithmus
Anwendung
Artificial Intelligence (incl. Robotics)
Artificial intelligence Forecasting Popular works
Artificial intelligence Popular works
BUSINESS & ECONOMICS / Industries / Computer Industry
BUSINESS & ECONOMICS / Industries / Computer Industry / bisacsh