|
Christoph Walther
Christoph Walther (born 9 August 1950) is a German computer scientist, known for his contributions to automated theorem proving. He is Professor emeritus at Darmstadt University of Technology. (Section ''Emeriti und Professoren im Ruhestand'') at Darmstadt University Web Site Selected publications On automated program termination analysis
In computer science, termination analysis is program analysis which attempts to determine whether the evaluation of a given program halts for ''each'' input. This means to determine whether the input program computes a ' ...
[...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Karlsruhe University
The Karlsruhe Institute of Technology (KIT; german: Karlsruher Institut für Technologie) is a public research university in Karlsruhe, Germany. The institute is a national research center of the Helmholtz Association. KIT was created in 2009 when the University of Karlsruhe (), founded in 1825 as a public research university and also known as the "Fridericiana", merged with the Karlsruhe Research Center (), which had originally been established in 1956 as a national nuclear research center (, or KfK). KIT is a member of the TU9, an incorporated society of the largest and most notable German institutes of technology.TU9 As part of the German Universities Excellence Initiative KIT was one of three universities which were awarded excellence status in 2006. In the following "German Excellence Strategy" KIT was awarded as one of eleven "Excellence Universities" in 2019. KIT is among the leading technical universities in Germany and Europe. According to different bibliometric ranking ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Andrei Voronkov
Andrei Anatolievič Voronkov (born 1959) is a Professor of Formal methods in the Department of Computer Science at the University of Manchester. Education Voronkov was educated at Novosibirsk State University, graduating with a PhD in 1987. Research Voronkov is known for the Vampire automated theorem prover, the EasyChair conference management software, the Handbook of Automated Reasoning (with John Alan Robinson, 2001), and as organiser of the Alan Turing Centenary Conference 2012. Voronkov's research has been funded by the Engineering and Physical Sciences Research Council (EPSRC). Awards and honours In 2015, his contributions to the field of automated reasoning were recognized with the Herbrand Award. He has won 25 division titles in the CADE ATP System Competition (CASC) at the Conference on Automated Deduction (CADE) since 1999. Personal life Voronkov is married and has three children. A son and two daughters. He lives in Bramhall Bramhall is a suburban area in ... [...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), 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 (other) * Germa ... [...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] |
1950 Births
Year 195 ( CXCV) was a common year starting on Wednesday (link will display the full calendar) of the Julian calendar. At the time, it was known as the Year of the Consulship of Scrapula and Clemens (or, less frequently, year 948 '' Ab urbe condita''). The denomination 195 for this year has been used since the early medieval period, when the Anno Domini calendar era became the prevalent method in Europe for naming years. Events By place Roman Empire * Emperor Septimius Severus has the Roman Senate deify the previous emperor Commodus, in an attempt to gain favor with the family of Marcus Aurelius. * King Vologases V and other eastern princes support the claims of Pescennius Niger. The Roman province of Mesopotamia rises in revolt with Parthian support. Severus marches to Mesopotamia to battle the Parthians. * The Roman province of Syria is divided and the role of Antioch is diminished. The Romans annexed the Syrian cities of Edessa and Nisibis. Severus re-establ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dov M
DOV or Dov could refer to: ''דב'' or ''דוב'', a Hebrew male given name meaning "bear", from which the Yiddish name "Ber" (בער) was derived (cognate with "bear") which was common among East European Jews. People * Dov Ber of Mezeritch (1700/1704/1710?–1772 OS), second leader and main architect of Hasidic Judaism * Dov Ber Abramowitz (1860–1926), American Orthodox rabbi and author * Dov Charney (born 1969), president and chief executive officer of clothing manufacturer American Apparel * Dov Feigin (1907–2000), Israeli sculptor * Dov Forman (born 2003), English born Author and social media star * Dov Frohman (born 1939), Israeli electrical engineer and business executive * Dov Gabbay (born 1945), logician and professor of logic and computer science * Dov Groverman (born 1965), Israeli Olympic wrestler * Dov Grumet-Morris (born 1982), American ice hockey player * Dov Gruner (1912–1947), Jewish Zionist leader hanged by the British Mandatory authorities * Dov Hikind (bor ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
IJCAI
The International Joint Conference on Artificial Intelligence (IJCAI) is the leading conference in the field of Artificial Intelligence. The conference series has been organized by the nonprofit IJCAI Organization since 1969, making it the oldest premier AI conference series in the world.Jointly sponsored by the IJCAI Organization and the hosting national AI societies. It was held biennially in odd-numbered years from 1969 to 2015 and annually starting from 2016. More recently, IJCAI was held jointly every four years with ECAI since 2018 and PRICAI since 2020 to promote collaboration of AI researchers and practitioners. IJCAI covers a broad range of research areas in the field of AI. It is a large and highly selective conference, with only about 20% or less of the submitted papers to be accepted after peer review in 5 years leading to 2022. Lower acceptance rate usually means better quality papers and higher reputation conference. Awards Three research awards are given at each I ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logic For Programming, Artificial Intelligence And Reasoning
The International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is an academic conference aiming at discussing cutting-edge results in the fields of automated reasoning, computational logic, programming languages and their applications. It grew out of the Russian Conferences on Logic Programming 1990 and 1991; the idea to organize the conference was largely due to Robert Kowalski who proposed to create the Russian Association for Logic Programming. The conference was renamed in 1992 to "Logic Programming ''and Automated Reasoning''" (LPAR) to reflect its extended scope, due to considerable interest in automated reasoning in the Former Soviet Union. After a break from 1995 to 1998, LPAR continued in 1999 under the name "Logic ''for'' Programming and Automated Reasoning", to indicate an extension of its logic part beyond logic programming. In 2001, the name changed to "Logic for Programming, Artificial ''Intelligence and'' Reasoning". The LPAR ste ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 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 cont ... for the year 2020 "in recognition of his significant contributions to unification theory, combinations of theories and reasoning in description logics". Works * * * * References ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Walther Recursion
In computer programming, Walther recursion (named after Christoph Walther) is a method of analysing recursive functions that can determine if the function is definitely terminating, given finite inputs. It allows a more natural style of expressing computation than simply using primitive recursive functions. Since the halting problem cannot be solved in general, there must still be programs that terminate, but which Walther recursion cannot prove to terminate. Walther recursion may be used in total functional languages in order to allow a more liberal style of showing primitive recursion. See also * BlooP and FlooP * Termination analysis * Total Turing machine In computability theory, a decider is a Turing machine that halts for every input. A decider is also called a total Turing machineKozen, 1997 as it represents a total function. Because it always halts, such a machine is able to decide whether a gi ... References * * * Recursion {{compu-prog-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Artificial Intelligence (journal)
''Artificial Intelligence'' is a scientific journal on artificial intelligence research. It was established in 1970 and is published by Elsevier. The journal is abstracted and indexed in Scopus and Science Citation Index. The 2021 Impact Factor for this journal is 14.05 and the 5-Year Impact Factor is 11.616.Journal Citation Reports ''Journal Citation Reports'' (''JCR'') is an annual publicationby Clarivate Analytics (previously the intellectual property of Thomson Reuters). It has been integrated with the Web of Science and is accessed from the Web of Science-Core Collect ... 2022, Published by Thomson Reuters References Artificial intelligence publications Computer science journals Elsevier academic journals Publications established in 1970 External links Official website {{compu-journal-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Conference On Automated Deduction
The Conference on Automated Deduction (CADE) is the premier academic conference on automated deduction and related fields. The first CADE was organized in 1974 at the Argonne National Laboratory near Chicago. Most CADE meetings have been held in Europe and the United States. However, conferences have been held all over the world. Since 1996, CADE has been held yearly. In 2001, CADE was, for the first time, merged into the International Joint Conference on Automated Reasoning The International Joint Conference on Automated Reasoning (IJCAR) is a series of conferences on the topics of automated reasoning, automated deduction, and related fields. It is organized semi-regularly as a merger of other meetings. IJCAR replace ... (IJCAR). This has been repeated biannually since 2004. In 1996, CADE Inc. was formed as a non-profit sub-corporation of the Association for Automated Reasoning to organize the formerly individually organized conferences. External links * , CADE * , AAR Refe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
