David H. D. Warren
   HOME
*





David H. D. Warren
David H. D. Warren is a computer scientist who worked primarily on logic programming and in particular the programming language Prolog in the 1970s and 1980s. Warren wrote the first compiler for Prolog, and the Warren Abstract Machine execution environment for Prolog is named after him. Early life and education Warren received a Ph.D. in artificial intelligence from the University of Edinburgh in 1977 under advisor Robert Kowalski, and (a second advisor) Donald Michie. Career Warren worked for the Artificial Intelligence Center at SRI International in the 1980s. He founded the company Quintus Computer Systems in 1983 with William Kornfeld, Lawrence Byrd, Fernando Pereira and Cuthbert Hurd to commercialize the Prolog compiler. Quintus was sold to Intergraph Corporation in 1989. He has also held an academic position at the University of Bristol , mottoeng = earningpromotes one's innate power (from Horace, ''Ode 4.4'') , established = 1595 †...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

People Of The United States
Americans are the citizens and nationals of the United States of America.; ; Although direct citizens and nationals make up the majority of Americans, many dual citizens, expatriates, and permanent residents could also legally claim American nationality. The United States is home to people of many racial and ethnic origins; consequently, American culture and law do not equate nationality with race or ethnicity, but with citizenship and an oath of permanent allegiance. Overview The majority of Americans or their ancestors immigrated to the United States or are descended from people who were brought as slaves within the past five centuries, with the exception of the Native American population and people from Hawaii, Puerto Rico, Guam, and the Philippine Islands, who became American through expansion of the country in the 19th century, additionally America expanded into American Samoa, the U.S. Virgin Islands and Northern Mariana Islands in the 20th centu ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

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 G ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Logic Programming Researchers
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premises in a topic-neutral way. When used as a countable noun, the term "a logic" refers to a logical formal system that articulates a proof system. Formal logic contrasts with informal logic, which is associated with informal fallacies, critical thinking, and argumentation theory. While there is no general agreement on how formal and informal logic are to be distinguished, one prominent approach associates their difference with whether the studied arguments are expressed in formal or informal languages. Logic plays a central role in multiple fields, such as philosophy, mathematics, computer science, and linguistics. Logic studies arguments, which consist of a set of premises together with a conclusion. Premises and conclusions are usually ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

SRI International People
Shri (; , ) is a Sanskrit term denoting resplendence, wealth and prosperity, primarily used as an honorific. The word is widely used in South and Southeast Asian languages such as Marathi, Malay (including Indonesian and Malaysian), Javanese, Balinese, Sinhala, Thai, Tamil, Telugu, Hindi, Nepali, Malayalam, Kannada, Sanskrit, Pali, Khmer, and also among Philippine languages. It is usually transliterated as ''Sri'', ''Sree'', ''Shri'', Shiri, Shree, ''Si'', or ''Seri'' based on the local convention for transliteration. The term is used in Indian subcontinent and Southeast Asia as a polite form of address equivalent to the English "Mr." in written and spoken language, but also as a title of veneration for deities or as honorific title for local rulers. Shri is also another name for Lakshmi, the Hindu goddess of wealth, while a '' yantra'' or a mystical diagram popularly used to worship her is called Shri Yantra. Etymology Monier-Williams Dictionary gives the m ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


