|
Franz Baader
Franz Baader (15 June 1959, Spalt) is a German computer scientist at Dresden University of Technology. He received his PhD in Computer Science in 1989 from the University of Erlangen-Nuremberg, Germany, where he was a teaching and research assistant for 4 years. In 1989, he went to the German Research Centre for Artificial Intelligence (DFKI) as a senior researcher and project leader. In 1993 he became associate professor for computer science at RWTH Aachen, and in 2002 full professor for computer science at TU Dresden TU Dresden (for german: Technische Universität Dresden, abbreviated as TUD and often wrongly translated as "Dresden University of Technology") is a public research university, the largest institute of higher education in the city of Dresden, th .... He received the Herbrand Award for the year 2020 "in recognition of his significant contributions to unification theory, combinations of theories and reasoning in description logics". Works * * * * Reference ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dresden University Of Technology
TU Dresden (for german: Technische Universität Dresden, abbreviated as TUD and often wrongly translated as "Dresden University of Technology") is a public research university, the largest institute of higher education in the city of Dresden, the largest university in Saxony and one of the 10 largest universities in Germany with 32,389 students . The name Technische Universität Dresden has only been used since 1961; the history of the university, however, goes back nearly 200 years to 1828. This makes it one of the oldest colleges of technology in Germany, and one of the country’s oldest universities, which in German today refers to institutes of higher education that cover the entire curriculum. The university is a member of TU9, a consortium of the nine leading German Institutes of Technology. The university is one of eleven German universities which succeeded in the Excellence Initiative in 2012, thus getting the title of a "University of Excellence". The TU Dresden succee ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
RWTH Aachen University
RWTH Aachen University (), also known as North Rhine-Westphalia Technical University of Aachen, Rhine-Westphalia Technical University of Aachen, Technical University of Aachen, University of Aachen, or ''Rheinisch-Westfälische Technische Hochschule Aachen'', is a German public research university located in Aachen, North Rhine-Westphalia, Germany. With more than 47,000 students enrolled in 144 study programs, it is the largest technical university in Germany. In 2018, the university was ranked 31st in the world university rankings in the field of engineering and technology, and 36th world-wide in the category of natural sciences.Daten & Fakten – RWTH AACHEN UNIVERSITY – Deutsch Rwth-aachen.de (12 December 2011). Retrieved on 2013-09-18. [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Erlangen-Nuremberg
A university () is an institution of higher (or tertiary) education and research which awards academic degrees in several academic disciplines. Universities typically offer both undergraduate and postgraduate programs. In the United States, the designation is reserved for colleges that have a graduate school. The word ''university'' is derived from the Latin ''universitas magistrorum et scholarium'', which roughly means "community of teachers and scholars". The first universities were created in Europe by Catholic Church monks. The University of Bologna (''Università di Bologna''), founded in 1088, is the first university in the sense of: *Being a high degree-awarding institute. *Having independence from the ecclesiastic schools, although conducted by both clergy and non-clergy. *Using the word ''universitas'' (which was coined at its foundation). *Issuing secular and non-secular degrees: grammar, rhetoric, logic, theology, canon law, notarial law.Hunt Janin: "The universi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
German Research Centre For Artificial Intelligence
The German Research Center for Artificial Intelligence (German: ''Deutsches Forschungszentrum für Künstliche Intelligenz'', DFKI) is one of the world's largest nonprofit contract research institutes for software technology based on artificial intelligence (AI) methods. DFKI was founded in 1988, and has facilities in the German cities of Kaiserslautern, Saarbrücken, Lübeck, Oldenburg, Osnabrück, Bremen, Darmstadt and Berlin. DFKI shareholders include Google, Microsoft, SAP and Daimler. The directors are Antonio Krüger (CEO) and Helmut Ditzer (CFO). Research DFKI conducts contract research in virtually all fields of modern AI, including image and pattern recognition, knowledge management, intelligent visualization and simulation, deduction and multi-agent systems, speech- and language technology, intelligent user interfaces, business informatics and robotics. DFKI led the national project Verbmobil, a project with the aim to translate spontaneous speech robustly and bi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ulrike Sattler
Ulrike M. Sattler is a Professor of Computer science in the information management group of the Department of Computer Science at the University of Manchester and a visiting professor at the University of Oslo. Education Sattler completed her PhD in 1998 under the supervision of Franz Baader at RWTH Aachen University in Germany. Career and research Sattler moved to the University of Manchester as Senior Lecturer in 2003, was promoted to reader in 2006 and then to professor in 2007. Sattler's research focuses on logic to support knowledge representation including description logic, Dynamic logic and Modal logic. She is also investigating the inference problems, complexity theory and decision procedures associated with knowledge representation. This research has been important in the development of the Web Ontology Language (OWL) and its use in bioinformatics and molecular biology. Sattler's research has been funded by the Engineering and Physical Sciences Research C ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Spalt
Spalt ( Northern Bavarian: ''Schbåld'') is a town in the district of Roth, in Bavaria, Germany. It is situated 19 km southwest of Schwabach. Spalt is famous for growing hops for brewing beer. Geography Spalt is situated between Nuremberg, Ansbach, and Treuchtlingen in the north of the Franconian lakelands. In the southwest of the city is the Great Brombachsee and its dam. The Fränkische Rezat flows through Georgensgmünd into the Rednitz. Neighboring communities ''(starting in the north and going clockwise)'' * Abenberg * Georgensgmünd * Röttenbach * Pleinfeld * Absberg * Haundorf * Mitteleschenbach * Windsbach Division of the town The following places belong to the community of Spalt: Egelmühle, Enderndorf, Engelhof, Fünfbronn, Großweingarten, Güsseldorf, Hagsbronn, Heiligenblut, Hohenrad, Höfstetten, Hügelmühle, Kaltenbrunn, Keilberg, Massendorf, Mosbach, Mühlreisig, Nagelhof, Ottmannsberg, Schnittling, Steinfurt, Stiegelmühle, Stockheim, Straße ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Computer Scientist
A computer scientist is a person who is trained in the academic study of computer science. Computer scientists typically work on the theoretical side of computation, as opposed to the hardware side on which computer engineers mainly focus (although there is overlap). Although computer scientists can also focus their work and research on specific areas (such as algorithm and data structure development and design, software engineering, information theory, database theory, computational complexity theory, numerical analysis, programming language theory, computer graphics, and computer vision), their foundation is the theoretical study of computing from which these other fields derive. A primary goal of computer scientists is to develop or validate models, often mathematical, to describe the properties of computational systems (processors, programs, computers interacting with people, computers interacting with other computers, etc.) with an overall objective of discovering d ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Germany
Germany,, officially the Federal Republic of Germany, is a country in Central Europe. It is the second most populous country in Europe after Russia, and the most populous member state of the European Union. Germany is situated between the Baltic and North seas to the north, and the Alps to the south; it covers an area of , with a population of almost 84 million within its 16 constituent states. Germany borders Denmark to the north, Poland and the Czech Republic to the east, Austria and Switzerland to the south, and France, Luxembourg, Belgium, and the Netherlands to the west. The nation's capital and most populous city is Berlin and its financial centre is Frankfurt; the largest urban area is the Ruhr. Various Germanic tribes have inhabited the northern parts of modern Germany since classical antiquity. A region named Germania was documented before AD 100. In 962, the Kingdom of Germany formed the bulk of the Holy Roman Empire. During the 16th ce ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
RWTH Aachen
RWTH Aachen University (), also known as North Rhine-Westphalia Technical University of Aachen, Rhine-Westphalia Technical University of Aachen, Technical University of Aachen, University of Aachen, or ''Rheinisch-Westfälische Technische Hochschule Aachen'', is a German public research university located in Aachen, North Rhine-Westphalia, Germany. With more than 47,000 students enrolled in 144 study programs, it is the largest technical university in Germany. In 2018, the university was ranked 31st in the world university rankings in the field of engineering and technology, and 36th world-wide in the category of natural sciences.Daten & Fakten – RWTH AACHEN UNIVERSITY – Deutsch Rwth-aachen.de (12 December 2011). Retrieved on 2013-09-18. [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
TU Dresden
TU Dresden (for german: Technische Universität Dresden, abbreviated as TUD and often wrongly translated as "Dresden University of Technology") is a public research university, the largest institute of higher education in the city of Dresden, the largest university in Saxony and one of the 10 largest universities in Germany with 32,389 students . The name Technische Universität Dresden has only been used since 1961; the history of the university, however, goes back nearly 200 years to 1828. This makes it one of the oldest colleges of technology in Germany, and one of the country’s oldest universities, which in German today refers to institutes of higher education that cover the entire curriculum. The university is a member of TU9, a consortium of the nine leading German Institutes of Technology. The university is one of eleven German universities which succeeded in the Excellence Initiative in 2012, thus getting the title of a "University of Excellence". The TU Dresden succee ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Herbrand Award
The Herbrand Award for Distinguished Contributions to Automated Reasoning is an award given by the Conference on Automated Deduction (CADE), Inc., (although it predates the formal incorporation of CADE) to honour persons or groups for important contributions to the field of automated theorem proving, automated deduction. The award is named after the France, French scientist Jacques Herbrand and given at most once per CADE or International Joint Conference on Automated Reasoning (IJCAR). It comes with a prize of US$1,000. Anyone can be nominated, the award is awarded after a vote among CADE trustees and former recipients, usually with input from the CADE/IJCAR programme committee. Recipients Past award recipients are: 1990s * Larry Wos (1992) * Woody Bledsoe (1994) * John Alan Robinson (1996) * Wu Wenjun (1997) * Gérard Huet (1998) * Robert S. Boyer and J Strother Moore (1999) 2000s * William McCune, William W. McCune (2000) * Donald W. Loveland (2001) * Mark E. Stickel (200 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
German Computer Scientists
German(s) may refer to: * Germany (of or related to) **Germania (historical use) * Germans, citizens of Germany, people of German ancestry, or native speakers of the German language ** For citizens of Germany, see also German nationality law **Germanic peoples (Roman times) * German language **any of the Germanic languages * German cuisine, traditional foods of Germany People * German (given name) * German (surname) * Germán, a Spanish name Places * German (parish), Isle of Man * German, Albania, or Gërmej * German, Bulgaria * German, Iran * German, North Macedonia * German, New York, U.S. * Agios Germanos, Greece Other uses * German (mythology), a South Slavic mythological being * Germans (band), a Canadian rock band * German (song), "German" (song), a 2019 song by No Money Enterprise * ''The German'', a 2008 short film * "The Germans", an episode of ''Fawlty Towers'' * ''The German'', a nickname for Congolese rebel André Kisase Ngandu See also * Germanic (disambi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
_-_09.JPG "Click for more on -> University Of Erlangen-Nuremberg")
