|
Francesca Toni
Francesca Toni is an Italian computer scientist who works at Imperial College London in the UK as JP Morgan/Royal Academy of Engineering Research Chair in Argumentation for Interactive Explainable AI, Professor in Computational Logic in the Department of Computing, and head of the Computational Logic and Argumentation Group. Her research interests include explainable artificial intelligence, computational logic, argumentation theory, and applications in public health. Education and career Toni is originally from "a small town in Tuscany." Initially intending to go into mathematics, she switched to computer science in her last year of high school. She has a laurea (the Italian equivalent of a master's degree) from the University of Pisa, earned in 1990, and completed a doctorate from Imperial College London in 1995. Her dissertation, on abductive logic programming, was supervised by Robert Kowalski Robert Anthony Kowalski (born 15 May 1941) is an American-British logician and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Imperial College London
Imperial College London, also known as Imperial, is a Public university, public research university in London, England. Its history began with Prince Albert of Saxe-Coburg and Gotha, Prince Albert, husband of Queen Victoria, who envisioned a Albertopolis, cultural district in South Kensington that included museums, colleges, and the Royal Albert Hall. In 1907, these colleges – the Royal College of Science, the Royal School of Mines, and the City and Guilds of London Institute – merged to form the Imperial College of Science and Technology. In 1988, Imperial merged with St Mary's Hospital, London, St Mary's Hospital Medical School and then with Charing Cross and Westminster Medical School to form the Imperial College School of Medicine. The Imperial Business School was established in 2003 and officially opened by Elizabeth II, Queen Elizabeth II. Formerly a constituent college of the University of London, Imperial became an independent university in 2007. Imperial is o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
European Association For Artificial Intelligence
The European Association for Artificial Intelligence (EurAI), formerly European Co-ordinating Committee for Artificial Intelligence (ECCAI), is the representative body for the European artificial intelligence community. Overview EurAI was established in 1982. Founding president of EurAI was Wolfgang Bibel. The aim of EurAI is to promote the study, research Research is creative and systematic work undertaken to increase the stock of knowledge. It involves the collection, organization, and analysis of evidence to increase understanding of a topic, characterized by a particular attentiveness to ... and application of artificial intelligence (AI) in Europe. Activities Every even-numbered year, EurAI, jointly with one of the member associations of EurAI, holds the European Conference on Artificial Intelligence (ECAI). The conference has become the leading conference for this field in Europe. The Artificial Intelligence Dissertation Award sponsored by EurAI has been awarded ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Alumni Of Imperial College London
Alumni (: alumnus () or alumna ()) are former students or graduates of a school, college, or university. The feminine plural alumnae is sometimes used for groups of women, and alums (: alum) or alumns (: alumn) as gender-neutral alternatives. The word comes from Latin, meaning nurslings, pupils or foster children, derived from "to nourish". The term is not synonymous with "graduates": people can be alumni without graduating, e.g. Burt Reynolds was an alumnus of Florida State University but did not graduate. The term is sometimes used to refer to former employees, former members of an organization, former contributors, or former inmates. Etymology The Latin noun means "foster son" or "pupil". It is derived from the Latin verb "to nourish". Separate, but from the same root, is the adjective "nourishing", found in the phrase '' alma mater'', a title for a person's home university. Usage in Roman law In Latin, is a legal term (Roman law) to describe a child placed in fostera ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Pisa Alumni
A university () is an institution of tertiary education and research which awards academic degrees in several academic disciplines. ''University'' is derived from the Latin phrase , which roughly means "community of teachers and scholars". Universities typically offer both undergraduate and postgraduate programs. The first universities in Europe were established by Catholic monks. The University of Bologna (), Italy, which was founded in 1088, is the first university in the sense of: *being a high degree-awarding institute. *using the word (which was coined at its foundation). *having independence from the ecclesiastic schools and issuing secular as well as non-secular degrees (with teaching conducted by both clergy and non-clergy): grammar, rhetoric, logic, theology, canon law and notarial law.Hunt Janin: "The university in medieval life, 1179–1499", McFarland, 2008, , p. 55f.de Ridder-Symoens, Hilde''A History of the University in Europe: Volume 1, Universities in th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Italian Women Computer Scientists
Italian(s) may refer to: * Anything of, from, or related to the people of Italy over the centuries ** Italians, a Romance ethnic group related to or simply a citizen of the Italian Republic or Italian Kingdom ** Italian language, a Romance language *** Regional Italian, regional variants of the Italian language ** Languages of Italy, languages and dialects spoken in Italy ** Italian culture, cultural features of Italy ** Italian cuisine, traditional foods ** Folklore of Italy, the folklore and urban legends of Italy ** Mythology of Italy, traditional religion and beliefs Other uses * Italian dressing, a vinaigrette-type salad dressing or marination * Italian or Italian-A, alternative names for the Ping-Pong virus, an extinct computer virus * ''Italien'' (magazine), pro-Fascist magazine in Germany between 1927 and 1944 See also * * * Italia (other) * Italic (other) * Italo (other) * The Italian (other) * Italian people (other) Italian ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Living People
Purpose: Because living persons may suffer personal harm from inappropriate information, we should watch their articles carefully. By adding an article to this category, it marks them with a notice about sources whenever someone tries to edit them, to remind them of WP:BLP (biographies of living persons) policy that these articles must maintain a neutral point of view, maintain factual accuracy, and be properly sourced. Recent changes to these articles are listed on Special:RecentChangesLinked/Living people. Organization: This category should not be sub-categorized. Entries are generally sorted by family name In many societies, a surname, family name, or last name is the mostly hereditary portion of one's personal name that indicates one's family. It is typically combined with a given name to form the full name of a person, although several give .... Maintenance: Individuals of advanced age (over 90), for whom there has been no new documentation in the last ten ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Year Of Birth Missing (living People)
A year is a unit of time based on how long it takes the Earth to orbit the Sun. In scientific use, the tropical year (approximately 365 solar days, 5 hours, 48 minutes, 45 seconds) and the sidereal year (about 20 minutes longer) are more exact. The modern calendar year, as reckoned according to the Gregorian calendar, approximates the tropical year by using a system of leap years. The term 'year' is also used to indicate other periods of roughly similar duration, such as the lunar year (a roughly 354-day cycle of twelve of the Moon's phasessee lunar calendar), as well as periods loosely associated with the calendar or astronomical year, such as the seasonal year, the fiscal year, the academic year, etc. Due to the Earth's axial tilt, the course of a year sees the passing of the seasons, marked by changes in weather, the hours of daylight, and, consequently, vegetation and soil fertility. In temperate and subpolar regions around the planet, four seasons a ... [...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 interpretation ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Explainable Artificial Intelligence
Explainable AI (XAI), often overlapping with interpretable AI, or explainable machine learning (XML), is a field of research within artificial intelligence (AI) that explores methods that provide humans with the ability of ''intellectual oversight'' over AI algorithms. The main focus is on the reasoning behind the decisions or predictions made by the AI algorithms, to make them more understandable and transparent. This addresses users' requirement to assess safety and scrutinize the automated decision making in applications. XAI counters the "black box" tendency of machine learning, where even the AI's designers cannot explain why it arrived at a specific decision. XAI hopes to help users of AI-powered systems perform more effectively by improving their understanding of how those systems reason. XAI may be an implementation of the social right to explanation. Even if there is no such legal right or regulatory requirement, XAI can improve the user experience of a product or servi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Abductive Logic Programming
Abductive logic programming (ALP) is a high-level knowledge-representation framework that can be used to solve problems declaratively, based on abductive reasoning. It extends normal logic programming by allowing some predicates to be incompletely defined, declared as abducible predicates. Problem solving is effected by deriving hypotheses on these abducible predicates (abductive hypotheses) as solutions of problems to be solved. These problems can be either observations that need to be explained (as in classical abduction) or goals to be achieved (as in normal logic programming). It can be used to solve problems in diagnosis, planning, natural language and machine learning. It has also been used to interpret negation as failure as a form of abductive reasoning. Syntax Abductive logic programs have three components, \langle P,A,IC\rangle, where: * P is a logic program of exactly the same form as in logic programming * A is a set of predicate names, called the abducible predicates ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Pisa
The University of Pisa (, UniPi) is a public university, public research university in Pisa, Italy. Founded in 1343, it is one of the oldest universities in Europe. Together with Scuola Normale Superiore di Pisa and Sant'Anna School of Advanced Studies, it is part of the Pisa University System. History The Origins The University of Pisa was officially founded in 1343, although various scholars place its origins in the 11th century. It is certain, however, that from the middle of the 12th century Pisa had a “Universitas” in the original sense of the word, that is, a group of students who gathered around masters. It was during this period that Leonardo Fibonacci was born and worked. He was one of the greatest mathematicians in history who, through his work, synthesized the spirit and processes of Greek geometry and the tools of Arabic mathematics for the first time in Europe. The papal seal “In Supremae dignitatis”, issued by Pope Clement VI on 3 September 1343, grant ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
