Emmanuelle-Anna Dietz Saldanha
From International Center for Computational Logic
Dr. Emmanuelle-Anna Dietz Saldanha
Former member
- Former Research Associate in Research Group Knowledge Representation and Reasoning
Newest Publications
Emmanuelle-Anna Dietz Saldanha, Antonis Kakas
Cognitive Argumentation for Human Syllogistic Reasoning
KI, 33(3):229-242, 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
From Logic Programming to Human Reasoning: How to be Artificially Human (abstract)
KI, 32(4):283-286, 2018
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
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
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
Courses
- Human Reasoning and Computational Logic (WS 2019)
- Knowledge Representation and Reasoning Seminar (WS 2019)
- Theoretische Informatik und Logik (SS 2019)
- Formale Systeme (WS 2018)
- SudokuSAT (WS 2018)
show further courses
Completed Theses
- Monadic Reasoning with Weak Completion Semantics
- by Ana Costa (2017)
- Supervisor: Steffen Hölldobler, Emmanuelle Dietz
- Clusters of Humans in Syllogistic Reasoning under the Weak Completion Semantics
- by Richard Mörbitz (2017)
- Supervisor: Steffen Hölldobler, Emmanuelle Dietz
- A Computational Logic Approach for Spatial Reasoning
- by Raphael Höps (2014)
- Supervisor: Steffen Hölldobler, Emmanuelle Dietz
