Account
Edit tools
Deutsch

Steffen Hölldobler

From International Center for Computational Logic

Prof. Dr. rer. nat. habil. Steffen Hölldobler

ProfessorTechnische Universität DresdenInternational Center for Computational Logic Knowledge Representation and Reasoning
Steffen Hölldobler

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.

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.

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.

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.
From February until August 2017 he is a guest professor at the North Caucasus Federal University

Roles


Other Activities


Some Links


Publications are listed under Research Gate

Awards

  • Dresden Congress Award 2006 and 2016

Bird.gif

Courses


Completed Theses

Iccl cube blue 200px.png

EMCL (offered until 2017)
European Master's Program in Computational Logic

PSAT
Parallel Satisfiability Testing

Retrieved from "https://iccl.inf.tu-dresden.de/w/index.php?title=Steffen_Hölldobler/en&oldid=9387"
  • Powered by MediaWiki
  • Powered by Semantic MediaWiki