Wissensverarbeitung

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Wissensverarbeitung

Die Professur Wissensverarbeitung untergliedert sich gegenwärtig in zwei Schwerpunkte: menschliches Schließen in Logikprogramme abzubilden, und das Erfüllbarkeitsproblem und damit verwandte Probleme maschinell zu lösen. Auf beiden Gebieten wird sowohl aktiv geforscht, als auch Lehre mit aktuellsten Inhalten gehalten.

Professoren und Gruppenleiter

DSC3241 klein.jpg

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

Verwaltung

Missing portrait 3-2.png

Romy Thieme

Sylvia.jpg

Sylvia Wünsch

Wissenschaftliche Mitarbeiter

Missing portrait 3-2.png

Dr. Marcos Cramer

  • Wissensverarbeitung 
Daad-1.png

Emmanuelle Dietz

By sarameister23-3.jpg

Dr. Johannes Fichte

Profil tp.jpg

M. Sc. Tobias Philipp

Chw.png

Dr. Christoph Wernhard

Studentische und Wissenschaftliche Hilfskräfte

Ehemalige

Missing portrait 3-2.png

Dr. Sebastian Bader

  • Ehemals Doktorand
  • Wissensverarbeitung
Missing portrait 3-2.png

Dr. Paola Bruscoli

  • Ehemals Wissenschaftliche Mitarbeiterin
  • Wissensverarbeitung
Missing portrait 3-2.png

Dr. Bertram Fronhöfer

  • Ehemals Wissenschaftlicher Mitarbeiter
  • Wissensverarbeitung
Missing portrait 3-2.png

Horst Graupner

  • Ehemals Wissenschaftlicher Mitarbeiter
  • Wissensverarbeitung
Missing portrait 3-2.png

Dr. Axel Großmann

  • Ehemals Doktorand
  • Wissensverarbeitung
Missing portrait 3-2.png

Dr. Alessio Guglielmi

  • Ehemals Wissenschaftlicher Mitarbeiter
  • Wissensverarbeitung
Missing portrait 3-2.png

Dr. Ursula Hans

  • Ehemals Wissenschaftliche Mitarbeiterin
  • Wissensverarbeitung
Missing portrait 3-2.png

Robert Hein

  • Ehemals Wissenschaftlicher Mitarbeiter
  • Wissensverarbeitung
Missing portrait 3-2.png

Taufiq Hidayat

  • Ehemals Doktorand
  • Wissensverarbeitung
Hitzler.jpg

Dr. Pascal Hitzler

  • Ehemals Wissenschaftlicher Mitarbeiter
  • Wissensverarbeitung
Missing portrait 3-2.png

Lucas Kahlert

  • Ehemals Studentische Hilfskraft
  • Wissensverarbeitung
Zugspitze.jpeg

Julia Koppenhagen

  • Ehemals Sekretärin
  • Wissensverarbeitung
Missing portrait 3-2.png

Victoriia Korsak

  • Ehemals Studentische Hilfskraft
  • Wissensverarbeitung
Missing portrait 3-2.png

Franziska Krüger

  • Ehemals Studentische Hilfskraft
  • Wissensverarbeitung
Norbert.jpg

Dr. Norbert Manthey

  • Ehemals Wissenschaftlicher Mitarbeiter
  • Wissensverarbeitung
Sibylle moehle.jpg

Dipl.-Inform. Sibylle Möhle

  • Ehemals Wissenschaftliche Mitarbeiterin
  • Wissensverarbeitung
Missing portrait 3-2.png

Van Hau Nguyen

  • Ehemals Doktorand
  • Wissensverarbeitung
Missing portrait 3-2.png

Dr. Tobias Pietzsch

  • Ehemals Doktorand
  • Wissensverarbeitung
Missing portrait 3-2.png

Ari Saptawijaya

  • Ehemals Doktorand
  • Wissensverarbeitung
Missing portrait 3-2.png

Olga Skvortsova

  • Ehemals Wissenschaftliche Mitarbeiterin
  • Wissensverarbeitung
Peter.png

Peter Steinke

  • Ehemals Doktorand
  • Wissensverarbeitung
Aaronstehpan.jpg

Aaron Stephan

  • Ehemals Studentische Hilfskraft
  • Wissensverarbeitung

Neueste Publikationen

Komplette Publikationsliste anzeigen

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

Komplette Publikationsliste anzeigen

Lehrveranstaltungen


Themenvorschläge für Studien- und Abschlussarbeiten


Abgeschlossene Arbeiten

Iccl cube blue 200px.png

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

PSAT
Paralleles Lösen des Erfüllbarkeitproblems

SOA-VBQP
Der Second-Order Ansatz und dessen Anwendung in der Sicht-basierten Anfrageverarbeitung