Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Steffen Hölldobler
Abschlussarbeiten anzeigen 1  +
Akademischer Titel Prof. Dr. rer. nat. habil.  +
Bild DSC3241 klein.jpg  +
Ehemaliger 0  +
Forschungsgebiet Connectionist Networks + , Wissensrepräsentation und logisches Schließen +
Forschungsgruppe Wissensverarbeitung +
Forschungsgruppe EN Knowledge Representation and Reasoning +
Gebäude APB  +
Image Datei:DSC3241 klein.jpg +
Info EN After graduating in Computer Science Steff
After graduating in Computer Science Steffen Hölldobler joined Alan Robinson's Logic Programming Research Group at the Syracuse University, USA, as a visiting research associate in 1983. During this visit he became interested in the combination of logic and functional programming. Focusing on equational logic programming he received a Dr.rer.nat. from the University of the Federal Armed Forces at Munich, Germany, in 1988. <br /> Shortly afterwards he joined Wolfgang Bibel's Intellectics group at the TU Darmstadt, Germany. Coming across various approaches on planning he developed a new calculus for deductive planning based on an equational logic together with Josef Schneeberger. This approach has been further developed. It is now known under the name FLUENT CALCULUS and is regarded as one of the major approaches in the area of reasoning about situations, actions and causality. <br /> In 1989 he was offered a one-year fellowship as a postdoc at the International Computer Science Institute (ICSI) at Berkeley, USA. There he was introduced to connectionism by Jerry Feldman. His research at the ICSI finally led to a postdoctoral thesis (Habilitation) on Automated Inferencing and Connectionist Models in 1993. Based on this thesis he developed the so-called CORE method for translating semantic operators associated with logic programs into connectionist networks jointly with Yvonne Kalinke. <br /> In the same year he became Professor for Knowledge Representation and Reasoning in the Computer Science Department at the Technische Universität Dresden. His research interests include logic and deduction, logic programming, knowledge representation and reasoning as well as connectionism. He is the author of four monographs and more than 100 scientific articles. <br /> From February until August 2017 he is a guest professor at the North Caucasus Federal University <p> <strong>Roles</strong> </p> <ul> <li> Director of the [http://www.ki.inf.tu-dresden.de Institute of Artificial Intelligence]</li> <li> Director of the [http://www.computational-logic.org International Center for Computational Logic] </li> <li> Head of the [http://www.wv.inf.tu-dresden.de Knowledge Representation and Reasoning Group] </li> </ul><br /> <p> <strong>Other Activities </strong> </p> <ul> <li>[http://www.swap-transfer.eu Swap and Transfer]</li> <li>[http://ratiolog.uni-koblenz.de/bridging2016 Bridging the Gap between Human and Automated Reasoning]</li> <li>[http://ysip2.computational-logic.org Young Scientist's International Workshop on Trends in Information Processing]</li> <li>[http://ki2017.tu-dortmund.de 40th German Conference on Artificial Intelligence]</li> </ul> <br /> <p> <strong>Some Links </strong> </p> <ul> <li>[http://www.computational-logic.org/~sh/logik-ringelnatz.html Logik] </li> <li>[http://www.cs.mu.oz.au/~rafe/sexlogic.html Sex is more fun than logic]</li> <li>[http://www.lel.ed.ac.uk/~gpullum/loopsnoop.html Scooping the Loop Snooper]</li> <li>[https://www.youtube.com/watch?v=C9uqPeIYMik Are you a tree frog?]</li> </ul><br /> <strong>Publications are listed under </strong>[https://www.researchgate.net/profile/Steffen_Hoelldobler Research Gate] <strong>Awards</strong> <ul> <li>Dresden Congress Award 2006 and [http://www.cimunity.com/news/article/dresden-congress-award-2016/ 2016]</li> </ul> [[file:bird.gif]]
</li> </ul> [[file:bird.gif]]  +
Nachname Hölldobler  +
Name Steffen Hölldobler  +
Publikationen anzeigen 0  +
Raum APB 2007 +
Sprechstunde Beginn 14:30  +
Sprechstunde Ende 15:30  +
Sprechstunde Tag Mi  +
Stellung Professor  +
Telefax +4935146338342  +
Telefon +4935146338340  +
Vorname Steffen  +
Hat Abfrage
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
Steffen Hölldobler + , Steffen Hölldobler + , Steffen Hölldobler + , Steffen Hölldobler + , Steffen Hölldobler + , Steffen Hölldobler + , Steffen Hölldobler +
Kategorien Mitarbeiter
Zuletzt geändert
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
24 September 2018 12:18:18  +
E-Mail
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
sh@iccl.tu-dresden.de  +
verstecke Attribute die hierhin verlinken 
Book3001 + , Book3003 + , Book3008 + , Book3013 + , Inproceedings3040 + , Inproceedings3041 + , Inproceedings3042 + , Inproceedings3165 + , Inproceedings3167 + , Inproceedings3168 + , Misc3016 + , Misc3017 + , Misc3018 + , Misc3019 + , Misc3020 + , Misc3021 + , Misc3022 + , Misc3023 + , Misc3024 + , Misc3036 + ... Author
Thema3430 + , Thema3431 + , Thema3432 + , Thema3433 + , Thema3434 + , Thema3502 + , Thema3435 + , Thema3436 + , Thema3464 + , Thema3437 + , Thema3438 + , Thema3439 + , Thema3440 + , Thema3441 + , Thema3442 + , Thema3443 + , Thema3476 + , Thema3444 + , Thema3445 + , Thema3477 + ... Betreuer
Wissensverarbeitung + Forschungsgruppenleiter
EMCL + , ICCL-SS-2015 + Kontaktperson
Academic Skills in Computer Science (SS2018) + , Formale Systeme(WS2015) + , Formale Systeme(WS2018) + , Forschungslinie (SS2015) + , Forschungslinie (SS2016) + , Foundations Repetition (WS2017) + , Human Reasoning and Computational Logic (WS2016) + , Human Reasoning and Computational Logic (WS2017) + , Knowledge Representation and Reasoning Seminar (SS2015) + , Knowledge Representation and Reasoning Seminar (SS2016) + , Knowledge Representation and Reasoning Seminar (SS2017) + , Knowledge Representation and Reasoning Seminar (SS2018) + , Knowledge Representation and Reasoning Seminar (WS2015) + , Knowledge Representation and Reasoning Seminar (WS2016) + , Knowledge Representation and Reasoning Seminar (WS2017) + , Knowledge Representation and Reasoning Seminar (WS2018) + , Logic (WS2015) + , Logic (WS2016) + , Logic (WS2017) + , Logic (WS2018) + ... Lecturer
Award1001 + , Award1007 + , Award1013 + , EMCL + , ICCL-SS-2015 + , PSAT + Person
EMCL + , ICCL-SS-2015 + , PSAT + Project Authors
 

 

Bitte den Namen einer Seite angeben, um mit dem Browsen zu beginnen.