Veronica Dahl
   HOME
*





Veronica Dahl
Verónica Dahl is an Argentine/Canadian computer scientist, who is recognized as one of the 15 founders of the field of logic programming. Early life Dahl attended college at Buenos Aires University, and graduated from there with a degree in computer science in 1974. As the political conflict in Argentina increased, Dahl attended graduate school in France. In 1977, she was the first graduate at the Université d'Aix-Marseille to receive a doctorate in Artificial Intelligence. Career While involved in the research for her doctorate, Dahl became a pioneer in the field of logic programming, developing both the first logic programming database system, and an (also logic-programmed) front end to consult it in a human language (Spanish). Dahl's research and methodologies became multi-disciplinary including Computational Linguistics, Computational Molecular Biology, and Artificial Intelligence. She became an associate professor at Simon Fraser University in 1982, and became a full ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Argentina
Argentina (), officially the Argentine Republic ( es, link=no, República Argentina), is a country in the southern half of South America. Argentina covers an area of , making it the second-largest country in South America after Brazil, the fourth-largest country in the Americas, and the eighth-largest country in the world. It shares the bulk of the Southern Cone with Chile to the west, and is also bordered by Bolivia and Paraguay to the north, Brazil to the northeast, Uruguay and the South Atlantic Ocean to the east, and the Drake Passage to the south. Argentina is a federal state subdivided into twenty-three provinces, and one autonomous city, which is the federal capital and largest city of the nation, Buenos Aires. The provinces and the capital have their own constitutions, but exist under a federal system. Argentina claims sovereignty over the Falkland Islands, South Georgia and the South Sandwich Islands, and a part of Antarctica. The earliest recorded human presen ...
[...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

Academic Staff Of Simon Fraser University
An academy ( Attic Greek: Ἀκαδήμεια; Koine Greek Ἀκαδημία) is an institution of secondary or tertiary higher learning (and generally also research or honorary membership). The name traces back to Plato's school of philosophy, founded approximately 385 BC at Akademia, a sanctuary of Athena, the goddess of wisdom and skill, north of Athens, Greece. Etymology The word comes from the ''Academy'' in ancient Greece, which derives from the Athenian hero, '' Akademos''. Outside the city walls of Athens, the gymnasium was made famous by Plato as a center of learning. The sacred space, dedicated to the goddess of wisdom, Athena, had formerly been an olive grove, hence the expression "the groves of Academe". In these gardens, the philosopher Plato conversed with followers. Plato developed his sessions into a method of teaching philosophy and in 387 BC, established what is known today as the Old Academy. By extension, ''academia'' has come to mean the accumulatio ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Argentine Women Scientists
Argentines (mistakenly translated Argentineans in the past; in Spanish ( masculine) or ( feminine)) are people identified with the country of Argentina. This connection may be residential, legal, historical or cultural. For most Argentines, several (or all) of these connections exist and are collectively the source of their being ''Argentine''. Argentina is a multiethnic and multilingual society, home to people of various ethnic, religious, and national origins, with the majority of the population made up of Old World immigrants and their descendants. As a result, Argentines do not equate their nationality with ethnicity, but with citizenship and allegiance to Argentina. Aside from the indigenous population, nearly all Argentines or their ancestors immigrated within the past five centuries. Among countries in the world that have received the most immigrants in modern history, Argentina, with 6.6 million, ranks second to the United States (27 million), and ahead of other imm ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Canadian Computer Scientists
Canadians (french: Canadiens) are people identified with the country of Canada. This connection may be residential, legal, historical or cultural. For most Canadians, many (or all) of these connections exist and are collectively the source of their being ''Canadian''. Canada is a multilingual and multicultural society home to people of groups of many different ethnic, religious, and national origins, with the majority of the population made up of Old World immigrants and their descendants. Following the initial period of French and then the much larger British colonization, different waves (or peaks) of immigration and settlement of non-indigenous peoples took place over the course of nearly two centuries and continue today. Elements of Indigenous, French, British, and more recent immigrant customs, languages, and religions have combined to form the culture of Canada, and thus a Canadian identity. Canada has also been strongly influenced by its linguistic, geographic, and ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Argentine Computer Scientists
Argentines (mistakenly translated Argentineans in the past; in Spanish ( masculine) or ( feminine)) are people identified with the country of Argentina. This connection may be residential, legal, historical or cultural. For most Argentines, several (or all) of these connections exist and are collectively the source of their being ''Argentine''. Argentina is a multiethnic and multilingual society, home to people of various ethnic, religious, and national origins, with the majority of the population made up of Old World immigrants and their descendants. As a result, Argentines do not equate their nationality with ethnicity, but with citizenship and allegiance to Argentina. Aside from the indigenous population, nearly all Argentines or their ancestors immigrated within the past five centuries. Among countries in the world that have received the most immigrants in modern history, Argentina, with 6.6 million, ranks second to the United States (27 million), and ahead of other imm ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Argentine Emigrants To Canada
Argentines (mistakenly translated Argentineans in the past; in Spanish ( masculine) or ( feminine)) are people identified with the country of Argentina. This connection may be residential, legal, historical or cultural. For most Argentines, several (or all) of these connections exist and are collectively the source of their being ''Argentine''. Argentina is a multiethnic and multilingual society, home to people of various ethnic, religious, and national origins, with the majority of the population made up of Old World immigrants and their descendants. As a result, Argentines do not equate their nationality with ethnicity, but with citizenship and allegiance to Argentina. Aside from the indigenous population, nearly all Argentines or their ancestors immigrated within the past five centuries. Among countries in the world that have received the most immigrants in modern history, Argentina, with 6.6 million, ranks second to the United States (27 million), and ahead of other imm ...
[...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]  


picture info

Timeline Of Women In Science
This is a timeline of women in science, spanning from ancient history up to the 21st century. While the timeline primarily focuses on women involved with natural sciences such as astronomy, biology, chemistry and physics, it also includes women from the social sciences (e.g. sociology, psychology) and the formal sciences (e.g. mathematics, computer science), as well as notable science educators and medical scientists. The chronological events listed in the timeline relate to both scientific achievements and gender equality within the sciences. Ancient history * 1900 BCE: Aganice, also known as Athyrta, was an Egyptian princess during the Middle Kingdom (about 2000–1700 BCE) working on astronomy and natural philosophy. *c. 1500 BCE: Hatshepsut, also known as the Queen Doctor, promoted a botanical expedition searching for officinal plants. * 1200 BCE: The Mesopotamian perfume-maker Tapputi-Belatekallim was referenced in the text of a cuneiform tablet. She is often consi ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Association For Logic Programming
The Association for Logic Programming (ALP) was founded in 1986. Its mission is "to contribute to the development of Logic Programming, relate it to other formal and also to humanistic sciences, and to promote its uses in academia and industry all over the world". It manages the International Conference on Logic Programming, oversees the journal ''Theory and Practice of Logic Programming'' (TPLP), and publishes an electronic newsletter. The activities of the Association are directed by an Executive Committee and President, elected by ALP members. The current president is Thomas Eiter. Here is a list of all presidents: * 2022- Thomas Eiter at Vienna University of Technology * 2019-2021 Thomas Eiter ''pro tem '' at Vienna University of Technology * 2014-2019 Torsten Schaub at the University of Potsdam * 2010-2014 Gopal Gupta at the University of Texas, Dallas * 2005-2009 Manuel Hermenegildo at the Technical University of Madrid * 2001-2004 Veronica Dahl at Simon Fraser Universi ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Calouste Gulbenkian
Calouste Sarkis Gulbenkian (, Western hy, Գալուստ Կիւլպէնկեան; 23 March 1869 – 20 July 1955), nicknamed "Mr Five Per Cent", was a British-Armenian businessman and philanthropist. He played a major role in making the petroleum reserves of the Middle East available to Western development and is credited with being the first person to exploit Iraqi oil. Gulbenkian travelled extensively and lived in a number of cities including Istanbul, London, Paris and Lisbon. Throughout his life, Gulbenkian was involved with many philanthropic activities including the establishment of schools, hospitals, and churches. The Calouste Gulbenkian Foundation, a private foundation based in Portugal, was created in 1956 by his bequest and continues to promote arts, charity, education, and science throughout the world. It is now among the largest foundations in Europe. By the end of his life he had become one of the world's wealthiest people and his art acquisitions one of the greate ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]