Emmanuelle-Anna Dietz Saldanha

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

Emmanuelle-Anna Dietz Saldanha

Wissenschaftlicher MitarbeiterTechnische Universität DresdenInternational Center for Computational Logic Wissensverarbeitung

Neueste Publikationen

Komplette Publikationsliste anzeigen

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

Emmanuelle-Anna Dietz, Steffen Hölldobler, Raphael Höps
A computational logic approach to human spatial reasoning
IEEE Symposium Series on Computational Intelligence, 1627-1634, 2015. IEEE
Details

Emmanuelle-Anna Dietz, Steffen Hölldobler
A New Computational Logic Approach to Reason with Conditionals
In F. Calimeri, G.I., Truszczynski, M., eds., 13th International Conference on Logic Programming and Non-monotonic Reasoning, volume 9345 of Lecture Notes in Artificial Intelligence, 2015. Springer
Details

Emmanuelle-Anna Dietz
A Computational Logic Approach to Syllogisms in Human Reasoning
In Ulrich Furbach, Claudia Schon, eds., Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning on the 25th International Conference on Automated Deduction (CADE-25), CEUR Workshop Proceedings (2015) 17–31., 17-31, 2015
Details

Emmanuelle-Anna Dietz, Steffen Hölldobler, Luís Moniz Pereira
On Indicative Conditionals
In Hölldobler, S., Liang, Y, eds., Proceedings of the First International Workshop on Semantic Technologies, volume 1339 of CEUR Workshop Proceedings, 19-30, 2015. CEUR-WS.org
Details

Emmanuelle-Anna Dietz, Steffen Hölldobler, Christoph Wernhard
Modeling the Suppression Task under Weak Completion and Well-Founded Semantics
Journal of Applied Non-Classsical Logics, 24(1--2):61-85, 2014
Details

Luís Moniz Pereira, Emmanuelle-Anna Dietz, Steffen Hölldobler
A Computational Logic Approach to the Belief Bias Effect
In Chitta Baral, Giuseppe De Giacomo, Thomas Eiter, eds., 14th International Conference on Principles of Knowledge Representation and Reasoning, KR 2014, Vienna, Austria, July 20-24, 2014, 2014. AAAI Press
Details

Komplette Publikationsliste anzeigen

Lehrveranstaltungen


Abgeschlossene Arbeiten