Wissensverarbeitung

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

Wissensverarbeitung

  •   Kontaktperson Steffen Hölldobler

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.

Ehemalige

Missing portrait 3-2.png
Missing portrait 3-2.png
Emma1.jpg
Missing portrait 3-2.png
Missing portrait 3-2.png
Missing portrait 3-2.png
Missing portrait 3-2.png
Missing portrait 3-2.png
Missing portrait 3-2.png
Hitzler.jpg
Missing portrait 3-2.png
Missing portrait 3-2.png
Missing portrait 3-2.png
Norbert.jpg
Sibylle moehle.jpg
Dipl.-Inform. Sibylle Möhle
Missing portrait 3-2.png
Missing portrait 3-2.png
Aaronstehpan.jpg
Chw.png

Neueste Publikationen

Komplette Publikationsliste anzeigen

Emmanuelle-Anna Dietz Saldanha, Antonis Kakas
Cognitive Argumentation for Human Syllogistic Reasoning
KI, 33(3):229-242, 2019
Details
Julia Mertesdorf, Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Marco Ragni
A Computational Theory for Model Construction, Variation and Inspection in Human Spatial Reasoning
17th International Conference on Cognitive Modelling Meetings (ICCM), 2019
Details
Emmanuelle-Anna Dietz Saldanha, Robert Schambach
Human Syllogistic Reasoning: Towards Predicting Individuals' Reasoning Behavior based on Cognitive Principles
In Christoph Beierle and Marco Ragni and Stolzenburg and Matthias Thimm, eds., Proceedings of the 8th Workshop on Dynamics of Knowledge and Belief and the 7th Workshop & Kognition, volume 2445 of CEUR Workshop Proceedings, 2-13, 2019. CEUR-WS.org
Details
Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Carroline Kencana Ramli, Luis Palacios Medinacelli
A Core Method for the Weak Completion Semantics with Skeptical Abduction
Journal of Artificial Intelligence Research Special Track on Deep Learning, Knowledge Representation, and Reasoning, 63:51-86, 2018
Details
Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Sibylle Schwarz, L.Yohanes Stefanus
The Weak Completion Semantics and Equality
In Gilles Barthe and Geoff Sutcliffe and Margus Veanes, eds., 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, volume 57 of EPiC Series in Computing, 326-342, 2018. EasyChair
Details
Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Richard Mörbitz
The Syllogistic Reasoning Task: Reasoning Principles and Heuristic Strategies in Modeling Human Clusters
In Dietmar Seipel and Michael Hanus and Salvador Abreu, eds., Declarative Programming and Knowledge Management, volume 10997 of LNAI, 149-165, 2018. Springer Nature Switzerland AG
Details
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
Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Tobias Philipp
Contextual abduction and its complexity issues
In Richard Booth, Giovanni Casini, Ivan Varzinczak, eds., Proceedings of the 4th International Workshop on Defeasible and Ampliative Reasoning (DARe), volume 1872 of CEUR Workshop Proceedings, 58–70, 2017. CEUR-WS.org
Details
Emmanuelle-Anna Dietz Saldanha
From Logic Programming to Human Reasoning: How to be Artificially Human
Phd thesis, TU Dresden, 2017/06/26
Details
Komplette Publikationsliste anzeigen

Lehrveranstaltungen



Abgeschlossene Arbeiten