Knowledge Representation and Reasoning

From International Center for Computational Logic
Toggle side column

Knowledge Representation and Reasoning

The Knowledge Representation and Reasoning group has two major parts: human reasoning and solving the satisfiability testing and related decision and discrete optimization problems. In both areas we focus on research, and on the other hand teach with most recent research results.

Professors and Research Group Leaders

DSC3241 klein.jpg

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

Management

Missing portrait 3-2.png

Romy Thieme

Sylvia.jpg

Sylvia Wünsch

Scientific Staff

Missing portrait 3-2.png

Dr. Marcos Cramer

  • Knowledge Representation and Reasoning 
Daad-1.png

Emmanuelle Dietz

By sarameister23-3.jpg

Dr. Johannes Fichte

  • johannes.fichte@gmail.com
  • +49 351 463 43548
  • APB2018 (https://goo.gl/maps/k7iD8kfi5Cu)
  • Knowledge Representation and Reasoning 
Profil tp.jpg

M. Sc. Tobias Philipp

Chw.png

Dr. Christoph Wernhard

Student Assistants

Iljashmelkin.jpeg

Ilja Shmelkin

Former Members

Missing portrait 3-2.png

Dr. Sebastian Bader

  • Former PhD Researcher
  • Knowledge Representation and Reasoning
Missing portrait 3-2.png

Dr. Paola Bruscoli

  • Former Research Associate
  • Knowledge Representation and Reasoning
Missing portrait 3-2.png

Dr. Bertram Fronhöfer

  • Former Research Associate
  • Knowledge Representation and Reasoning
Missing portrait 3-2.png

Horst Graupner

  • Former Research Associate
  • Knowledge Representation and Reasoning
Missing portrait 3-2.png

Dr. Axel Großmann

  • Former PhD Researcher
  • Knowledge Representation and Reasoning
Missing portrait 3-2.png

Dr. Alessio Guglielmi

  • Former Research Associate
  • Knowledge Representation and Reasoning
Missing portrait 3-2.png

Dr. Ursula Hans

  • Former Research Associate
  • Knowledge Representation and Reasoning
Missing portrait 3-2.png

Robert Hein

  • Former Research Associate
  • Knowledge Representation and Reasoning
Missing portrait 3-2.png

Taufiq Hidayat

  • Former PhD Researcher
  • Knowledge Representation and Reasoning
Hitzler.jpg

Dr. Pascal Hitzler

  • Former Research Associate
  • Knowledge Representation and Reasoning
Missing portrait 3-2.png

Lucas Kahlert

  • Former Student Assistant
  • Knowledge Representation and Reasoning
Zugspitze.jpeg

Julia Koppenhagen

  • Former Secretary
  • Knowledge Representation and Reasoning
Missing portrait 3-2.png

Victoriia Korsak

  • Former Student Assistant
  • Knowledge Representation and Reasoning
Missing portrait 3-2.png

Franziska Krüger

  • Former Student Assistant
  • Knowledge Representation and Reasoning
Norbert.jpg

Dr. Norbert Manthey

  • Former Research Associate
  • Knowledge Representation and Reasoning
Sibylle moehle.jpg

Dipl.-Inform. Sibylle Möhle

  • Former Research Associate
  • Knowledge Representation and Reasoning
Missing portrait 3-2.png

Van Hau Nguyen

  • Former PhD Researcher
  • Knowledge Representation and Reasoning
Missing portrait 3-2.png

Dr. Tobias Pietzsch

  • Former PhD Researcher
  • Knowledge Representation and Reasoning
Missing portrait 3-2.png

Ari Saptawijaya

  • Former PhD Researcher
  • Knowledge Representation and Reasoning
Missing portrait 3-2.png

Olga Skvortsova

  • Former Research Associate
  • Knowledge Representation and Reasoning
Peter.png

Peter Steinke

  • Former PhD Researcher
  • Knowledge Representation and Reasoning
Aaronstehpan.jpg

Aaron Stephan

  • Former Student Assistant
  • Knowledge Representation and Reasoning

Newest Publications

View full publication list

Christoph Wernhard
Craig Interpolation and Access Interpolation with Clausal First-Order Tableaux
Technical Report, TU Dresden, volume 18-01, 2018. Knowledge Representation and Reasoning
Details

Christoph Wernhard
The Boolean Solution Problem from the Perspective of Predicate Logic
In Clare Dixon, Marcelo Finger, eds., 11th International Symposium on Frontiers of Combining Systems, FroCoS 2017, volume 10483 of LNCS (LNAI), 333-350, 2017. Springer
Details

Christoph Wernhard
Approximating Resultants of Existential Second-Order Quantifier Elimination upon Universal Relational First-Order Formulas
In Patrick Koopmann, Sebastian Rudolph, Renate A. Schmidt, Christoph Wernhard, eds., Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017), volume 2013 of CEUR Workshop Proceedings, 82-98, 2017. CEUR-WS.org
Details

Christoph Wernhard
Craig Interpolation and Query Reformulation with Clausal First-Order Tableaux
Poster presentation at TABLEAUX 2017, Brasilia, September 2017
Details

Patrick Koopmann, Sebastian Rudolph, Renate A. Schmidt, Christoph Wernhard
Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017)
Volume 2013 of CEUR Workshop Proceedings, 2017. CEUR-WS.org
Details

Richard Mörbitz
Clusters of Humans in Syllogistic Reasoning under the Weak Completion Semantics
Technical Report, Knowledge Representation and Reasoning, volume 17-02, June 2017. Technical report
Details Download

Emmanuelle-Anna Dietz Saldanha
From Logic Programming to Human Reasoning: How to be Artificially Human
Phd thesis, TU Dresden, 2017/06/26
Details

Ana Costa, Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Marco Ragni
A computational logic approach to human syllogistic reasoning
Proceedings of the 39th Annual Conference of the Cognitive Science Society, 883-888, 2017
Details

Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Luís Moniz Pereira
Contextual reasoning: Usually birds can abductively fly
In Marcello Balduccini, Tomi Janhunen, eds., 14th International Conference on Logic Programming and Nonmonotonic Reasoning, volume 10377 of Lecture Notes in Computer Science, 64--77, 2017. Springer
Details

Emmanuelle-Anna Dietz
A computational logic approach to the belief bias in human syllogistic reasoning
In Patrick Brézillon, Roy M. Turner, Carlo Penco, eds., 10th International and Interdisciplinary Conference on Modeling and Using Context, volume 10257 of Lecture Notes in Computer Science, 691--707, 2017. Springer
Details

View full publication list

Courses


Suggested Thesis Topics


Completed Theses

Iccl cube blue 200px.png

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

PSAT
Parallel Satisfiability Testing

SOA-VBQP
The Second-Order Approach and its Application to View-Based Query Processing