British Computer Scientists
British may refer to: Peoples, culture, and language * British people, nationals or natives of the United Kingdom, British Overseas Territories, and Crown Dependencies. ** Britishness, the British identity and common culture * British English, the English language as spoken and written in the United Kingdom or, more broadly, throughout the British Isles * Celtic Britons, an ancient ethno-linguistic group * Brittonic languages, a branch of the Insular Celtic language family (formerly called British) ** Common Brittonic, an ancient language Other uses *'' Brit(ish)'', a 2018 memoir by Afua Hirsch *People or things associated with: ** Great Britain, an island ** United Kingdom, a sovereign state ** Kingdom of Great Britain (1707–1800) ** United Kingdom of Great Britain and Ireland (1801–1922) See also * Terminology of the British Isles * Alternative names for the British * English (other) * Britannic (other) * British Isles * Brit (other) * ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Alumni Of The University Of Edinburgh
This is a list of notable graduates as well as non-graduate former students, academic staff, and university officials of the University of Edinburgh in Scotland. It also includes those who may be considered alumni by extension, having studied at institutions that later merged with the University of Edinburgh. The university is associated with 19 Nobel Prize laureates, three Turing Award winners, an Abel Prize laureate and Fields Medallist, four Pulitzer Prize winners, three Prime Ministers of the United Kingdom, and several Olympic gold medallists. Government and politics Heads of state and government United Kingdom Cabinet and Party Leaders Scottish Cabinet and Party Leaders Current Members of the House of Commons * Wendy Chamberlain, MP for North East Fife * Joanna Cherry, MP for Edinburgh South West * Colin Clark, MP for Gordon * Anneliese Dodds, MP for Oxford East * Kate Green, MP for Stretford and Urmston * John Howell, MP for Henley * Neil Hud ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Living People
Related categories * :Year of birth missing (living people) / :Year of birth unknown * :Date of birth missing (living people) / :Date of birth unknown * :Place of birth missing (living people) / :Place of birth unknown * :Year of death missing / :Year of death unknown * :Date of death missing / :Date of death unknown * :Place of death missing / :Place of death unknown * :Missing middle or first names See also * :Dead people * :Template:L, which generates this category or death years, and birth year and sort keys. : {{DEFAULTSORT:Living people 21st-century people People by status ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


IEEE
The Institute of Electrical and Electronics Engineers (IEEE) is a 501(c)(3) professional association for electronic engineering and electrical engineering (and associated disciplines) with its corporate office in New York City and its operations center in Piscataway, New Jersey. The mission of the IEEE is ''advancing technology for the benefit of humanity''. The IEEE was formed from the amalgamation of the American Institute of Electrical Engineers and the Institute of Radio Engineers in 1963. Due to its expansion of scope into so many related fields, it is simply referred to by the letters I-E-E-E (pronounced I-triple-E), except on legal business documents. , it is the world's largest association of technical professionals with more than 423,000 members in over 160 countries around the world. Its objectives are the educational and technical advancement of electrical and electronic engineering, telecommunications, computer engineering and similar disciplines. History Or ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Intergraph Corporation
Intergraph Corporation was an American software development and services company, which now forms part of Hexagon AB. It provides enterprise engineering and geospatially powered software to businesses, governments, and organizations around the world, and operates through three divisions: Hexagon Asset Lifecycle Intelligence (ALI, formerly PPM), Hexagon Safety & Infrastructure, and Hexagon Geospatial. The company's headquarters is in Madison, Alabama, United States. In 2008, Intergraph was one of the one hundred largest software companies in the world. In July 2010, Intergraph was acquired by Hexagon AB. History Intergraph was founded in 1969 as M&S Computing, Inc., by former IBM engineers Jim Meadlock, his wife Nancy, Terry Schansman (the S of M&S), Keith Schonrock, and Robert Thurber who had been working with NASA and the U.S. Army in developing systems that would apply digital computing to real time missile guidance. The company was later renamed to ''Intergraph Corporatio ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Cuthbert Hurd
Cuthbert Corwin Hurd (April 5, 1911 – May 22, 1996) was an American computer scientist and entrepreneur, who was instrumental in helping the International Business Machines Corporation develop its first general-purpose computers. Life Hurd was born April 5, 1911, in Estherville, Iowa. He received his B.A. in mathematics from Drake University in 1932, his M.S. in mathematics from Iowa State College in 1934, and his Ph.D. in mathematics from the University of Illinois in 1936. Waldemar Joseph Trjitzinsky was his advisor, and dissertation was ''Asymptotic theory of linear differential equations singular in the variable of differentiation and in a parameter''. He did post-doctorate work at Columbia University and the Massachusetts Institute of Technology (MIT). He was assistant professor at Michigan State University from 1936 to 1942. During World War II Hurd taught at the US Coast Guard Academy with the rank of Lieutenant Commander, and co-authored the textbook for teachin ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Artificial Intelligence Center
The Artificial Intelligence Center is a laboratory in the Information and Computing Sciences Division of SRI International. It was founded in 1966 by Charles Rosen and studies artificial intelligence. One of their early projects was Shakey the Robot, the first general-purpose mobile robot. More recently, the center funded early development of CALO and Siri Siri ( ) is a virtual assistant that is part of Apple Inc.'s iOS, iPadOS, watchOS, macOS, tvOS, and audioOS operating systems. It uses voice queries, gesture based control, focus-tracking and a natural-language user interface to answer qu .... The center has also provided the military with various technology. See also * Augmentation Research Center References External links SRI International Artificial intelligence laboratories {{compu-AI-stub ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Doctor Of Philosophy
A Doctor of Philosophy (PhD, Ph.D., or DPhil; Latin: or ') is the most common degree at the highest academic level awarded following a course of study. PhDs are awarded for programs across the whole breadth of academic fields. Because it is an earned research degree, those studying for a PhD are required to produce original research that expands the boundaries of knowledge, normally in the form of a dissertation, and defend their work before a panel of other experts in the field. The completion of a PhD is often a requirement for employment as a university professor, researcher, or scientist in many fields. Individuals who have earned a Doctor of Philosophy degree may, in many jurisdictions, use the title ''Doctor'' (often abbreviated "Dr" or "Dr.") with their name, although the proper etiquette associated with this usage may also be subject to the professional ethics of their own scholarly field, culture, or society. Those who teach at universities or work in academic, edu ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]