|
Michael Kohlhase
Michael Kohlhase (born 13 September 1964, in Erlangen) is a German computer scientist and professor at University of Erlangen–Nuremberg, where he is head of the KWARC research group (Knowledge Adaptation and Reasoning for Content). Academic Positions Michael Kohlhase is president of the OpenMath Society and a trustee of the Interest Group for Mathematical Knowledge Management (MKM). He was a trustee of the Conference on Automated Deduction and the CALCULEMUS Interest Group. He has been Conference Chair of CADE-21 and Program Chair of the KI-2006, MKM-2005, and CALCULEMUS-2000 conferences and has served on the Programme Committees of more than three dozen international conferences. Kohlhase holds an adjunct associate professorship at Carnegie Mellon University and was (2006–2008) vice director of the Department of Safe and Secure Cognitive Systems at German Research Centre for Artificial Intelligence (DFKI) Lab Bremen. In 2014, he became a member of the Global Digital Ma ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Erlangen
Erlangen (; East Franconian German, East Franconian: ''Erlang'', Bavarian language, Bavarian: ''Erlanga'') is a Middle Franconian city in Bavaria, Germany. It is the seat of the administrative district Erlangen-Höchstadt (former administrative district Erlangen), and with 116,062 inhabitants (as of 30 March 2022), it is the smallest of the eight major cities (''Town#Germany, Großstadt'') in Bavaria. The number of inhabitants exceeded the threshold of 100,000 in 1974, making Erlangen a major city according to the statistical definition officially used in Germany. Together with Nuremberg, Fürth, and Schwabach, Erlangen forms one of the three metropolises in Bavaria. With the surrounding area, these cities form the Nuremberg Metropolitan Region, European Metropolitan Region of Nuremberg, one of 11 metropolitan areas in Germany. The cities of Nuremberg, Fürth, and Erlangen also form a triangle on a map, which represents the heartland of the Nuremberg conurbation. An element of th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bremen
Bremen (Low German also: ''Breem'' or ''Bräm''), officially the City Municipality of Bremen (german: Stadtgemeinde Bremen, ), is the capital of the German state Free Hanseatic City of Bremen (''Freie Hansestadt Bremen''), a two-city-state consisting of the cities of Bremen and Bremerhaven. With about 570,000 inhabitants, the Hanseatic city is the 11th largest city of Germany and the second largest city in Northern Germany after Hamburg. Bremen is the largest city on the River Weser, the longest river flowing entirely in Germany, lying some upstream from its mouth into the North Sea, and is surrounded by the state of Lower Saxony. A commercial and industrial city, Bremen is, together with Oldenburg and Bremerhaven, part of the Bremen/Oldenburg Metropolitan Region, with 2.5 million people. Bremen is contiguous with the Lower Saxon towns of Delmenhorst, Stuhr, Achim, Weyhe, Schwanewede and Lilienthal. There is an exclave of Bremen in Bremerhaven, the "Citybremian Overseas Port ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Knowledge Representation
Knowledge representation and reasoning (KRR, KR&R, KR²) is the field of artificial intelligence (AI) dedicated to representing information about the world in a form that a computer system can use to solve complex tasks such as diagnosing a medical condition or having a dialog in a natural language. Knowledge representation incorporates findings from psychology about how humans solve problems and represent knowledge in order to design formalisms that will make complex systems easier to design and build. Knowledge representation and reasoning also incorporates findings from logic to automate various kinds of ''reasoning'', such as the application of rules or the relations of sets and subsets. Examples of knowledge representation formalisms include semantic nets, systems architecture, frames, rules, and ontologies. Examples of automated reasoning engines include inference engines, theorem provers, and classifiers. History The earliest work in computerized knowledge represe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Automated Theorem Proving
Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs. Automated reasoning over mathematical proof was a major impetus for the development of computer science. Logical foundations While the roots of formalised logic go back to Aristotle, the end of the 19th and early 20th centuries saw the development of modern logic and formalised mathematics. Frege's ''Begriffsschrift'' (1879) introduced both a complete propositional calculus and what is essentially modern predicate logic. His ''Foundations of Arithmetic'', published 1884, expressed (parts of) mathematics in formal logic. This approach was continued by Russell and Whitehead in their influential ''Principia Mathematica'', first published 1910–1913, and with a revised second edition in 1927. Russell and Whitehead thought they could derive all mathematical truth using axioms and inference ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Studienstiftung
The German Academic Scholarship Foundation (German: , or ''Studienstiftung'' for short) is Germany's largest and most prestigious scholarship foundation. According to its statutes, it supports "the university education of young people who, on account of their exceptional academic or artistic talents and their personalities, can be expected to make an outstanding contribution to society as a whole". The ''Studienstiftung'' is non-political, non-denominational and ideologically independent. Its headquarters are located in Bonn; it also has an office in Berlin. The current president is Reinhard Zimmermann, and the President of Germany, Frank-Walter Steinmeier, is patron ('). The ''Studienstiftung,'' like 12 other scholarship foundations (), is funded by the German Federal Ministry of Education and Research, with funds from the federal government, the German federal states and local authorities, numerous foundations and businesses as well as numerous private donors. In 2015, the ''St ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Deutsche Forschungsgemeinschaft
The German Research Foundation (german: Deutsche Forschungsgemeinschaft ; DFG ) is a German research funding organization, which functions as a self-governing institution for the promotion of science and research in the Federal Republic of Germany. In 2019, the DFG had a funding budget of €3.3 billion. Function The DFG supports research in science, engineering, and the humanities through a variety of grant programmes, research prizes, and by funding infrastructure. The self-governed organization is based in Bonn and financed by the German states and the federal government of Germany. As of 2017, the organization consists of approximately 100 research universities and other research institutions. The DFG endows various research prizes, including the Leibniz Prize. The Polish-German science award Copernicus Award, Copernicus is offered jointly with the Foundation for Polish Science. According to a 2017 article in ''The Guardian'', the DFG has announced it will publish its re ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jacobs University Bremen
Constructor University is an international, private, residential research university located in Vegesack, Bremen, Germany. It offers study programs in engineering, humanities, natural and social sciences, in which students can acquire bachelor's, master's or doctorate degrees. Most of the instruction at the university is in English. Constructor University’s students come from more than 110 countries, with about 80% foreign students and approximately 33% international faculty members. History Constructor University (Previously called Jacobs University and International University Bremen) was founded in 1999 with the support of the University of Bremen, Rice University in Houston, Texas, and the Free Hanseatic City of Bremen, with study programs beginning in 2001. The Jacobs Foundation invested €200 million in the institution in November 2006, thus taking over a two-thirds majority of the partnership share. At the beginning of 2007, the university changed its name to Jaco ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
SRI International
SRI International (SRI) is an American nonprofit scientific research institute and organization headquartered in Menlo Park, California. The trustees of Stanford University established SRI in 1946 as a center of innovation to support economic development in the region. The organization was founded as the Stanford Research Institute. SRI formally separated from Stanford University in 1970 and became known as SRI International in 1977. SRI performs client-sponsored research and development for government agencies, commercial businesses, and private foundations. It also licenses its technologies, forms strategic partnerships, sells products, and creates spin-off companies. SRI's headquarters are located near the Stanford University campus. SRI's annual revenue in 2014 was approximately $540 million, which tripled from 1998 under the leadership of Curtis Carlson. In 1998, the organization was on the verge of bankruptcy when Carlson took over as CEO. Over the next sixteen years wit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Edinburgh
The University of Edinburgh ( sco, University o Edinburgh, gd, Oilthigh Dhùn Èideann; abbreviated as ''Edin.'' in post-nominals) is a public research university based in Edinburgh, Scotland. Granted a royal charter by King James VI in 1582 and officially opened in 1583, it is one of Scotland's four ancient universities and the sixth-oldest university in continuous operation in the English-speaking world. The university played an important role in Edinburgh becoming a chief intellectual centre during the Scottish Enlightenment and contributed to the city being nicknamed the " Athens of the North." Edinburgh is ranked among the top universities in the United Kingdom and the world. Edinburgh is a member of several associations of research-intensive universities, including the Coimbra Group, League of European Research Universities, Russell Group, Una Europa, and Universitas 21. In the fiscal year ending 31 July 2021, it had a total income of £1.176 billion, of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Amsterdam
The University of Amsterdam (abbreviated as UvA, nl, Universiteit van Amsterdam) is a public research university located in Amsterdam, Netherlands. The UvA is one of two large, publicly funded research universities in the city, the other being the Vrije Universiteit Amsterdam (VU). Established in 1632 by municipal authorities and later renamed for the city of Amsterdam, the University of Amsterdam is the third-oldest university in the Netherlands. It is one of the largest research universities in Europe with 31,186 students, 4,794 staff, 1,340 PhD students and an annual budget of €600 million. It is the largest university in the Netherlands by enrollment. The main campus is located in central Amsterdam, with a few faculties located in adjacent boroughs. The university is organised into seven faculties: Humanities, Social and Behavioural Sciences, Economics and Business, Science, Law, Medicine, Dentistry. The University of Amsterdam has produced six Nobel Laureates and fiv ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Habilitation
Habilitation is the highest university degree, or the procedure by which it is achieved, in many European countries. The candidate fulfills a university's set criteria of excellence in research, teaching and further education, usually including a dissertation. The degree, abbreviated "Dr. habil." (Doctor habilitatus) or "PD" (for "Privatdozent"), is a qualification for professorship in those countries. The conferral is usually accompanied by a lecture to a colloquium as well as a public inaugural lecture. History and etymology The term ''habilitation'' is derived from the Medieval Latin , meaning "to make suitable, to fit", from Classical Latin "fit, proper, skillful". The degree developed in Germany in the seventeenth century (). Initially, habilitation was synonymous with "doctoral qualification". The term became synonymous with "post-doctoral qualification" in Germany in the 19th century "when holding a doctorate seemed no longer sufficient to guarantee a proficient transfer o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
