Bernard Meltzer (computer scientist)
http://dbpedia.org/resource/Bernard_Meltzer_(computer_scientist) an entity of type: Thing
Bernard Meltzer (born in 1916 in South Africa; died on 4 July 2008) was a British computer scientist, who with Donald Michie was one of the main founders of research on artificial intelligence at the University of Edinburgh. With Donald Michie he published the series Machine Intelligence (Volumes 4 to 7) from 1969 to 1972. In 1979 he received the first .
rdf:langString
Bernard Meltzer (* 1916 in Südafrika; † 4. Juli 2008) war ein britischer Informatiker und mit Donald Michie Begründer des Schwerpunkts Künstliche Intelligenz an der Universität Edinburgh. Meltzer studierte Physik an der Universität Kapstadt mit dem Bachelor-Abschluss 1934, war kurz Demonstrator für Physik in Kapstadt und emigrierte dann nach Großbritannien, wo er für die Marconi Company und nach dem Beginn des Zweiten Weltkriegs für das Telecommunications Research Establishment am Radar forschte. 1941 meldete er sich zur Royal Air Force Volunteer Reserve und unterrichtete ab 1943 an der Universität Aberdeen Militärangehörige in Radar und Elektronik. Nach dem Krieg ging er in die Industrie (Mullard’s Radio Valve Company, ab 1949 in den Forschungslaboratorien von EMI). 1953 wurde er an der U
rdf:langString
rdf:langString
Bernard Meltzer (Informatiker)
rdf:langString
Bernard Meltzer (computer scientist)
rdf:langString
Bernard Meltzer
rdf:langString
Bernard Meltzer
xsd:date
2008-07-04
xsd:integer
67785679
xsd:integer
1115917270
xsd:integer
1916
xsd:date
2008-07-04
rdf:langString
Bernard Meltzer (* 1916 in Südafrika; † 4. Juli 2008) war ein britischer Informatiker und mit Donald Michie Begründer des Schwerpunkts Künstliche Intelligenz an der Universität Edinburgh. Meltzer studierte Physik an der Universität Kapstadt mit dem Bachelor-Abschluss 1934, war kurz Demonstrator für Physik in Kapstadt und emigrierte dann nach Großbritannien, wo er für die Marconi Company und nach dem Beginn des Zweiten Weltkriegs für das Telecommunications Research Establishment am Radar forschte. 1941 meldete er sich zur Royal Air Force Volunteer Reserve und unterrichtete ab 1943 an der Universität Aberdeen Militärangehörige in Radar und Elektronik. Nach dem Krieg ging er in die Industrie (Mullard’s Radio Valve Company, ab 1949 in den Forschungslaboratorien von EMI). 1953 wurde er an der Universität London in mathematischer Physik bei Reinhold Fürth (1893–1979) promoviert. 1955 wurde er Lecturer und später Reader in der Abteilung Elektrotechnik der Universität Edinburgh und forschte in Elektronik (sowohl Halbleiter als auch Röhren). Seine Forschung über Ionenantrieb führten zu einer Einladung der NASA 1962 an die Stanford University. Er hatte aber auch ein altes Interesse in mathematischer Logik und begann sich mit Informatik und Künstlicher Intelligenz zu befassen. 1964/65 war er deshalb am Atlas Computer Laboratory des Science Research Council und gründete danach die Metamathematics Unit an der Universität Edinburgh. Schwerpunkt war automatisches Beweismethoden. 1972 erhielt er einen Lehrstuhl für Computational Logic (entsprechend dem neuen Namen der Abteilung) und 1974 bis 1977 war er Leiter der nunmehrigen Abteilung für Künstliche Intelligenz. 1978 wurde er emeritiert. Edinburgh wurde unter ihm und Donald Michie zu einem Zentrum der Künstlichen Intelligenz mit Wissenschaftlern wie Robert Kowalski (der dort Anfang der 1970er Jahre einer der Begründer der Logikprogrammierung war) und Alan Bundy. J. Strother Moore (der dort 1973 promovierte), Robert S. Boyer (Gastwissenschaftler 1971 bis 1973) und Pat Hayes (wie Robert Kowalski sein Doktorand). Mit Donald Michie gab er 1969 bis 1972 die Reihe Machine Intelligence (Bände 4 bis 7) heraus. 1979 erhielt er den ersten Donald E. Walker Distinguished Service Award.
rdf:langString
Bernard Meltzer (born in 1916 in South Africa; died on 4 July 2008) was a British computer scientist, who with Donald Michie was one of the main founders of research on artificial intelligence at the University of Edinburgh. Meltzer studied physics at the University of Cape Town with a bachelor's degree in 1934, and was briefly a physics demonstrator in Cape Town. He emigrated to Great Britain, where he worked for the Marconi Company and, after the start of the Second World War, for the Telecommunications Research Establishment conducting research on radar. In 1941 he enlisted in the Royal Air Force Volunteer Reserve and from 1943 taught radar and electronics to military personnel at the University of Aberdeen. After the war he went into industry (Mullard's Radio Valve Company, from 1949 in the research laboratories of EMI). In 1953 he received his doctorate from the University of London in mathematical physics with Reinhold Furth (1893–1979). In 1955 he became a lecturer and later a reader in the electrical engineering department of the University of Edinburgh, doing research in electronics (both semiconductors and tubes). His research on ion propulsion resulted in an invitation from NASA to Stanford University in 1962. Meltzer also had an interest in mathematical logic and began to work in computer science and artificial intelligence. 1964/65 he worked at the Atlas Computer Laboratory of the Science Research Council and then founded the Metamathematics Unit at the University of Edinburgh. The focus of the Unit was on automatic proof methods. In 1972 he received the chair of Computational Logic (corresponding to the name of the new department, which succeeded the Metamathematics Unit). From 1974 to 1977 he was head of the Department of Artificial Intelligence. In 1978 he retired. Edinburgh became a center of artificial intelligence under him and Donald Michie, with scientists such as Robert Kowalski (who was one of the founders of logic programming in the early 1970s) and Alan Bundy. J Strother Moore (who received his doctorate there in 1973), Robert S. Boyer (visiting scholar 1971 to 1973) and Pat Hayes (like Robert Kowalski, his doctoral student). With Donald Michie he published the series Machine Intelligence (Volumes 4 to 7) from 1969 to 1972. In 1979 he received the first .
xsd:nonNegativeInteger
3436