|
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. 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 logic Description logics (DL) are a family of formal knowledge representation languages. Many DLs are more expressive than propositional logic but less expressive than first-order logic. In contrast to the latter, the core reasoning problems for DLs are ...s". Works * * * * Referenc ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dresden University Of Technology
TU Dresden (for , abbreviated as TUD), also as the Dresden University of Technology, is a public research university in Dresden, Germany. It is 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 succeeded in all three rounds of the Ge ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
RWTH Aachen University
RWTH Aachen University (), in German ''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 second largest technical university in Germany. RWTH Aachen in 2019 emerged from the final of the third federal and state excellence strategy. The university will be funded as a university of excellence for the next seven years. RWTH Aachen was already part of the federal and state excellence initiative in 2007 and 2012. Since 2007, RWTH Aachen has been continuously funded by the Deutsche Forschungsgemeinschaft, DFG and the German Council of Science and Humanities as one of eleven (previously nine) German German Universities Excellence Initiative, Universities of Excellence for its future concept ''RWTH 2020: Meeting Global Challenges'' and the follow-up concept ''The Integrated Interdisciplinary University of Science and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Erlangen-Nuremberg
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 the Midd ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
German Research Centre For Artificial Intelligence
The German Research Center for Artificial Intelligence, DFKI (German: ''Deutsches Forschungszentrum für Künstliche Intelligenz'') was founded in 1988 as a non-profit public-private partnership. It has research facilities in Kaiserslautern, Saarbrücken, Bremen, Oldenburg, and Osnabrück, laboratories in Berlin, Darmstadt, and Lübeck, and a branch office in Trier. In the field of innovative commercial software technology using artificial intelligence, DFKI is the leading research center in Germany. Based on application-oriented basic research, DFKI develops product functions, prototypes, and patentable solutions in the field of information and communication technology. Research and development projects are conducted in 27 research departments, ten competence centers, and eight living labs. Funding is received from government agencies like the European Union, the Federal Ministry of Education and Research (BMBF), the Federal Ministry for Economic Affairs and Climate Action (BMWK), ... [...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 Council ( ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Spalt
Spalt ( Franconian dialect: ''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ßenhaus, T ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Computer Scientist
A computer scientist is a scientist who specializes in the academic study of computer science. Computer scientists typically work on the theoretical side of computation. 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, theoretical computer science, numerical analysis, programming language theory, compiler, computer graphics, computer vision, robotics, computer architecture, operating system), 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 (Processor (computing), processors, programs, computers interacting with people, computers interacting with other computers, etc.) with an overall objective of discovering designs that yield useful ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Germany
Germany, officially the Federal Republic of Germany, is a country in Central Europe. It lies between the Baltic Sea and the North Sea to the north and the Alps to the south. Its sixteen States of Germany, constituent states have a total population of over 84 million in an area of , making it the most populous member state of the European Union. It 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 Capital of Germany, nation's capital and List of cities in Germany by population, most populous city is Berlin and its main financial centre is Frankfurt; the largest urban area is the Ruhr. Settlement in the territory of modern Germany began in the Lower Paleolithic, with various tribes inhabiting it from the Neolithic onward, chiefly the Celts. Various Germanic peoples, Germanic tribes have inhabited the northern parts of modern Germany since classical ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
RWTH Aachen
RWTH Aachen University (), in German ''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 second largest technical university in Germany. RWTH Aachen in 2019 emerged from the final of the third federal and state excellence strategy. The university will be funded as a university of excellence for the next seven years. RWTH Aachen was already part of the federal and state excellence initiative in 2007 and 2012. Since 2007, RWTH Aachen has been continuously funded by the DFG and the German Council of Science and Humanities as one of eleven (previously nine) German Universities of Excellence for its future concept ''RWTH 2020: Meeting Global Challenges'' and the follow-up concept ''The Integrated Interdisciplinary University of Science and Technology: Knowledge, Impact, Networks'', also receiving grants for asso ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
TU Dresden
TU Dresden (for , abbreviated as TUD), also as the Dresden University of Technology, is a public research university in Dresden, Germany. It is 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 German Universities Excellence Initiative, Excellence Initiative in 2012, thus getting the title of a "University of Excellence". The TU Dresde ... [...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 deduction. The award is named after the 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 W. McCune (2000) * Donald W. Loveland (2001) * Mark E. Stickel (2002). * Peter B. Andrews (2003) * Harald Gan ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Unification (logic)
In logic and computer science, specifically automated reasoning, unification is an algorithmic process of solving equations between symbolic expressions, each of the form ''Left-hand side = Right-hand side''. For example, using ''x'',''y'',''z'' as variables, and taking ''f'' to be an uninterpreted function, the singleton equation set is a syntactic first-order unification problem that has the substitution as its only solution. Conventions differ on what values variables may assume and which expressions are considered equivalent. In first-order syntactic unification, variables range over first-order terms and equivalence is syntactic. This version of unification has a unique "best" answer and is used in logic programming and programming language type system implementation, especially in Hindley–Milner based type inference algorithms. In higher-order unification, possibly restricted to higher-order pattern unification, terms may include lambda expressions, and equivalence is u ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
