|
IJCAI Award For Research Excellence
The IJCAI Award for Research Excellence is a biannual award before given at the IJCAI conference to researcher in artificial intelligence as a recognition of excellence of their career. Beginning in 2016, the conference is held annually and so is the award. Laureates The recipients of this award have been: * John McCarthy (1985) * Allen Newell (1989) * Marvin Minsky (1991) * Raymond Reiter (1993) * Herbert A. Simon (1995) * Aravind Joshi (1997) * Judea Pearl (1999) * Donald Michie (2001) * Nils Nilsson (2003) * Geoffrey E. Hinton (2005) * Alan Bundy (2007) * Victor R. Lesser (2009) * Robert Kowalski (2011) * Hector Levesque (2013) * Barbara Grosz (2015) : ''for her pioneering research in Natural Language Processing and in theories and applications of Multiagent Collaboration.'' * Michael I. Jordan (2016) : ''for his groundbreaking and impactful research in both the theory and application of statistical machine learning.'' * Andrew Barto (2017) : ''for his pioneering work i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
IJCAI
The International Joint Conference on Artificial Intelligence (IJCAI) is the leading conference in the field of Artificial Intelligence. The conference series has been organized by the nonprofit IJCAI Organization since 1969, making it the oldest premier AI conference series in the world.Jointly sponsored by the IJCAI Organization and the hosting national AI societies. It was held biennially in odd-numbered years from 1969 to 2015 and annually starting from 2016. More recently, IJCAI was held jointly every four years with ECAI since 2018 and PRICAI since 2020 to promote collaboration of AI researchers and practitioners. IJCAI covers a broad range of research areas in the field of AI. It is a large and highly selective conference, with only about 20% or less of the submitted papers to be accepted after peer review in 5 years leading to 2022. Lower acceptance rate usually means better quality papers and higher reputation conference. Awards Three research awards are given at each I ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Alan Bundy
Alan Richard Bundy is a professor at the School of Informatics at the University of Edinburgh,http://homepages.inf.ed.ac.uk/bundy/ Professor Alan Bundy's website known for his contributions to automated reasoning, especially to proof planning, the use of meta-level reasoning to guide proof search. Education Alan Bundy was educated as a mathematician, obtaining an honours degree in mathematics in 1968 from the University of Leicester and a PhD in mathematical logic in 1971, also from Leicester. Career and research Since 1971, Bundy has worked at the University of Edinburgh: initially in the 'Metamathematics' Unit, which in 1972 became the Department of Computational Logic, in 1974 was absorbed into the new Department of Artificial Intelligence, and in 1998 was absorbed into the new School of Informatics. From 1971 to 1973, he was a research fellow on Prof. B. Meltzer's Science and Engineering Research Council (SERC) grant ''Theorem Proving by Computer''; in 1973, he was ap ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
List Of Computer Science Awards
This list of computer science awards is an index to articles on notable awards related to computer science. It includes lists of awards by the Association for Computing Machinery, the Institute of Electrical and Electronics Engineers, other computer science and information science awards, and a list of computer science competitions. The top computer science award is the ACM Turing Award, generally regarded as the Nobel Prize equivalent for Computer Science. Other highly regarded top computer science awards include IEEE John von Neumann Medal awarded by the IEEE Board of Directors, and the Japan Kyoto Prize for Information Science. Association for Computing Machinery The Association for Computing Machinery (ACM) gives out many computer science awards, often run by one of their Special Interest Groups. IEEE A number of awards are given by the Institute of Electrical and Electronics Engineers (IEEE), the IEEE Computer Society or the IEEE Information Theory Society. Other comput ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Geoffrey Hinton
Geoffrey Everest Hinton One or more of the preceding sentences incorporates text from the royalsociety.org website where: (born 6 December 1947) is a British-Canadian cognitive psychologist and computer scientist, most noted for his work on artificial neural networks. Since 2013, he has divided his time working for Google (Google Brain) and the University of Toronto. In 2017, he co-founded and became the Chief Scientific Advisor of the Vector Institute in Toronto. With David Rumelhart and Ronald J. Williams, Hinton was co-author of a highly cited paper published in 1986 that popularized the backpropagation algorithm for training multi-layer neural networks, although they were not the first to propose the approach. Hinton is viewed as a leading figure in the deep learning community. The dramatic image-recognition milestone of the AlexNet designed in collaboration with his students Alex Krizhevsky and Ilya Sutskever for the ImageNet challenge 2012 was a breakthrough in the fie ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Andrew Barto
Andrew G. Barto (born 1948) is an American computer scientist, currently Professor Emeritus of computer science at University of Massachusetts Amherst. Barto is best known for his foundational contributions to the field of modern computational reinforcement learning. Early life and education Barto received his B.S. with distinction in mathematics from the University of Michigan in 1970, after having initially majored in naval architecture and engineering. After reading work by Michael Arbib and McCulloch and Pitts he became interested in using computers and mathematics to model the brain, and five years later was awarded a Ph.D. in computer science for a thesis on cellular automata. Career In 1977, Barto joined the College of Information and Computer Sciences at the University of Massachusetts Amherst as a postdoctoral research associate, was promoted to associate professor in 1982, and full professor in 1991. He was department chair from 2007 to 2011 and a core faculty m ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Michael I
Michael I may refer to: * Pope Michael I of Alexandria, Coptic Pope of Alexandria and Patriarch of the See of St. Mark in 743–767 * Michael I Rhangabes, Byzantine Emperor (died in 844) * Michael I Cerularius, Patriarch Michael I of Constantinople (c. 1000–1059) * Michael I of Duklja, Prince and King of Duklja and (d. 1081) * Mikhail of Vladimir (died in 1176) * Michael I Komnenos Doukas (died in 1215) * Michael I of Russia (1596–1645) * Michael I of Poland (Michał Korybut Wiśniowiecki), King of Poland and Grand Duke of Lithuania (1640-1673) * Michael of Portugal (1802–1866) * Michael I of Serbia (1823–1868) * Michael Cseszneky de Milvany, Michael I of Macedonia (1910–1975) * Michael I of Romania (1921–2017) * Michael I, regnal name of conclavist antipope David Bawden (born 1959) See also * Michael (other) Michael may refer to: People * Michael (given name), a given name * Michael (surname), including a list of people with the surname Michael Given na ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Barbara J
Barbara may refer to: People * Barbara (given name) * Barbara (painter) (1915–2002), pseudonym of Olga Biglieri, Italian futurist painter * Barbara (singer) (1930–1997), French singer * Barbara Popović (born 2000), also known mononymously as Barbara, Macedonian singer * Bárbara (footballer) (born 1988), Brazilian footballer Film and television * ''Barbara'' (1961 film), a West German film * ''Bárbara'' (film), a 1980 Argentine film * ''Barbara'' (1997 film), a Danish film directed by Nils Malmros, based on Jacobsen's novel * ''Barbara'' (2012 film), a German film * ''Barbara'' (2017 film), a French film * ''Barbara'' (TV series), a British sitcom Places * Barbara (Paris Métro), a metro station in Montrouge and Bagneux, France * Barbaria (region), or al-Barbara, an ancient region in Northeast Africa * Barbara, Arkansas, U.S. * Barbara, Gaza, a former Palestinian village near Gaza * Barbara, Marche, a town in Italy * Berbara, or al-Barbara, Lebanon * Berbara, Akkar D ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hector Levesque
Hector Joseph Levesque (born 1951) is a Canadian academic and researcher in artificial intelligence. His research concerns incorporating commonsense reasoning in intelligent systems and he initiated the Winograd Schemas Challenge. Education He received his BSc, MSc and PhD from the University of Toronto in 1975, 1977, and 1981, respectively. His PhD advisor was John Mylopoulos. After graduation, he accepted a position at the Fairchild Laboratory for Artificial Intelligence Research in Palo Alto, and then joined the faculty at the University of Toronto where he has remained since 1984. Career His research is in the area of knowledge representation and reasoning in artificial intelligence. On the representation side, he has worked on the formalization of a number of concepts pertaining to artificial and natural agents including belief, goals, intentions, ability, and the interaction between knowledge, perception and action. On the reasoning side, his research mainly concerns how ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Robert Kowalski
Robert Anthony Kowalski (born 15 May 1941) is an American-British logician and computer scientist, whose research is concerned with developing both human-oriented models of computing and computational models of human thinking. He has spent most of his career in the United Kingdom. Education He was educated at the University of Chicago, University of Bridgeport (BA in mathematics, 1963), Stanford University (MSc in mathematics, 1966), University of Warsaw and the University of Edinburgh (PhD in computer science, 1970). Career He was a research fellow at the University of Edinburgh (1970–75) and has been at the Department of Computing, Imperial College London since 1975, attaining a chair in Computational logic in 1982 and becoming Emeritus Professor in 1999. He began his research in the field of automated theorem proving, developing both SL-resolution with Donald Kuehner and the connection graph proof procedure. He developed SLD resolution and the procedural interpretatio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Victor R
The name Victor or Viktor may refer to: * Victor (name), including a list of people with the given name, mononym, or surname Arts and entertainment Film * ''Victor'' (1951 film), a French drama film * ''Victor'' (1993 film), a French short film * ''Victor'' (2008 film), a 2008 TV film about Canadian swimmer Victor Davis * ''Victor'' (2009 film), a French comedy * ''Victor'', a 2017 film about Victor Torres by Brandon Dickerson * ''Viktor'' (film), a 2014 Franco/Russian film Music * ''Victor'' (album), a 1996 album by Alex Lifeson * "Victor", a song from the 1979 album ''Eat to the Beat'' by Blondie Businesses * Victor Talking Machine Company, early 20th century American recording company, forerunner of RCA Records * Victor Company of Japan, usually known as JVC, a Japanese electronics corporation originally a subsidiary of the Victor Talking Machine Company ** Victor Entertainment, or JVCKenwood Victor Entertainment, a Japanese record label ** Victor Interactive So ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Geoffrey E
Geoffrey, Geoffroy, Geoff, etc., may refer to: People * Geoffrey (name), including a list of people with the name * Geoffroy (surname), including a list of people with the name * Geoffrey of Monmouth (c. 1095–c. 1155), clergyman and one of the major figures in the development of British history * Geoffrey I of Anjou (died 987) * Geoffrey II of Anjou (died 1060) * Geoffrey III of Anjou (died 1096) * Geoffrey IV of Anjou (died 1106) * Geoffrey V, Count of Anjou (1113–1151), father of King Henry II of England * Geoffrey II, Duke of Brittany (1158–1186), one of Henry II's sons * Geoffrey, Archbishop of York (c. 1152–1212) * Geoffroy du Breuil of Vigeois, 12th century French chronicler * Geoffroy de Charney (died 1314), Preceptor of the Knights Templar * Geoffroy IV de la Tour Landry (c. 1320–1391), French nobleman and writer * Geoffrey the Baker (died c. 1360), English historian and chronicler * Geoffroy (musician) (born 1987), Canadian singer, songwriter and multi-instrume ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Artificial Intelligence
Artificial intelligence (AI) is intelligence—perceiving, synthesizing, and inferring information—demonstrated by machines, as opposed to intelligence displayed by animals and humans. Example tasks in which this is done include speech recognition, computer vision, translation between (natural) languages, as well as other mappings of inputs. The ''Oxford English Dictionary'' of Oxford University Press defines artificial intelligence as: the theory and development of computer systems able to perform tasks that normally require human intelligence, such as visual perception, speech recognition, decision-making, and translation between languages. AI applications include advanced web search engines (e.g., Google), recommendation systems (used by YouTube, Amazon and Netflix), understanding human speech (such as Siri and Alexa), self-driving cars (e.g., Tesla), automated decision-making and competing at the highest level in strategic game systems (such as chess and Go). ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
